Making robust software: the “Mars Code” talk (2012)
I wonder how much easier it would be to write the software in a language other than C&#x2F;C++. Ada has a pretty mature toolchain for security critical software development. Where I work we still use C++, but mostly for political reasons. Rust also seems more suited for security critical engineering.