The use of the handbook is discussed and the design progress is reviewed. A description of the problem is presented, and examples are given to illustrate the necessity for redundancy verification, along with the types of situations to which it is typically applied. Reusable space vehicles, such as the space shuttle, are recognized as being significant in the development of the automated redundancy verification problem.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Handbook: Design of automated redundancy verification


    Contributors:

    Publication date :

    1971-07-01


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English


    Keywords :


    Verification of redundancy management design

    Gelderloos, H. C. / Wilson, D. V. | NTRS | 1978



    Redundancy for automated vehicle operations

    RAJIT JOHRI / SCOTT J LAUFFER / SARRA AWAD YAKO et al. | European Patent Office | 2016

    Free access

    Redundancy for automated vehicle operations

    JOHRI RAJIT / BROWN ANDREW / LAUFFER SCOTT J et al. | European Patent Office | 2015

    Free access

    Formal Verification of a Redundancy Management Algorithm

    Draper, J. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991