| タイトル | Validating system-level error recovery for spacecraft |
| 著者（英） | Wong, Johnny S. K.; Lutz, Robyn R. |
| 著者所属（英） | Iowa State Univ. of Science and Technology; Jet Propulsion Lab., California Inst. of Tech. |
| 発行日 | 1991-01-01 |
| 言語 | eng |
| 内容記述 | 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. |
| NASA分類 | COMPUTER PROGRAMMING AND SOFTWARE |
| レポートNO | 92A17586
AIAA PAPER 91-3714 |
| 権利 | Copyright |
