U03: Dependability Engineering

Typestate & State Machines

https://gitlab.com/rust-saar/material/-/blob/main/2022_01_11/02-Embedded-Rust.pdf Slide 19 - 20

Dimensional Analysis

https://gitlab.com/rust-saar/material/-/blob/main/2022_01_11/02-Embedded-Rust.pdf Slide 28

Fault Trees

• TODO

Model Checking

• TODO