Current spacecraft autonomy systems suffer from two main problems. First, autonomy designs cannot be adequately reviewed by system engineers, resulting in a potential loss of desired system behavior between system-level requirements and software implementation. Second, current autonomy systems cannot fully assess the systems-level impact of modifications and then quickly and safely upload those modifications to the spacecraft pre-and post-launch. These problems are addressed by the development of executable specification techniques to directly support system engineers with formalized models that translate into operational functionality. This paper describes a concept of combining a standard executable specification technique with a concept of software design using uploadable forms. This paper goes on to describe the features of this concept which include: interactive visual design and display capabilities that allow any domain expert to understand and/or perform the design; operational support capabilities that allow the on-board autonomy functionality to be modified or disabled in real-time without patching or modifying existing code; and graphical stand-alone simulation and automated verification capabilities that allow autonomy designs to proven safe prior to upload.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Uploadable Executable Specification Concept for Spacecraft Autonomy Systems


    Contributors:


    Publication date :

    2007-03-01


    Size :

    505514 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Executable specification-based system engineering

    Cancro, George / Turner, Russell / Kahn, Eli et al. | IEEE | 2011


    Spacecraft autonomy concept validation by simulation : a feasibility assessment

    Messerschmitt-Bölkow-Blohm GmbH, Ottobrunn / MBB-ERNO GmbH, Bremen / VEGA Space Systems Engineering, Harpenden | TIBKAT | 1990


    Spacecraft Autonomy Concept Validation by Simulation: A Feasibility Assessment

    U. Pape / A. N. Pidgeon / J. Sved et al. | NTIS | 1990


    Distributed Spacecraft Autonomy

    Cellucci, Daniel / Cramer, Nick B. / Frank, Jeremy D. | AIAA | 2020


    DISTRIBUTED SPACECRAFT AUTONOMY

    Cellucci, Daniel / Cramer, Nick B. / Frank, Jeremy D. | TIBKAT | 2020