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"

---

R2U2 Public Rust Crate

r2u2_core (crates.io): https://crates.io/crates/r2u2_core

r2u2_core (GitHub): https://github.com/R2U2/r2u2/tree/rust-develop/monitors/static_rust/r2u2_core

R2U2 on STM32F3DISCOVERY Example

r2u2_cortex_m_example (GitHub): https://github.com/R2U2/r2u2/tree/rust-develop/monitors/static_rust/r2u2_cortex_m_example

R2U2 CLI Public Rust Crate

r2u2_cli (crates.io): https://crates.io/crates/r2u2_cli

r2u2_cli (GitHub): https://github.com/R2U2/r2u2/tree/rust-develop/monitors/static_rust/r2u2_cli