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 the 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 guidance which, while incorporating fault tolerance, can assure validatability. This paper examines the statistical issues of validating highly reliable, fault tolerant system. 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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Design and Validation of Fault-Tolerant Flight Systems


    Contributors:
    G B Finelli (author) / D L Palumbo (author)

    Conference:

    AIAA/AHS/ASEE Aircraft Design, Systems and Operations Meeting ; 1987 ; Saint Louis, MO, US



    Publication date :

    1987-09-13



    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Design and validation of fault-tolerant flight systems

    FINELLI, GEORGE / PALUMBO, DANIEL | AIAA | 1987


    Design and validation of fault-tolerant flight systems

    Finelli, G.B. / Pallumbo, D.L. | Tema Archive | 1987


    Digital fault tolerant flight actuation systems

    Belmont, H.H. | Tema Archive | 1985



    Fault Tolerant Flight Control

    Meir Pachter / Yih-Shiun Huang | AIAA | 2003