This paper presents various safety aspects of the Ariane 5 embedded software development at EASAMS. General safety measures are described and terminology explained The classification of the Ariane 5 on-board software products is described, and the slandards and procedures applied during development are outlined. Design and coding rules taking into account safety implications at the HOOD and Ada level are presented. Criteria for identification of fearcd events and hazards at software specification level and subsequently, and criteria for avoiding reintroducing hazards at software design and coding level are also given. Examples based on the Ariane 5 on-board software project are given to illustrate these areas.
CITATION STYLE
Birnie, S. A. (1994). Safety aspects of the Ariane 5 on-board software. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 887 LNCS, pp. 302–321). Springer Verlag. https://doi.org/10.1007/3-540-58822-1_108
Mendeley helps you to discover research relevant for your work.