Spacecraft, operating with a time-to-effect faster than human command response, or with absent or delayed communication, have depended on autonomy. It is likely that this reliance will continue, and increase further in future missions. Spacecraft autonomy is used when operator intervention is not available or feasible, or when dynamic aspects of a spacecraft situation cannot be predicted in advance. This paper provides case studies of several successfully verified autonomous software systems across multiple spacecraft, flight phases (launch, transit, entry and landing, science utilization), and software classifications, and can serve as examples to future missions in methods of successfully assuring spacecraft autonomy.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Case Studies in Verifying Spacecraft Autonomy


    Beteiligte:


    Erscheinungsdatum :

    2021-03-06


    Format / Umfang :

    653365 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Case Studies in Verifying Spacecraft Autonomy

    Lorraine E Prokop / Daniel J Dorney / Martin S Feather et al. | NTRS


    Case Studies in Verifying Spacecraft Autonomy

    Johnson, Stephen B. / Feather, Martin S. / Dorney, Daniel J. et al. | NTRS | 2021


    DISTRIBUTED SPACECRAFT AUTONOMY

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


    Distributed Spacecraft Autonomy

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