Title :
In search of effective diversity: a six-language study of fault-tolerant flight control software
Author :
Avizienis, A. ; Lyu, M.R. ; Schutz, W.
Author_Institution :
Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
Abstract :
Multiversion software systems achieve fault tolerance through software redundancy and diversity. The authors investigated multiversion software systems using six different programming languages to create six versions of software for an automatic landing program. The rationale, preparation, execution, and evaluation of this investigation are reported.<>
Keywords :
aerospace computer control; fault tolerant computing; redundancy; software reliability; automatic landing program; fault-tolerant; flight control software; software redundancy; Aerospace control; Aircraft manufacture; Automatic testing; Computer industry; Computer languages; Fault tolerance; Fault tolerant systems; Laboratories; Software safety; Software systems;
Conference_Titel :
Fault-Tolerant Computing, 1988. FTCS-18, Digest of Papers., Eighteenth International Symposium on
Conference_Location :
Tokyo, Japan
Print_ISBN :
0-8186-0867-6
DOI :
10.1109/FTCS.1988.5291
