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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Verification of redundancy management design


    Contributors:

    Published in:

    Publication date :

    1978-06-01



    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    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 Archive | 1998