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.
CITATION STYLE
Frost, J. (1999). An ada95 solution for certification of embedded safety critical applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1622, pp. 52–63). Springer Verlag. https://doi.org/10.1007/3-540-48753-0_5
Mendeley helps you to discover research relevant for your work.