ABSTRACT
To date, compilers used in the construction of FAA-certified software have not been specially qualified for use in safety-critical applications. This has resulted in costly test procedures that attempt to verify the correctness and achieve structural coverage of the object code program rather than the source program. The FAA has adapted the criteria set forth in the document RTCA DO-178B for the design, development, and verification of tools used in the construction of safety-critical software. Tools meeting those criteria can be qualified as code development tools, and their output can be used without additional verification. This paper describes the internals of a compiler for a subset of Ada that is designed to meet the qualification criteria. Use of the qualified compiler will reduce the test burden for certifying flight software at the highest levels of criticality.
- DO-178B: Software Consideration in Airborne Systems and Equipment Certification, RTCA, Inc., 1992.Google Scholar
- Chilenski, J. J.; Miller, S. P. Applicability of modified condition/decision coverage to software testing, Software Engineering Journal v.9, n.5, Sept. 1994.Google Scholar
- Goerigk, Wolfgang. On Trojan Horses in Compiler Implementations, Technical Report, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, Germany, 1998.Google Scholar
- Bates, Rodney M. Debugging with assertions, C/C++ Users' Journal 10, Oct. 1992. Google Scholar
Digital Library
- Santhanam, Usha. Automating Software Module Testing for FAA Certification, Proc. SIGAda 2001, p.31--37, Sep. 2001. Google Scholar
Digital Library
- Amy, Peter. A language for systems not just software, Proc. SIGAda 2001, p.3--11, Sep. 2001. Google Scholar
Digital Library
Index Terms
The anatomy of an FAA-qualifiable Ada subset compiler
Recommendations
The anatomy of an FAA-qualifiable Ada subset compiler
To date, compilers used in the construction of FAA-certified software have not been specially qualified for use in safety-critical applications. This has resulted in costly test procedures that attempt to verify the correctness and achieve structural ...
Position paper: DO-178C/ED-12C and object-orientation for critical systems
Ada-Europe'11: Proceedings of the 16th Ada-Europe international conference on Reliable software technologiesDO-178C/ED-12C, six years in preparation, is expected to be published in 2011. This updated document will provide guidance for the development and verification of safety-related software for avionic systems. As this position paper will describe, DO-178C/...
Working towards DO-178C/ED-12C, DO-248C/ED-94C, and DO-278A/ED109A
SIGAda '09A Joint Committee RTCA/SC205 and EUROCAE/WG71 has been working on the revision to DO-178B and related documents for several years. DO-178B was published over 17 years ago, and as software technology has evolved, so has the need to update this document. ...







Comments