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