Non-linear sequencing and cognizant failure

Details Non-linear sequencing and cognizant failure Non-linear sequencing and cognizant failure

Jan 1999

adsabs.harvard.edu/cgi-bin/nph-data_query?bibcode=1999aipc..458..660g&link_type=abstract

Space technology and applications international forum -1999. AIP Conference Proceedings, Volume 458, pp. 660-666 (1999).

Physics

1

Computers In Experimental Physics, Spaceborne And Space Research Instruments, Apparatus, And Components

Scientific paper

Spacecraft are traditionally commanded using linear sequences of time-based commands. Linear sequences work fairly well, but they are difficult and expensive to generate, and are usually not capable of responding to contingencies. Any anomalous behavior while executing a linear sequence generally results in the spacecraft entering a safe mode. Critical sequences like orbit insertions which must be able to respond to faults without going into safe mode are particularly difficult to design and verify. The effort needed to generate command sequences can be reduced by extending the vocabulary of sequences to include more sophisticated control constructs. The simplest extensions are conditionals and loops. Adding these constructs would make a sequencing language look more or less like a traditional programming language or scripting language, and would come with all the difficulties associated with such a language. In particular, verifying the correctness of a sequence would be tantamount to verifying the correctness of a program, which is undecidable in general. We describe an extended vocabulary for non-linear sequencing based on the architectural notion of cognizant failure. A cognizant failure architecture is divided into components whose contract is to either achieve (or maintain) a certain condition, or report that they have failed to do so. Cognizant failure is an easier condition to verify than correctness, but it can provide high confidence in the safety of the spacecraft. Because cognizant failure inherently implies some kind of representation of the intent of an action, the system can respond to contingencies in more robust and general ways. We will describe an implemented non-linear sequencing system that is being flown on the NASA New Millennium Deep Space 1 Mission as part of the Remote Agent Experiment.

Affiliated with

Also associated with

No associations

Rating

Non-linear sequencing and cognizant failure 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 Non-linear sequencing and cognizant failure, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Non-linear sequencing and cognizant failure will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-1188708