Comment by sapphireblue

You have a lot of solid points, but note that Linux is currently being used by SpaceX in an even more safety-critical aerospace setting.

Also note that interpreters have their place in safety-critical aerospace as well: some satellites run Forth.