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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    (abstract) Automated Constraint Checking of Spacecraft Command Sequences


    Beteiligte:
    Horvath, Joan (Autor:in) / Alkalaj, Leon (Autor:in) / Schneider, Karl (Autor:in) / Spitale, Joseph (Autor:in)

    Erscheinungsdatum :

    12.04.1994


    Medientyp :

    Preprint


    Format :

    Keine Angabe


    Sprache :

    Englisch




    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