Validating system-level error recovery for spacecraft

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