Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Software Considerations in Airborne Systems and Equipment Certification, Document No. RTCA/DO-178B, December 1, 1992, Prepared by: SC-167.
ISO 9001/EN29001, Quality Systems — Model for Quality Assurance in Design/Development, Production, Installation and Servicing.
Guidelines for the Application of ISO 9001 to the Development, Supply and Maintenance of Software, ISO 9000-3, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Silberg, S., Rasmussen, T.B. (1994). FAA certification of Ada Run-Time Systems. In: Toussaint, M. (eds) Ada in Europe. Ada-Europe 1994. Lecture Notes in Computer Science, vol 887. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58822-1_121
Download citation
DOI: https://doi.org/10.1007/3-540-58822-1_121
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58822-1
Online ISBN: 978-3-540-49110-1
eBook Packages: Springer Book Archive