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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Handbook: Design of automated redundancy verification


    Beteiligte:
    Ford, F. A. (Autor:in) / Hasslinger, T. W. (Autor:in) / Moreno, F. J. (Autor:in)

    Erscheinungsdatum :

    01.07.1971


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch


    Schlagwörter :


    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. | Europäisches Patentamt | 2016

    Freier Zugriff

    Redundancy for automated vehicle operations

    JOHRI RAJIT / BROWN ANDREW / LAUFFER SCOTT J et al. | Europäisches Patentamt | 2015

    Freier Zugriff

    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