The C Users Journal
A language for systems not just software
Proceedings of the 2001 annual ACM SIGAda international conference on Ada
Automating software module testing for FAA certification
Proceedings of the 2001 annual ACM SIGAda international conference on Ada
European air traffic flow management: porting a large application to GNU/linux
Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies
Systematic Testing of Model-Based Code Generators
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
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.