On the other hand, C++ has become fairly popular, and IMHO it is at least as complex as Ada, with Ada being more readable and harder to use as a foot-seeking sh

On the other hand, C++ has become fairly popular, and IMHO it is at least as complex as Ada, with Ada being more readable and harder to use as a foot-seeking shotgun. I remember reading about a (compiler-checked) subset of Ada for deterministic realtime code. If I was writing code that had to meet hard realtime requirements, I would certainly love it if the compiler could help me with that.