Flight systems must be validated to show that they are consistent with the requirements of their intended applications. While high reliability is difficult to validate, the additional complexity of fault tolerance further compounds the validation problem. The objective of NASA's research is to develop a methodology for designing validatable fault-tolerant systems. Under this design-for-validation philosophy, emphasis is placed on developing validation methods that can be incorporated into the design process right from the start and design methods and guidelines which, while incorporating fault tolerance, can assure validatability. This paper examines the statistical issues of validating highly reliable, fault-tolerant systems. There are many problems associated with traditional methods of designing and validating these potentially complex hardware and software systems. Useful design-for-validation methods, which include structured specification and design methodologies, mathematical proof techniques, analytical modeling, simulation and emulation, and physical testing, are discussed. Important design issues associated with fault tolerance are presented along with the related validation concerns which must be addressed. Experience has shown that synchronization and Byzantine resilience must accompany fault tolerance. Other design attributes associated with fault tolerance may be used by a designer on the basis of cost, weight, performance, and validation considerations.
Design and validation of fault-tolerant flight systems
Konstruktion und Bewertung fehlertoleranter Flugsysteme
AIAA-Papers ; Sep ; 1-7
1987
7 Seiten, 37 Quellen
Conference paper
English
Design and validation of fault-tolerant flight systems
AIAA | 1987
|Digital fault tolerant flight actuation systems
Tema Archive | 1985
|Synchronous fault-tolerant flight control systems
AIAA | 1981
|AIAA | 2003
|Fault-Tolerant Flight Computer
Online Contents | 1996