The anatomy of an FAA-qualifiable Ada subset compiler

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The anatomy of an FAA-qualifiable Ada subset compiler

Full text

Pdf (188 KB)

Source

Annual International Conference on Ada archive
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 table of contents

Houston, Texas, USA

Pages: 40 - 43

Year of Publication: 2002

ISBN:1-58113-611-0

Also published in ...

Author

V. Santhanam

The Boeing Company

Sponsors

ACM: Association for Computing Machinery
SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 15, Citation Count: 2

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/589451.589460 What is a DOI?

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

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	DO-178B: Software Consideration in Airborne Systems and Equipment Certification, RTCA, Inc., 1992.
	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.
	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.
	4	Rodney M. Bates, Debugging with assertions, The C Users Journal, v.10 n.10, p.40-46, Oct. 1992
	5	Usha Santhanam, Automating software module testing for FAA certification, Proceedings of the 2001 annual ACM SIGAda international conference on Ada, September 30-October 04, 2001, Bloomington, MN
	6	Peter Amey, A language for systems not just software, Proceedings of the 2001 annual ACM SIGAda international conference on Ada, September 30-October 04, 2001, Bloomington, MN

CITED BY 2

	Gaetan Allaert , Dirk Craeynest , Philippe Waroquiers, European air traffic flow management: porting a large application to GNU/linux, ACM SIGAda Ada Letters, v.XXIV n.1, p.29-37, March 2004
	Ingo Stuermer , Mirko Conrad , Heiko Doerr , Peter Pepper, Systematic Testing of Model-Based Code Generators, IEEE Transactions on Software Engineering, v.33 n.9, p.622-634, September 2007