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"


Specifications

The list of all twenty-two specifications along with a table of all input signals is available HERE. The specifications and signals in this PDF are numbered as they are within the actual implementation located HERE