Robotic spacecraft are controlled by sets of commands called 'sequences.' These sequences must be checked against mission constraints. Making our existing constraint checking program faster would enable new capabilities in our uplink process. Therefore, we are rewriting this program to run on a parallel computer. To do so, we had to determine how to run constraint-checking algorithms in parallel and create a new method of specifying spacecraft models and constraints. This new specification gives us a means of representing flight systems and their predicted response to commands which could be used in a variety of applications throughout the command process, particularly during anomaly or high-activity operations. This commonality could reduce operations cost and risk for future complex missions. Lessons learned in applying some parts of this system to the TOPEX/Poseidon mission will be described.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    The instant sequencing task: Toward constraint-checking a complex spacecraft command sequence interactively




    Publication date :

    1993-03-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Automated constraint checking of spacecraft command sequences

    Horvath, Joan C. | Online Contents | 1995


    Automated constraint checking of spacecraft command sequences

    Horvath, J. C. / Alkalaj, L. J. / Schneider, K. M. et al. | British Library Conference Proceedings | 1995


    Automated Constraint Checking of Spacecraft Command Sequences

    Horvath, J. C. / Alkalaj, L. J. / Schneider, K. M. et al. | NTRS | 1994


    (abstract) Automated Constraint Checking of Spacecraft Command Sequences

    Horvath, Joan / Alkalaj, Leon / Schneider, Karl et al. | NTRS | 1994


    SEQUENCE CONSTRAINT CHECKING IN A MULTI-MISSION ENVIRONMENT

    McLaughlin, B. A. / European Space Agency | British Library Conference Proceedings | 2007