Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here shows that by judiciously abstracting away extraneous complexity, the state space of the model could be exhaustively searched allowing critical functional requirements to be validated down to the design level.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Validating Requirements for Fault Tolerant Systems Using Model Checking


    Beteiligte:

    Erscheinungsdatum :

    06.04.1998


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Validating requirements for fault tolerant systems using model checking

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


    A Process for Verifying and Validating Requirements for Fault Tolerant Systems Using Model Checking

    Schneider, F. / Easterbrook, S. / Callahan, J. et al. | NTRS | 1999


    REFERENCE TRAJECTORY VALIDATING AND COLLISION CHECKING MANAGEMENT

    CLAWSON TAYLOR SCOTT / TOUPET OLIVIER AMAURY | Europäisches Patentamt | 2024

    Freier Zugriff

    REFERENCE TRAJECTORY VALIDATING AND COLLISION CHECKING MANAGEMENT

    CLAWSON TAYLOR SCOTT / TOUPET OLIVIER AMAURY | Europäisches Patentamt | 2025

    Freier Zugriff

    REFERENCE TRAJECTORY VALIDATING AND COLLISION CHECKING MANAGEMENT

    CLAWSON TAYLOR SCOTT / TOUPET OLIVIER AMAURY | Europäisches Patentamt | 2024

    Freier Zugriff