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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Validation of Fault-Tolerant Plans for Europa Clipper


    Contributors:

    Publication date :

    2018-06-04


    Type of media :

    Preprint


    Type of material :

    No indication


    Language :

    English



    Europa Clipper

    Campagnola, Stefano / Buffington, Brent | NTRS | 2020


    Europa Clipper

    Das-Stuart, Ashwati | NTRS | 2020


    Europa Clipper

    Richey, Christina | NTRS | 2019


    Europa Clipper

    Richey, Christina | NTRS | 2019


    Europa Clipper

    Stupik, Joan | NTRS | 2021