Rust: First safety-certified embedded system(sonair.com)

https://www.sonair.com/journal/worlds-first-safety-certified-3d-ultrasonic-sensor

1 comments

I’d like to see which parts of the assurance case are language/toolchain dependent versus plain old process, tests and traceability.