Лисп, C. У нас когда-то ДРАКОН еще.

Вобще говоря подобные вещи для надёжности имеют дублирование систем и прошивка для каждой пишется отдельной командой на отдельном ЯП. Как минимум в авиации так, не думаю что в ракетах хуже.

что для программирования ПО межконтинентальных ракет используется то ли Basic, то ли Turbo Pascal

А я то думаю почему они все время падают

они по определению должны падать

В России? На Модуле что-то писали, емнип. В СШАшке Ада и JOVIAL :)

это якобы очень надежные ЯП

Языки надежными не бывают, надежными бывают программисты. А языки лишь не дают программистам идти куда не надо.

У меня тоже была такая мысля ;) Но ведь, скажем, Тополь-М в конце 80-х разрабатывался.

Насколько я знаю, язык Ada создавался именно для этих целей. Но это было давно, думаю сейчас какая-нибудь сишечка.

что для программирования ПО межконтинентальных ракет используется то ли Basic, то ли Turbo Pascal

А я то думаю почему они все время падают

они по определению должны падать

но не на своих же.

Forth тоже вроде. Или нет?

Если посмотреть все «космические» темы на ЛОРе, похоже межгалактический звездолет вы уже построили, осталось дело за софтом. (:

Зайцев берете?)

java

Слышал от одного человека, что для программирования ПО межконтинентальных ракет используется то ли Basic, то ли Turbo Pascal, причем это якобы очень надежные ЯП

Плюнь ему в лицо.

язык ада.

C — наше все!

Зайцев берете?)

Конечно. А чем же потом биореактор топить?

java

И ракета будет показывать антигравитационные трюки ☺

java

Я понял. Таймер детонации ракеты будет выражен в скорости утечки памяти жабки. Годнота.

Cофт для шаттла: HAL/S, A Real-Time Language for Spaceflight.
Похож на PL/I. Документацию можно скачать/посмотреть тут.

Но для МБР значительную часть софта «писали» на языке «жёсткой логики», быстрее которой ничего не бывает.

Насколько я знаю, язык Ada создавался именно для этих целей.

Ада + Jovial.

C + Багет ОСРВ 2000, инфа 146%

это якобы очень надежные ЯП

на первом месте качество тестирования. Да и что называть «надёжностью ЯП»? Безглючность реализации? Или что-то иное? Вариантов уйма.

Слышал, что Фортран и Ада.

А какой язык в аду?

это название языка ;) «АДА - язык программирования».

«Железо» на VHDL, а остальное на С + Real Time Kernel

О, первый адекватный человек в треде.

Не знаю, как в Тополях, но более простые ракеты, типа воздух-воздух, в то время летали вообще без единой строчки программного кода, всё реализовывалось прямо на железе, причём аналоговом.

Зачем таймер? Как врежется в стену, так и сдетонирует.

О, первый человек в треде, чье мнение совпало с моим.

fixed

[troll]в наших ракетах все на релейной логике.[/troll]

C + Багет

действительно Багет

Язык Ada же!

Почему тролл? Что-то не так с LD?

[troll]в наших ракетах все на релейной логике.[/troll]

В КР П-15, до сих пор состоящих на вооружении в некоторых странах Азии и Африки, вся логика пуска, полётной программы и самонаведения действительно релейная и занимает целый отсек КР.

ДРАКОН во все поля

«Эта технология эксплуатируется начиная с 1996 года во многих крупных космических программах: международный проект «Морской старт», разгонный блок космических аппаратов «Фрегат», модернизированная ракета-носитель тяжёлого класса «Протон-М» и др.»

Неужели этот странный язык до сих пор используют?

А я и не мнение говорил.

И я не с тобой говорил

на том же, на каком и для всех остальных систем на контроллерах этого же типа. дело не в языке, а в системе тестирования.

Стандарт Лаборатории реактивного движения (NASA Jet Propulsion Laboratory, сокращенно NASA JPL) по разработке ПО повышенной надежности:

JPL Institutional Coding Standard for the C Programming Language
JPL Coding Standard for Java (draft)

Пруфлинк

Видать Питон или Хаскель, как булавА так летает.

ЫЫЫ! :)))

Пруф - http://news.bcm.ru/russia/2012/8/12/540413/1

Ada

no, not this shit again!

Уж не знаю, что там с ракетами, но для усилителей-преобразователей на АЭС используем Си.

И ракета будет показывать антигравитационные трюки ☺

На работе видел, как wayne kerr показывал отрицательное сопротивление (порядка -5 MОм), как разъем из воздуха находил 42 вольта с опупенным током, чтобы хватило диод спалить. Антигравитации еще не видел. На жабе чтоли пописать... А стены не пострадают?

Modula-2

ЫЫЫ! :)))

А тем временем, тихо и незаметно «Зенит» поставил рекорд по точности запуска спутников с «Морского старта».

P.S. Предполагаю, что причина успеха - невозможность продать в океане украденное топливо и детали ракеты :)

тем не совсем ДРАКОН, там ГРАФИТ-ФЛОКС

выглядит вот так

Для русских ракет наверное прямо по русски и пишуцца. С ошипками.

вот кстате _оно_ и есть.., несмотря даже на то, что там тоже зачастую импортная электроника используется..

На пайтоне