|
|
ISSO Y2005 Annual Report | Contents Building and Verifying Fault-Tolerant Autonomous Real-Time
Systems for Space Applications • 53-57,95 Abstract--NASA missions require autonomous systems that perform correctly for an extended period of time. These systems must make real-time decisions in logical sequence that meet timing requirements. These systems must anticipate faults induced by environmental change, but it is difficult to anticipate the infinite variety of situations one must encounter for the design of robotic explorers, spacecraft, and systems necessary for the management of a mission. An Automated Reasoning program seeks to establish tolerances for change or alteration and seeks computational formulas for verifying scalable fault tolerances. |
|
