Exactly this. It's not that there's anything wrong with using a high-level language for safety-critical systems with real-time requirements and limited hardwar

Exactly this. It's not that there's anything wrong with using a high-level language for safety-critical systems with real-time requirements and limited hardware. It's just that every high-level language that's remotely appropriate for this set of requirements wasn't production ready (or even conceived of) 10-20 years ago. Hopefully the next generation (or the one after that) of control software for aircraft will be written in beautiful code :-)