DocumentCode :
2752689
Title :
A software fault tolerance experiment for space applications
Author :
Simon, D. ; Hourtolle, C. ; Biondi, H. ; Bernelas, J. ; Duverneuil, P. ; Gallet, S. ; Vielcanet, P. ; De Viguerie, S. ; Gsell, F. ; Chelotti, J.N.
Author_Institution :
Centre Nat. d´´Etudes Spatiales, Toulouse, France
fYear :
1990
fDate :
26-28 June 1990
Firstpage :
28
Lastpage :
35
Abstract :
The aim of the experiment described was to implement and assess fault-tolerant software within an industrial framework. Another significant aspect was to adapt the classical software engineering life cycle to this type of project. Two complementary techniques are considered: fault avoidance through the use of higher level language and strict development process; and fault tolerance by using techniques based on design diversity, such as N-version programming and recovery blocks, and exception handling. Starting from the specification of an existing spacecraft orbit and attitude control system, a 3-version software was developed, coded in Ada, and assessed in a fault-tolerant experimental testbed. The authors describe the experiment development and the main study results (on development efforts, observed diversity, and methodology aspects).<>
Keywords :
aerospace computing; fault tolerant computing; software engineering; Ada; N-version programming; attitude control system; classical software engineering life cycle; design diversity; exception handling; fault avoidance; methodology aspects; recovery blocks; software fault tolerance experiment; space applications; spacecraft orbit; Application software; Computer industry; Diversity methods; Fault tolerance; Fault tolerant systems; Software engineering; Software systems; Software testing; Space vehicles; System testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Fault-Tolerant Computing, 1990. FTCS-20. Digest of Papers., 20th International Symposium
Conference_Location :
Newcastle Upon Tyne, UK
Print_ISBN :
0-8186-2051-X
Type :
conf
DOI :
10.1109/FTCS.1990.89363
Filename :
89363
Link To Document :
بازگشت