Вы словно с другой планеты прилетели. В России вовсю еще проекты на обычном С под DOS в космос летают (сам видел и с разработчиком вместе работал). Ada в середине-конце 90 в НИИАО была- они с амерами авионику клепали, чтобы сертифицировать за бугром легче было.

По некоторым слухам, новой системой реального времени МО РФ вообще является один из клонов Linux c gcc.

ПС А вообще-то можно написать нормальный проект на С и большую фигню на Ada, все зависит от опыта разработчиков, руководства проекта, от аппаратной платформы, в конце концов.