На чем пишут ПО для авиатехники?

Question

[Сергей Нижний Новгород]

Всем привет.

Хотел бы поинтересоваться такими вопросами:

1) На чем пишут ПО для самолетов и вертолетов.
2) На чем пишут ПО для авиамоделей?

Comments

[Walt Disney]

У военных много писали на паскале, как минимум до начала двухтысячных.

Answer 1

[Алексей]

Про гражданскую авиацию не скажу, а вот это к примеру прошивка популярного полетного контроллера для авиамоделей - https://github.com/ArduPilot/ardupilot/tree/master...
Вот еще прошивка для другого полетного контроллера - https://github.com/cleanflight/cleanflight/tree/ma...
Думаю для авиамоделей можно подытожить - C / C++, возможно с ASM вставками (не искал).

UPD. Про гражданскую авиацию нашел интересную статью - https://tjournal.ru/p/aircraft-software - "За работу того же «Боинга-787» в общей сложности отвечают более 14 миллионов строк кода... Одним из основных языков, на котором пишется код для гражданской авиации, является известный любому программисту C/С++. Второй важный для отрасли язык — разработанный ещё в конце 70-х годов Ada." Там же упоминается ОС реального времени QNX. Разумеется есть масса отдельных программ у отдельных узлов, так же как в квадракоптерах у каждого двигателя отдельный регулятор с отдельным чипом с программой.

Answer 2

[xmoonlight]

Скорость принятия решений в любом случае не зависит от языка.
Это программируется через параллельные потоки с использованием аппроксимации возможной траектории и процентной вероятностью. Т.е. система анализа и управления движением (например, автопилот) работает сразу на несколько возможных направлений полёта, хотя сам летающий объект - движется по одной (осевой) траектории.
При возникновении любой ситуации отклонения от курса - система уже 100% знает как поступить в данном случае (упр. рулями, тягой и т.д.), т.к. эти данные готовятся непрерывно (каждые N-микросекунд).
Язык программирования - здесь может быть любым. Вся "соль" - в параллельных вычислениях и алгоритмах, включая алгоритмы принятия решений за минимально возможный отрезок временного интервала.

Answer 3

[uvelichitel]

Язык Ada был разработан по заказу Министерства Обороны США с требованием доказательного соответствия очень четкой и обширной спецификации. Существует строгая сертификация компиляторов на предмет проверок фазы компиляции отчего коммерческих компиляторов немного и они дорогие. В 1991 МинОбороныСША сделало Ada единственным и обязательным языком для своих проектов. В 1997 ограничение снято но унаследована огромная база кода. В гражданской авиации например AIMS - мозги Boeing 777, Canadian Automated Air Traffic System, UnitedKingdom Interim Future Area Control Tools Support (iFACTS).

Answer 4

[Василий Печерский]

Как один из примеров

На летающей технике используют операционные системы реального времени - самая известная https://en.wikipedia.org/wiki/VxWorks (русская статья мало информативна).

Из языков программирования - Гугл указывает на C, C++, Ada. На них програмят компоненты авионики и спутники. Я много раз слышал, что спутники программируют именно на Ada из за возможности отладки во время исполнения и подходу к обработке ошибок. Но доказательств привести не могу.

Также большинство систем используют вендорные ПЛК - соответственно язык и среда разработки зависят от вендора.

Answer 5

[Saboteur]

Пишут практически на всех языках.

Comments

[girat]

Php?:)

[Saboteur]

girat: в том числе. Диспетчерский софт на чем пишется? java и веб интерфейс.

[Vicom]

МиГ на JavaScript? не шутите так с моими синапсами. им ещё рано стареть.
а по существу - это даже не смешно. и речь про управляющие структуры кода, а
не какие-то там CP для диспетчеров, которые в реальные процессы, происходящие
на борту вовлечены, как мне кажется, очень опосредованно..

[Saboteur]

Vicom: В вопросе топикстартера ничего не сказано о том, что речь идет про управляющие структуры кода. А ПО для самолетов и вертолетов включает в себя гораздо больше.

Answer 6

[Alexlexandr]

Может имелось в виду, : "Какую ОС используют при проектировании сложных объектов с СУ реального времени?"
Например у нас и в мире широко используется QNX. А языки, это уж какие компиляторы вы под неё приобретете , но их список не будет очень широк.