Making certain that spacecraft command sequences do not violate any constraints is often tedious and expensive in terms of both personnel and software development. To reduce this cost, we have pursued the development of a flexible system for specifying models of spacecraft behavior in response to commands as well as constraints on that behavior. The potential need for modeling complex spacecraft behavior required that the system be designed to be usable both on a conventional workstation and a parallel supercomputer. Finally, it needed to be intuitive enough for the the intended mission operations users to easily design sets of rules and models to automate tedious, resource-consuming constraint checking of commands. We have defined a Specification And Verification Environment (SAVE) for spacecraft flight rules.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    (abstract) Automated Constraint Checking of Spacecraft Command Sequences


    Contributors:

    Publication date :

    1994-04-12


    Type of media :

    Preprint


    Type of material :

    No indication


    Language :

    English




    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


    Automated constraint checking of spacecraft command sequences

    Horvath, Joan C. | Online Contents | 1995


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

    Horvath, Joan C. / Alkalaj, Leon J. / Schneider, Karl M. et al. | NTRS | 1993


    SEQ_REVIEW: A Tool for Reviewing and Checking Spacecraft Sequences

    Maldague, P. F. / El-Boushi, M. / Starbird, T. J. et al. | British Library Conference Proceedings | 1994