программирование на ADA для ARM Опции

[Tsvetik]

Встречался ли кто-нибудь с компилятором ADA для ARM?

[SasaVitebsk]

В своё время читал статью на эту тему. Читал в познавательных целях и, поэтому, в мелочах могу быть неточным.

Язык АДА применялся американцами на всех военных объектах. Это был стандарт. Выбор языка в пользу АДА был сделан очень давно 60-70 годы. Причина - Это был самый оптимальный объектно-ориентированный язык того времени. В связи с этим считалось, что найболее защищённый. Кроме того, естественно переносимость. Естественно, что за долгие годы было наработано много софта в области данного языка (созданно объектов), что мешало переходить на другие языки. Кроме того надёжность его не ставилась под сомнение.
В 90-ые годы произошло несколько аварий. Известна как минимум одна авария челнока связанная именно с программой. И именно с её переносом с модели на модель. В связи с этим поднялась волна дискуссий о целесообразности групповых заимствований.

Недавно, с интересом прочитал сообщение, что военные выбрали язык С++ для дальнейших разработок. Думаю причины - понятны. Примерно тоже происходит и с ОС. Если ранее военными использовались только ОС на основе открытого кода (Linux), то недавно прочитал, что принято решение применять Windows.

Наши по прежнему применяют Linux. Недавно где-то ноутбук военный советский проскакивал...

[dxp]

Язык АДА применялся американцами на всех военных объектах. Это был стандарт. Выбор языка в пользу АДА был сделан очень давно 60-70 годы.

Язык АДА был специально разработан в начале 1980-х по заказу МО США для целевого использования в разработках по военному заказу оного заведения. Точно так же был разработан VHDL - не находите между ними сходства?

Причина - Это был самый оптимальный объектно-ориентированный язык того времени. В связи с этим считалось, что найболее защищённый.

АДА исходно не был объекто-ориентированным. Ее включили в более поздние версии. Защищенность - да. Особенно, что касается так называемой "защиты от дурака". Это все имеет свои обратные стороны и, естественно, не гарантирует безошибочной работы программ, написанных на нем.