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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Validating system-level error recovery for spacecraft


    Contributors:

    Conference:

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


    Publication date :

    1991-01-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Validating system-level error recovery for spacecraft

    LUTZ, ROBYN / WONG, JOHNNY | AIAA | 1991




    Emerald: A Low-Cost Spacecraft Mission for Validating Formation Flying Technologies

    IEEE; Aerospace and Electronics Systems Society | British Library Conference Proceedings | 1999