Runtime Verification Triggers Real-time, Autonomous Fault Recovery on the CySat-I

Alexis Aurandt, Phillip H. Jones, and Kristin Yvonne Rozier

This webpage contains further details and artifacts for reproducibility of the experiments in "Runtime Verification Triggers Real-time, Autonomous Fault Recovery on the CySat-I"


Artifacts

Source code that was run on the CySat-I during the mock launches is HERE.

Source code for the MLTL specification compiler to generate specification binaries for the OBC's SD card is HERE.

Raw data collected during mock launch is HERE.