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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Uploadable Executable Specification Concept for Spacecraft Autonomy Systems


    Beteiligte:
    Cancro, George (Autor:in) / Innanen, William (Autor:in) / Turner, Russell (Autor:in) / Monaco, Christopher (Autor:in) / Trela, Michael (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    01.03.2007


    Format / Umfang :

    505514 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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