In an effort to generate a safety assessment of various fault tolerant architectures for by-wire systems, we developed a methodology integrating system model checking including exercising all redundant aspects of the fault tolerant design. The system model definition includes both normal and failed modes of operation. The nominal behaviour operation and the failed mode of operation are checked via formal verification of some fault tolerance requirements. The comparison of the architectures can consist of several measures: fault recovery latency, fault tolerance to single point failures, fault tolerance to multiple point failures, and the complexity of the verification property observers. Failure coverage comparison of the designs can be facilitated by a proposed systematic management of verification of recovery properties for a set of failure modes. The proposed methodology is based on the use of formal modeling tools and formal methods for verification of fault tolerance requirements and failure coverage assessments. Safety assessment of a by-wire system is based on a set of requirements and a system model that includes both nominal as well as failed modes of operation. The focus is on the modeling and analysis of the failure recovery decision and control logic in the bywire system.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    An integrated methodology for model checking and failure coverage of fault tolerant architectures for by-wire systems


    Weitere Titelangaben:

    Integrierte Methodenentwicklung für Modellüberprüfung und Fehlfunktionsbehandlung der fehlertoleranten Architekturen für automatische Fahrzeugführungssysteme


    Beteiligte:
    Supal, Mira (Autor:in) / Debouk, Rami (Autor:in)


    Erscheinungsdatum :

    2007


    Format / Umfang :

    6 Seiten, 4 Bilder, 8 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Fault Tolerant Architectures for Integrated Aircraft Electronics Systems

    K. N. Levitt / P. M. Melliar-smith / R. L. Schwartz | NTIS | 1983


    Fault tolerant architectures for integrated aircraft electronics systems

    Levitt, K. N. / Melliar-Smith, P. M. / Schwartz, R. L. | NTRS | 1983


    Validating requirements for fault tolerant systems using model checking

    Schneider, F. / Easterbrook, S.M. / Callahan, J.R. et al. | Tema Archiv | 1998


    Fault Tolerant Avionics Systems Architectures Study

    L. R. Murphy / A. A. Avizienis / D. A. Rennels et al. | NTIS | 1974