This paper describes how the DDC-I Ada Run-Time System (RTS) was certified in compliance with the FAA certification guidelines RTCA/DO-178B for airborne software systems. Some of the most important requirements to an Ada Run-Time System are included. Furthermore, design and test methods are described. This means that the formula of how to certify a highly reliable and fast Run-Time System is provided. This Run-Time System development shows that high quality products for airborne systems are best produced in compliance with the FAA guidelines.
CITATION STYLE
Silberg, S., & Rasmussen, T. B. (1994). FAA certification of Ada run-time systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 887 LNCS, pp. 489–498). Springer Verlag. https://doi.org/10.1007/3-540-58822-1_121
Mendeley helps you to discover research relevant for your work.