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 :

    1991-01-01


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    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


    Validating NRLMSIS Using Atmospheric Densities Derived from Spacecraft Drag: Starshine Example

    Lean, Judith / Picone, Michael / Knowles, Stephen et al. | AIAA | 2002