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, and 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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Non-linear sequencing


    Contributors:
    Gat, E. (author)


    Publication date :

    2009-03-01


    Size :

    3859225 byte




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Non-Linear Sequencing

    Gat, E. | Online Contents | 2009


    Non-Linear Sequencing

    IEEE; Aerospace and Electronics Systems Society | British Library Conference Proceedings | 1999


    Non-Linear Sequencing and Cognizant Failure

    Gat, E. / University of New Mexico; School of Engineering; Institute for Space and Nuclear Power Studies | British Library Conference Proceedings | 1999


    MSLICE Sequencing

    Online Contents | 2011


    Photo Sequencing

    Dekel (Basha), T. / Moses, Y. / Avidan, S. | British Library Online Contents | 2014