skip to main content
10.1145/589451.589460acmconferencesArticle/Chapter ViewAbstractPublication PagesadaConference Proceedingsconference-collections
Article

The anatomy of an FAA-qualifiable Ada subset compiler

Published:08 December 2002Publication History

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.

References

  1. DO-178B: Software Consideration in Airborne Systems and Equipment Certification, RTCA, Inc., 1992.Google ScholarGoogle Scholar
  2. 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 ScholarGoogle Scholar
  3. 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 ScholarGoogle Scholar
  4. Bates, Rodney M. Debugging with assertions, C/C++ Users' Journal 10, Oct. 1992. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Santhanam, Usha. Automating Software Module Testing for FAA Certification, Proc. SIGAda 2001, p.31--37, Sep. 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Amy, Peter. A language for systems not just software, Proc. SIGAda 2001, p.3--11, Sep. 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. The anatomy of an FAA-qualifiable Ada subset compiler

                  Recommendations

                  Comments

                  Login options

                  Check if you have access through your login credentials or your institution to get full access on this article.

                  Sign in
                  • Published in

                    cover image ACM Conferences
                    SIGAda '02: Proceedings of the 2002 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
                    December 2002
                    68 pages
                    ISBN:1581136110
                    DOI:10.1145/589451

                    Copyright © 2002 ACM

                    Publisher

                    Association for Computing Machinery

                    New York, NY, United States

                    Publication History

                    • Published: 8 December 2002

                    Permissions

                    Request permissions about this article.

                    Request Permissions

                    Check for updates

                    Qualifiers

                    • Article

                  PDF Format

                  View or Download as a PDF file.

                  PDF

                  eReader

                  View online with eReader.

                  eReader
                  About Cookies On This Site

                  We use cookies to ensure that we give you the best experience on our website.

                  Learn more

                  Got it!