The work described addresses assurance of a planning and execution software system being added to an in-orbit CubeSat to demonstrate autonomous control of that spacecraft. Our focus was on how to develop assurance of the correct operation of the added software in its operational context, our approach to which was to use an assurance case to guide and organize the information involved.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Software assurance of autonomous spacecraft control


    Beteiligte:
    Bocchino, Robert (Autor:in) / Huntsberger, Terry (Autor:in) / Feather, Martin S. (Autor:in) / Smith, Ben (Autor:in)

    Erscheinungsdatum :

    2020-01-27


    Medientyp :

    Preprint


    Format :

    Keine Angabe


    Sprache :

    Englisch



    Software for Autonomous Spacecraft Maneuvers

    Bristow, John / Folta, Dave / Hawkins, Al et al. | NTRS | 2004





    Dynamic Assurance of Autonomous Systems through Ground Control Software∗

    Irfan Sljivo / Ivan Perez / Anastasia Mavridou | NTRS