Linux 4.8 would crash due to aggressive asserting: https://lkml.iu.edu/hypermail/linux/kernel/1610.0/00878.html (interesting thread: hard to segment critical code in a monolith)
miniblog.
Related Posts
21
Rust and RISC-V both feel like they've reached critical mass and I'd guess that they'll be used more in 5 years than they are today.
What other technologies fit this description?
When Nvidia discusses choosing Ada for security critical software, they mention the cost of fuzzing (slide 17). It's an interesting argument: if the language gives you more assurances, you don't need so much compute to fuzz test!
https://www.slideshare.net/AdaCore/securing-the-future-of-safety-and-security-of-embedded-software
Defining a subset of #[no_std] Rust, formally verifying it, and releasing it as 'Sealed Rust' for use in safety critical systems like automotive and avionics:
