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