Программное обеспечение ракеты-носителя Vega-C разрабатывается на языке Ada
Программное обеспечение Vega-C работает на целевом процессоре LEON 2 и будет сертифицировано по стандартам ECSS-E-ST-40C и ECSS-Q-ST-80C (EuropeanCooperationonSpaceStandardization) на уровень критичности для безопасности LevelB. Компания AVIO выбрала язык Ada за то, что благодаря своему синтаксису язык Ada помогает, а часто даже заставляет разработчика создавать код высокого качества, а широкий набор статических (на этапе компиляции) и…