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"

---

CySat-I Status

The current flight status of the CySat-I can be found on Iowa State University's Make to Innovate(M:2:I) website: https://m2i.aere.iastate.edu/cysat/

---