Компиляторы Ada для Linux

Question

Я провожу торговое исследование для разработки Ada в Linux.Есть ли у вас какие-нибудь хорошие рекомендации по компилятору / операционной системе?

Пока что у меня есть GNAT от AdaCore, работающий на CentOS 5.4, и у меня есть запросы на лицензию для Rational Apex и Aonix ObjectAda.

Это попытка переноса.Оригинальной кодовой базой является Apex 3.0 на OSF1 4.0d.

Есть что-нибудь еще, что я должен рассмотреть?В идеале, это была бы поддерживаемая среда.

Answer 1

Один из вопросов, который вам необходимо принять во внимание, - это определить, в какой степени ваша переносимая система использует пакеты, поставляемые поставщиком, для выполнения своих функций.Что я видел в старых, больших системах, особенно Apex, так это склонность языковых гуру во время разработки решать, что vanilla Ada просто недостаточно хороша, и поэтому привязываться ко всем этим поставляемым поставщиком пакетам.Если это то, что ваша система делает прямо сейчас, это сильный аргумент в пользу обновления у поставщика и использования Apex (при прочих равных условиях).

Всякий раз, когда я занимался портированием таких систем, при наличии возможности я делал все возможное, чтобы удалить все поставляемое поставщиком оборудование - в девяти случаях из десяти замена специфичного для поставщика оборудования реализациями vanilla Ada работала так же хорошо, и вам больше не нужно иметь дело с причудами пакета, специфичного для компилятора.Кроме того, вы повышаете переносимость и ремонтопригодность системы, позволяя ей лучше адаптироваться к будущим изменениям.

Answer 2

Всегда есть SPARK, но я полагаю, что это специализированная / подмножественная версия языка Ada.Возможно, вы захотите связаться с SigAda или группой Ada usenet, чтобы узнать, есть ли какие-либо другие идеи.

Хотя, честно говоря, GNAT - отличный набор инструментов.Вы можете использовать GNATBench, интерфейс Eclipse, или GPS, облегченную среду разработки GTK + IDE, для взаимодействия с инструментами GNAT.

Answer 3

Другими компиляторами, о которых я знаю, являются Зеленые холмы АдаМУЛТИ (для различных RTOSes), и ОЦЕНКА DDC-I (также для различных RTOSes)

Answer 4

Поставщики сертифицированных компиляторов, поддерживающих Linux (в дополнение к тем, которые перечислены в вопросе):

Ирвин Компилятор Корпорейшн .

Операционные системы

Программное обеспечение RR

Мягкая проверка