Advertisement

An Ada95 Solution for Certification of Embedded Safety Critical Applications

  • Jacob Frost
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1622)

Abstract

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.

Keywords

Test Tool Coverage Criterion Test Case Generator Software Factory Schedulability Analysis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    DWARF Debugging Information Format. Industry Review Draft, Unix International, Revision 2.0.0, 27 July 1993.Google Scholar
  3. 3.
    RTCA: Software Considerations in Airborne Systems and Equipment Certification. Document No. RCTA/DO-178B, December 1992.Google Scholar
  4. 4.
    Ada95 Reference Manual: Language and Standard Libraries. S. T. Taft and R. A. Duff (editors). 1997.Google Scholar
  5. 5.
    TDF Specification, Issue 4.0 (DRAFTC), DRA/CIS(SE2)/CR/94/36/40/C. I. F. Currie, June 1995.Google Scholar
  6. 6.
    Ada Semantic Interface Specification (ASIS), ISO/IEC DIS 15291.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Jacob Frost
    • 1
  1. 1.DDC InternationalLyngbyDenmark

Personalised recommendations