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.
Validating system-level error recovery for spacecraft
AIAA Computing in Aerospace Conference ; 1991 ; Baltimore, MD, United States
1991-01-01
Conference paper
No indication
English
Validating system-level error recovery for spacecraft
AIAA | 1991
|A virtual test environment for validating spacecraft optical navigation
Online Contents | 2013
|Emerald: A Low-Cost Spacecraft Mission for Validating Formation Flying Technologies
British Library Conference Proceedings | 1999
|A methodology for software implemented transient error recovery in spacecraft computation
DSpace@MIT | 1985
|