Towards a Safe, Verified Runtime Monitor for Embedded Systems: R2U2 in Embedded Rust

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

This webpage contains further details and artifacts for reproducibility of the experiments in "Towards a Safe, Verified Runtime Monitor for Embedded Systems: R2U2 in Embedded Rust"

---

Benchmarks

The C2PO benchmarks for both R2U2 v3.0 and R2U2 Rust and the applicable traces are available here: https://github.com/aaurandt/R2U2Benchmarks_NFM25