11 ms·Rust: First safety-certified embedded system2 points by torotime 3mo agolucamark 3mo agoI’d like to see which parts of the assurance case are language/toolchain dependent versus plain old process, tests and traceability.