Thumbnail
Access Restriction
Open

Author Santhanam, V.
Source CiteSeerX
Content type Text
Publisher ACM Press
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Qualification Criterion ♦ Achieve Structural Coverage ♦ Qualified Compiler ♦ Costly Test Procedure ♦ Test Burden ♦ Source Program ♦ Additional Verification ♦ Faa-qualifiable Ada Subset Compiler ♦ Flight Software ♦ Safety-critical Application ♦ Code Development Tool ♦ Object Code Program ♦ Document Rtca Do-178b ♦ Faa-certified Software ♦ Safety-critical Software
Description In Proceedings of the 2002 annual ACM SIGAda international conference on Ada
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.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2002-01-01