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

Фирма GreenHills поставляет компилятор ADA95. У них можно запросить CD с ограничением по времени тестирования компилятора.
http://www.ghs.com

А GCC'шный ADA-компиллер умеет код для ARM'а генерить?

Про GCC не знаю


На GreenHills я был, у них действительно есть компилятор ADA95, но я не увидел нигlе укзания на то, что он комплит под ARM

Есть ли у кого-нибудь опыт разработки на ADA для микроконтроллеров?
По идкк этот язык специально заточен под embedded системы

Дык он жеж фронт-энд. Кодогенератор общий. Вопрос ИМХО в библиотеках.

Ну я не знаток, просто знаю, что в GCC была ADA, а что и как - хз...

Это вы не с FORTH'ом перепутли случаем? ADA -- это Паскаль такой

Это не Паскаль. ADA язык высокого уровня. Буржуи французские на нем (насколько мне известно) писали софт для своих космических ракет Ариан.

У меня только один вопрос: чем обусловлена необходимость использовать именно этот язык???...

"Язык АДА". Как звучит.

>>Буржуи французские на нем (насколько мне известно) писали софт для своих космических ракет Ариан.
Для тех, что падали все время? )

Заинтересовала его ориентированность на параллельные вычисления.

Что-то мне подсказывает что от выбора языка ARM параллельнее считать не станет... Кроме того Вы лишаете себя массы полезных библиотек (ну может и прилинкуете их к программе на ADA, но ведь и прототипы функций переписывать надо будет - а зачем эта лишняя работа?)... Если надо язык, ориентированный на параллельные вычисления - Verilog

Судя по одной статье именно эти.
Траекторию выхода на орбиту поменяли, а софт не скорректировали. Траектория не та, то, следовательно, самоуничтожение объекта

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

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

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

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

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


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

Для того, чтобы находить сходства, надо поработать на том и на этом. А я ни на том ни на этом.

Так что всецело доверяю вам.

Я просто к тому написал, что он действительно военными использовался, но, похоже, сейчас это уже в прошлом.