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

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

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

Про GCC не знаю


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

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

Сообщение отредактировал Tsvetik - Jun 6 2008, 10:36

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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