Physics
Scientific paper
Jan 1999
adsabs.harvard.edu/cgi-bin/nph-data_query?bibcode=1999aipc..458..654d&link_type=abstract
Space technology and applications international forum -1999. AIP Conference Proceedings, Volume 458, pp. 654-659 (1999).
Physics
Computers In Experimental Physics, Spaceborne And Space Research Instruments, Apparatus, And Components
Scientific paper
The prospect of highly autonomous spacecraft and rovers is exciting for what they can do with onboard decision making, but also troubling for what they might do [improperly] without human-in-the-loop oversight. The single biggest obstacle to acceptance of highly autonomous software control systems is doubt about their trustworthiness as a replacement for human analysis and decision-making. Such doubts can be addressed with a comprehensive system verification effort, but techniques suitable for conventional sequencer-based systems are inadequate for reactive systems. This paper highlights some of the key features that distinguish autonomous systems from their predecessors and then focuses on one approach to aid in their verification using a ``lightweight'' formal method. Specifically, we present a little language that enables system engineers and designers to specify expected behavior in the form of invariants, state machines, episodes, and resource constraints, and a way of compiling such specifications and linking them into the operational code as embedded behavior auditors. Such auditors become part of the overall fault-detection design, checking system behavior in real-time, not only in the test-bed but also in flight.
Dvorak Daniel
Tailor Eric
No associations
LandOfFree
Verification of autonomous systems using embedded behavior auditors does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Verification of autonomous systems using embedded behavior auditors, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Verification of autonomous systems using embedded behavior auditors will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-1188705