The system-level software onboard a spacecraft is responsible for recovery from communication, thermal, power, and computer-health anomalies that may occur. The recovery must occur without disrupting any critical scientific or engineering activity that is executing at the time of the error. Thus, the error-recovery software may have to execute concurrently with the ongoing acquisition of scientific data or with spacecraft maneuvers. This paper provides a technique by which the rules that constrain the concurrent execution of these processes can be modeled in a graph. An algorithm is described that uses this model to validate that the constraints hold for all concurrent executions of the error-recovery softwave with the softwave that controls the science and engineering events on the spacecraft.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Validating system-level error recovery for spacecraft


    Beteiligte:

    Kongress:

    AIAA Computing in Aerospace Conference ; 1991 ; Baltimore, MD, United States


    Erscheinungsdatum :

    01.01.1991


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Validating system-level error recovery for spacecraft

    LUTZ, ROBYN / WONG, JOHNNY | AIAA | 1991




    Spacecraft oxygen recovery system

    Quattrone, P. D. | NTRS | 1971


    Spacecraft recovery

    Engineering Index Backfile | 1966