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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Validating Requirements for Fault Tolerant Systems Using Model Checking



    Publication date :

    1998-04-06


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    Validating requirements for fault tolerant systems using model checking

    Schneider, F. / Easterbrook, S.M. / Callahan, J.R. et al. | Tema Archive | 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 | European Patent Office | 2024

    Free access

    REFERENCE TRAJECTORY VALIDATING AND COLLISION CHECKING MANAGEMENT

    CLAWSON TAYLOR SCOTT / TOUPET OLIVIER AMAURY | European Patent Office | 2025

    Free access

    REFERENCE TRAJECTORY VALIDATING AND COLLISION CHECKING MANAGEMENT

    CLAWSON TAYLOR SCOTT / TOUPET OLIVIER AMAURY | European Patent Office | 2024

    Free access