И ещё раз о выборе языка C++ в качестве основного при создании ПО для самолёта F-35

[ak_12]

Comments

[foxhound_lj]

Внезапно, БРЭО вообще пофиг, на чём там написан исходный код, оно работает с исполняемым, то есть с нулями и единичками. А Кресты или Лолита - это всё человеческое, слишком человеческое, для людей деланное, на них люди пишут. Поэтому говорить о "ненадёжности языка" бессмысленно, ненадёжность там может быть только в, гм, человеческих ресурсах. (Либо в компиляторе, но это сильно вряд ли.) С техникой всё нормально, это руки растут не из штатного места

[ak_12]

>Хотя лучше задуматься: если лохкиды выбрали именно C++ вместо Ады, то, может, для этого всё-таки была какая-то веская причина

[ak_12]

>С другой стороны, юные дарования, только вышедшие из быдлокодерских колледжей, приучены к "ООП

C++

[nazimru]

Я бы сделал еще одно добавление, которое касается критики языка С++ со стороны Линуса Торвальдса. Данный аспект был рассмотрен в сходной области, где рассматривается, почему отечественная система управления воздушным движением КСА УВД Галактика написана на C++, в то время как известные Air Traffic Control Systems таких компаний как Thales, Indra написаны на Аде: http://www.nazim.ru/1235... )

Re: C++

[ak_12]

Отличная статья

http://www.nazim.ru/1235

Разрешите дам ссылку у себя в журнале?

Re: C++

[nazimru]

Спасибо )

Да,конечно, можно на нее сослаться

[bessonov_yan]

В интернете пишут, что Паскаль и Ада чем то похожи. Да, вот было бы не плохо почтить какой нить обзорчик, сравнительный анализ Ады и Паскаля.

По мне так проще и лучше допилить компилятор freepascal под нужные архитектуры, чем использовать С/С++.

Когда работал в конторе по верификации прибора для 787, там был coding standard для С/С++, который фактически сводил возможности синтаксиса этого языка к Паскалю. Там на каждый пункт было объяснение зачем и почему это было сделано. Но наверное Ада самый правильный язык для ответственных задач.

[ak_12]

Справедливости ради стоит отметить что даже хороший инструментарий программирования не избавляет от возможных ошибок, а лишь снижает вероятность их появления, и вероятность того что ошибки приведут к критическому сбою. Иногда не помогает даже хороший инструментарий:

http://spaceflight101.com/exomars/esa-narrows-schiaparelli-failure-to-imu-and-software/

http://www.businesswire.com/news/home/20160719005081/en/Ada-Board-GNAT-Pro-Helps-ExoMars-Red

[bessonov_yan]

Спасибо за материал, прочитаю и отвечу чуть позже.