The Europa Clipper mission will explore that icy moon in a series of brief flybys through the Jovian radiation belts. A single event upset in the spacecraft flight computer during these critical scientific periods could jeopardize the success of the mission. Rather than safing and awaiting operator intervention, the Clipper mission envisions limited onboard autonomy that can restore spacecraft state sufficiently to resume the encounter observation plan as rapidly as possible. The contingency plan is contained in an Activity Restart Timeline (ART) that is transmitted in parallel with the nominal plan, which must be co-validated jointly against all spacecraft state and resource constraints amid unpredictable fault timing. A prototype validation tool was built that leverages declarative spacecraft models and automated search techniques to find such potential inconsistencies in the unified contingent mission plan. Early validation results within motivating scenarios are presented.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Validation of Fault-Tolerant Plans for Europa Clipper


    Beteiligte:
    Ferguson, Eric (Autor:in) / Chien, Steve (Autor:in) / Schaffer, Steve (Autor:in)

    Erscheinungsdatum :

    2018-06-04


    Medientyp :

    Preprint


    Format :

    Keine Angabe


    Sprache :

    Englisch



    Europa Clipper

    Richey, Christina | NTRS | 2019


    Europa Clipper

    Richey, Christina | NTRS | 2019


    Europa Clipper

    Campagnola, Stefano / Buffington, Brent | NTRS | 2020


    Europa Clipper

    Das-Stuart, Ashwati | NTRS | 2020


    Europa Clipper

    Stupik, Joan | NTRS | 2021