Какие технологии повышенной надёжности нынче используют в оборонных/промышленных предприятиях?

Question

[mrpropper]

Не уж то все до сих пор пишут на frama-c или диалекте Ada?
Хочу вкатиться в эту индустрию, но непонятно каким технологиям отдать приоритет.
На чем программируют сверх надежные программные средства в оборонной промышленности? Роботов-манипуляторов на промышленных предприятиях?

Answer 1

[Алексей Черемисин]

За оборонные не скажу, не знаю. А на промышленных предприятиях все очень просто. В мире контроллеров доминирует только один язык программирования - С!
Что касается роботов и систем промышленной автоматизации, то очень часто используется блочное программирование на одном из языков МЭК/IEC типа 61131, 61499 и тэдэ. Все это интерпретируется в интерпретаторах на стороне контроллера и разрабатывается в каком нибудь SCADA. Интерпретаторы часто пишутся тоже на С, иногда C++ :)
Все встроенные операционные системы и системы реального времени тоже написаны на С, изредка на С++.
А чтобы все работало надежно, желательно, чтобы компания сертифицировалась на CMMI или ISO 11540 или ISO 33001 - https://ru.wikipedia.org/wiki/ISO/IEC_15504
Часто, если системе позволяют ресурсы, разрабатывают на Java или Net. Иногда всякие разновидности паскаля, но это очень очень редко.

Специальных языков типа forth, я вообще не встречал, ибо просто нет специалистов!
Также не разрабатывают на на lisp, ибо та же беда - специалисты!

Все знают С - с ним и колупаются. Даже C++ редко используют!

Comments

[mrpropper]

Я слышал, что сейчас на микроконтроллерах стильный молодёжный Rust используют, типо как си, только безопаснее. Одна беда, что именно стандартов сертификации у него нету (и в обозримом будущем вряд-ли будут).

Спасибо за подробный ответ!

[Алексей Черемисин]

mrpropper, с rust все очень сложно, и как язык, и как кросс компиляция. Это пока все только по линукс и винловс. А на микроконтроллерах совсем другие операционки - реального времени.

[Borys Latysh]

С таким вопросом лучше в оборонку не "Вкатываться",
Думаю стоит немного повременить.

[mrpropper]

Borys Latysh, большое спасибо за совет, понимаю что ответ на такие тупые вопросы вам был известен ещё в детском саду. Удачи вам и успехов.

Answer 2

[Александр Скуснов]

Есть старый способ - дублирование (может доходить до 4 экземпляров) компонентов: процессоров, блоков питания, сетей связи.

Comments

[VT100]

То есть - резервирование и мажорирование. Хотя, возможен вариант, когда два неисправных "перемажорируют" один исправный.