Resources about programming practices for writing safety-critical software
The obsession with C/C++ here is really weird. Like, take the MCO failure.  That's a classic, textbook problem that can be structurally guaranteed not to happen with use of even a basic type system.  It should be literally impossible to confuse values of different types/units/dimensions like this in something described as "safety-critical".<p>It seems like all the resources here are concerned with trying to whittle C/C++ into an appropriate choice of tool, rather than choosing a different tool.  It seems like a 1980s-1990s mindset.