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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Case Studies in Verifying Spacecraft Autonomy



    Publication date :

    2021-03-06


    Type of media :

    Preprint


    Type of material :

    No indication


    Language :

    English



    Case Studies in Verifying Spacecraft Autonomy

    Prokop, Lorraine E. / Dorney, Daniel J. / Feather, Martin S. et al. | IEEE | 2021


    Case Studies in Verifying Spacecraft Autonomy

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


    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