В Роскосмосе большой зоопарк.
Где что.
НПЦ АП (а это только системы выведения, в основном, - РН и разгонные блоки) - ГРАФИТ-ФЛОКС (предок ДРАКОНа).
Можно считать это технологией уровня пром. автоматизаций (теги, глобальная память, визуальные правила... как языки МЭК и более продвинутые Сименса, условно). Со всеми вытекающими плюсами (а они есть - без программистов, определённое единообразие и всё-таки ближе к конфигурированию, чем к программисткой вольницей) и минусами (низкий уровень абстракции. Сравни с Бураном, когда участовал ИМП Келдыша: там была сильная мат. формализация, языки формализации ПРОЛ, ДИПОЛЬ, но это требовало разработчиков абсолютно другой компетенции - профессиональных программистов-математиков, не инженеров. Путь же такого CASE и визуальной верификации позволил предприятию пережить 90-е с минимумом программистов и успешно свои задачи решать все эти годы.
Очень хорошо отлажен процесс организационно (центральная база переменных-тегов для всех, с поддержанием информации, утверждение любых изменений документами, а не "в голове у разработчика", превосходный комплексный стенд испытаний, где вся система управления в сборе гоняется во всех режимах со съёмом телеметрии).
Опять же, бортовой комп у них производится на предприятии. На микросхемах степени интеграции 80-х гг. БИСЕР-6. Три платы с голосованием. Надежён, как топор.
НПОА Семихатова - там у них разное, опять же. Есть свой язык автоматного программирования.
Там больше программистский подход, добротный, по тому, что я видел.
Уровень, конечно, - это НПО Решетнёва:
http://www.inr.ac.ru/~info21/pdf/AAKpaper2006.pdfУ них не просто Модула, а полное инструментирование процесса и управление жизненным циклом.
По другим предприятиям, по-моему, всё гораздо дремучее.
На "Тополях" всяких (закрытое подразделение НПЦАП), возможно, даже С++.
Лавочкина - как придётся, кто придётся (пусть поправят, если я не прав).
По Самарскому ЦСКБ Прогресс уважаемый Андрей TAU Тюгашёв лучше расскажет - там что-то крутится из его высокоуровневых визуальных инструментов, и что-то ещё...
РКК "Энергия" рассказывали о выстроенном орг. процессе на базе POSIX (QNX, Linux) и C - стека (кстати, винда на МКС тоже есть на вторичных машинах типа лабораторных. А так - QNX). По крайней мере, процесс как-то упорядочен.
По Интырнету бегал какой-то товарищ, поработавший у них, с криками "ужас-ужас-ужас" (нашумевшая статья "Как разрабатывается наш космический софт...", что-то в этом духе). Подозреваю, что может быть и "ужас" (доклады красивые сделать легко). Но всё же не "ужас-ужас-ужас" )))