Statistical method checks designs by simulating system operating conditions and adding error factors. Method has potential applicability to commercial and industrial situations where redundancy management system is used to detect and isolate failed components.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Verification of redundancy management design


    Beteiligte:
    Gelderloos, H. C. (Autor:in) / Wilson, D. V. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    01.06.1978



    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Handbook: Design of automated redundancy verification

    Ford, F. A. / Hasslinger, T. W. / Moreno, F. J. | NTRS | 1971


    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


    COMPREHENSIVE REDUNDANCY MANAGEMENT AND VERIFICATION STRATEGY FOR TASK-BASED AIR MANAGEMENT SYSTEM

    He, C.-J. / Wang, L.-I. / Yang, J.-H. | British Library Conference Proceedings | 2021



    Verification of the redundancy management system for space launch vehicle: a case study

    Sokolsky, O. / Younis, M. / Lee, Insup et al. | Tema Archiv | 1998