Safety critical software is incredibly important for systems designed for applications such as aerospace, rail transportation, power stations and the like. This the F-35 hey, built largely in C++. …
This was an excellent example of why C is not a safe language lol.
Quite interesting, that the author uses code which looks more like C than C++ :) Anyway, there is also a second part too: https://craftofcoding.wordpress.com/2021/04/02/c-versus-ada-for-safety-critical-software-ii/
The difference between C and C++ is interesting here. C++ enables you to build abstractions to lower error risk (bounded integers, range checked containers, …) but C++ is also much more complex and that increases error risk.
Why isn’t Rust mentioned? It should at least be worth mentioning, since Rust has been getting more and more real-world usage in safety critical software.
Rust is used in safety-critical software? Citation please.
Ada programming language. For memory safe multi task programming, elegant embedded bit fiddling and everything else in a readable way