[magduf]

>The industry is really slow to change its practices and tools. Like the use of C for most software, I do feel a more safer language out to be preferred.

And what language would that be, where it has absolute determinism (which rules out anything with GC)?

They tried using Ada years ago for avionics. The problem here is that no one knows Ada any more, and no one really wants to make a career out of it since it isn't used anywhere else.

So, in practice, C and (a narrow subset of) C++ get used. Maybe Rust would be a good choice in the future.