An Ada95 Solution for Certification of Embedded Safety Critical Applications
The Ada95 programming language is widely used for implementation of embedded safety-critical airborne systems and equipment. The RTCA/DO-178B is a mature standard for certifying such systems and equipment through testing. This paper focuses on the solution DDC-I will provide for RTCA/DO-178B level A certification of Ada95 applications though its new SCORE compiler/debugger product line and associated test tools products. Furthermore, the paper outlines how the DDC-I approach relates to the work in the ESPRIT OMI/SAFE project which aims at establishing a complete software factory for the development and certification of embedded safety-critical applications.
KeywordsTest Tool Coverage Criterion Test Case Generator Software Factory Schedulability Analysis
Unable to display preview. Download preview PDF.
- 1.J.J. Chilenski and S.P. Miller. Applicability of Modified Condition/Decision Coverage to Software Testing. Software Engineering Journal, Vol. 9, No. 5, September 1994.Google Scholar
- 2.DWARF Debugging Information Format. Industry Review Draft, Unix International, Revision 2.0.0, 27 July 1993.Google Scholar
- 3.RTCA: Software Considerations in Airborne Systems and Equipment Certification. Document No. RCTA/DO-178B, December 1992.Google Scholar
- 4.Ada95 Reference Manual: Language and Standard Libraries. S. T. Taft and R. A. Duff (editors). 1997.Google Scholar
- 5.TDF Specification, Issue 4.0 (DRAFTC), DRA/CIS(SE2)/CR/94/36/40/C. I. F. Currie, June 1995.Google Scholar
- 6.Ada Semantic Interface Specification (ASIS), ISO/IEC DIS 15291.Google Scholar