The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]

Вышел GNAT GPL 2011 - набор средств разработки на языке программирования Ада-2005

17.06.2011 14:29

После трех лет разработки представлен релиз GNAT GPL 2011, набора средств разработки на языке Ада-2005. В состав пакета входит компилятор, интегрированная среда разработчика GNAT Programming Studio (GPS), система профилирования кода, набор unit-тестов, отладчик и набор библиотек. Дополнительно поставляется плагин для интеграции GNAT с платформой Eclipse.

Основные новшества:

  • Обеспечена начальная поддержка стандарта Ada 2012;
  • В интегрированной среде GPS улучшена поддержка разработки на языках C и C++, расширены возможности редактирования кода, проведена работа по улучшению юзабилити;
  • Для интерфейса GtkAda подготовлены новые виджеты, обеспечена поддержка графической библиотеки Cairo;
  • Увеличена гибкость и эффективность инструмента для управления проектами;
  • Добавлена возможности выгрузки Ada-плагинов;
  • Улучшена поддержка конструкций языка Ада на платформе .NET;
  • Увеличена детализация сообщений, выводимых при возникновении исключительных ситуаций;
  • Доведена до конца поддержка разработки для аппаратной платформы Lego MINDSTORMS, включая возможность работы со звуком и сенсорами I2C.


  1. Главная ссылка к новости (http://libre.adacore.com/libre...)
  2. OpenNews: Вышел GNAT GPL 2008 - набор средств разработки на языке Ада-95/2005
  3. OpenNews: Вышел Gnat GPL 2007
Лицензия: CC-BY
Тип: Программы
Короткая ссылка: https://opennet.ru/30909-GNAT
Ключевые слова: GNAT, ada
При перепечатке указание ссылки на opennet.ru обязательно
Обсуждение (38) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.2, Аноним (-), 14:43, 17/06/2011 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    я знал, она возродится! =)
     
  • 1.4, Василий2 (ok), 14:55, 17/06/2011 [ответить] [﹢﹢﹢] [ · · · ]  
  • –4 +/
    Прошу, конечно, прощения Но слова типа Ада напоминают мне слова типа Кобол, Фор... большой текст свёрнут, показать
     
     
  • 2.6, йопт (??), 15:05, 17/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    если вкратце, то да
     
  • 2.8, Аноним (-), 16:05, 17/06/2011 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Вам бы только хоронить.
     
  • 2.22, Петр (??), 17:00, 18/06/2011 [^] [^^] [^^^] [ответить]  
  • +3 +/
    PL/1 скончался, а все остальное - живо и здорово, так как лучших инструментов для решения соответствующих задач никому придумать так и не удалось.

    Ада - блестящий язык для сложных проектов с высокой ценой ошибки, никакие C++ и т.п. и рядом не валялись. Фортран великолепен для матмоделирования, код получается простым, лакончиным и читаемым, а сравнимая производительность достигается только на чистом C и только ценой колоссальных усилий. Форт для встраиваемых систем с малым объемом ресурсов намного эффективнее чего-либо другого. Ну а причины жизнеспособности Кобола Вы сами описали. :)

     
     
  • 3.33, fr0ster (??), 12:07, 20/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    как бы между прочим, Фортран используется много где лишь потому,что накоплена большая кодовая база, переписывать которую сейчас некому и незачем. Работает и не трогай.
    То есть те же яйца, что и у Кобола, только в профиль. По удобству программирования и надежности ничем не лучше чистого С с либами. Насчет лаконичности и простоты, то большая часть традиций "суперкода" пошла именно от фортрана, от первых реализаций, это и однобуквенные переменные и прочие прелести типа кучи переменных I, N, J, Y даже там, где никаких ограничений давно уже нет.
    Ну а Ада... для сложных ли проектов или нет, не скажу, скажу только что без правильной организации проекта плюсы Ады не "выстрелят". Дорогой в использовании язык :)
     
     
  • 4.35, cobold (ok), 20:26, 20/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    ага, это значит от того знакомые физики на каждый новый стандарт фортрана чуть не молятся, чтобы старый код запускать? Пушут сейчас на фортране, ещё как пишут, и всеми современными вкусностями пользуются - и модули у них сейчас есть, и ООП, и распараллеливание. Просто математики его в своё время создавали в первую очередь для понимания людьми, а потом уже компиляторы научились делать.
    На Коболе сейчас в чистом виде действительно мало пишут, хотя тоже развивается помаленьку. Пишут зато на SQL , который из него произошел собственно.
     

  • 1.7, Vitaliy (??), 15:21, 17/06/2011 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    > После трех лет разработки представлен релиз GNAT GPL 2011

    В прошлом году был релиз GNAT GPL 2010.

     
     
  • 2.10, fr0ster (??), 17:02, 17/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    Его, видимо, разрабатывали с 2007.
     

  • 1.9, Аноним (-), 16:47, 17/06/2011 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    а на нем на наших просторах кто-то что реальное пишет? интересно бы почитать о таких проектах. и понять есть ли смысл тратить время на аду. я ей немножко поигрался, понравилось:). Можно ли на ней программить и получать за это деньги у нас?
    поделитесь инфой:)
     
  • 1.11, q (??), 17:24, 17/06/2011 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Чем Ада лучше чем Си, С++, FreePascal? В чём заключается разница между Ада и этими языками? Какие преимущества?
     
     
  • 2.12, ander (??), 18:20, 17/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal and other languages. It has strong built-in language support for explicit concurrency, offering tasks, synchronous message passing (via guarded task entries), protected objects (a monitor-like construct with additional guards as in conditional critical regions) and nondeterminism (via select statements).
     
  • 2.13, ImPressed (ok), 18:20, 17/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    FreePascal с Ada даже рядом не валялся.
    Хорошо тем что имеет встроенные в язык  средства многопоточности, изначально проектировалось как Объектно-Ориентированный язык для америкосовских вояк, если мне память не изменяет. Синтаксис для меня, как C-фана необычен, но осваивается достаточно легко и быстро.
     
     
  • 3.25, aninymous vulgaris (?), 23:21, 18/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    > FreePascal с Ada даже рядом не валялся.

    это верно, как можно сравнивать распространенный язык с нераспространенным и нишевым


    > Хорошо тем что имеет встроенные в язык  средства многопоточности,

    http://wiki.lazarus.freepascal.org/Multithreaded_Application_Tutorial


    >изначально проектировалось как Объектно-Ориентированный язык для америкосовских вояк, если мне память не изменяет.

    object pascal изначально проектировалсz как Объектно-Ориентированный язык для америкосовских фирмачей


    > Синтаксис для меня, как C-фана необычен, но осваивается достаточно легко и  быстро.

    Ну так паскалевский синтаксис понятно рулит

     
     
  • 4.38, anonymous (??), 03:27, 21/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    >> Хорошо тем что имеет встроенные в язык  средства многопоточности,
    > http://wiki.lazarus.freepascal.org/Multithreaded_Application_Tutorial

    умение вызвать createthread или подобное, даже через обёртку, никак не является «встроеным в язык средством многопоточности». чтобы увидеть, что такое «встроеное» — можешь, например, глянуть на Active Oberon.

     
  • 2.15, Ytch (?), 21:01, 17/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    > Чем Ада лучше чем Си, С++, FreePascal?
    > Какие преимущества?

    Вы правда думаете, что при сравнении зрелых языков программирования из разных "семейств" найдется хоть одно "абсолютное" (независящее от того где, как, кем и для чего применяется) преимущество одного над другим?

     
  • 2.17, Дима (??), 23:00, 17/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    В языке Ada заложено много всего для написания надежных, безопасных программ. Сложная, подробная система типов. Кроме этого, интересный подход к многозадачности. ООП к нему прикрутили позже, и оно отличается от C++, например, отсутствием классов как таковых. Дженерики работают иначе, чем темплейты C++. Однозначно стоит того, чтобы ознакомиться, даже если не будете на нем писать. Все же это ни разу не COBOL.

     
     
  • 3.19, anonymous vulgaris (?), 02:26, 18/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    > В языке Ada заложено много всего для написания надежных, безопасных программ.

    Да ладно вам, для сертификации кода как раз много всего никак не годится, все сомнительные возможности выкидываются нещадно, какие там ооп понимаешь, виртовский паскаль остается в сухом осадке

    http://www.cotsjournalonline.com/articles/view/100982
    A set of related restrictions can be bundled into a profile, and the Ada 2005 standard includes the definition of the so-called Ravenscar Profile, which comprises a simple set of tasking features whose usage and run-time libraries are amenable to safety certification. A program using the Ravenscar Profile consists of a set of tasks, each of which loops forever on either a simple event or a time-out. Despite its simplicity, the Ravenscar Profile is rich enough to express the kinds of concurrent programs that come up in practice.

    такие правила кстати и для ц есть
    In 1998, the UK's Motor Industry Software Reliability Association established a set of 127 guidelines for the use of C in safety-critical systems.
    http://www.iar.com/website1/1.0.1.0/474/1/


     
     
  • 4.20, коксюзер (?), 06:03, 18/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    > такие правила кстати и для ц есть

    Даже близких аналогов нет, поскольку нет необходимых языковых и даже инструментальных средств. Профили в Ada - часть стандарта и реализованы во всех компиляторах.

    > http://www.iar.com/website1/1.0.1.0/474/1/

    ...

    Some rules, however, can't be checked automatically.

    ...

    For example, MISRA C rule 118 forbids the use of dynamically allocated memory, rule 101 specifies that the use of pointer arithmetics is prohibited, and rule 102 says that no more than 2 levels of pointer indirection should be used.

    ...

    Rule 23 (advisory): All declarations at file scope should be static where possible

    Комментарии излишни.

     
     
  • 5.24, aninymous vulgaris (?), 23:15, 18/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    >> такие правила кстати и для ц есть
    > Даже близких аналогов нет, поскольку нет необходимых языковых и даже инструментальных средств.

    странный вы человек - эта ссылка как раз о том что мисра в иаровском компиляторе есть
    >> http://www.iar.com/website1/1.0.1.0/474/1/

    аналогично

    PC-Lint Version 8 includes support for MISRA, the Motor Industry Software Reliability Association, and the MISRA-C standard. PC-Lint detects and reports on numerous MISRA rule violations. You may use PC-Lint with the Keil Development Tools for ARM, C51, C251, and C166 microcontrollers.

    а что качество проверки хуже будет для ц чем для паскалеподобного языка так это ясно

    как ясно что ада в итоге все равно сольет питону, поскольку квалифицированных ада программеров не найти

    кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разница

     
     
  • 6.26, grafsoft (ok), 00:05, 19/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    "кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разниц"

    А все это работает на процессорах архитектура которых не проще чем ось, и тоже подвержены багам, и что?
    Тут говорится об языке и его возможностях, что он дает
    к тому же на GNAT есть для Atmega256 например
    Если бы усилия перло-моно-питонщиков например направились бы на создание открытых компилятора/среды разработки/библиотек для ADA ..., а не  неадекватных и тормознутых созданий инопланетного разума.

     
     
  • 7.27, anonymous vulgaris (?), 00:53, 19/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    > А все это работает на процессорах архитектура которых не проще чем ось,
    > и тоже подвержены багам, и что?  Тут говорится об языке и его возможностях, что он дает

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

    > Если бы усилия перло-моно-питонщиков например направились бы на создание открытых компилятора/среды  разработки/библиотек для ADA ..., а не  неадекватных и тормознутых созданий инопланетного разума.

    да ладно мечтать то. реально то аду в критических системах заменит жаба

     
  • 6.29, коксюзер (?), 02:10, 19/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    >>> такие правила кстати и для ц есть
    >> Даже близких аналогов нет, поскольку нет необходимых языковых и даже инструментальных средств.
    > странный вы человек - эта ссылка как раз о том что мисра
    > в иаровском компиляторе есть

    Что-то есть, но за пределами стандартов, стандартных инструментариев (особенно свободных) и большинства областей применения. Это не "такие правила", не аналог. Слишком широкое обобщение вы сделали.

    > а что качество проверки хуже будет для ц чем для паскалеподобного языка
    > так это ясно

    Не столько качество хуже. Главное, что эти правила налагают неприемлемые и не сопоставимые с Адой ограничения. Запрет на использование динамической памяти - ну что тут скажешь...

    > как ясно что ада в итоге все равно сольет питону, поскольку квалифицированных
    > ада программеров не найти

    Яблоки апельсинам наверно тоже сольют, когда-нибудь. :)

    > кстати все эти статически проверенные проги все равно работают под осями написанными
    > на ц, так что какая разница

    Странные вопросы у вас. :) От себя могу сказать, что разница большая. :)

     
     
  • 7.30, anonymous vulgaris (?), 23:08, 19/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    > Что-то есть, но за пределами стандартов, стандартных инструментариев (особенно свободных)  

    вообще странно представить себе разработку софта для самолета или тачки на свободном софте. а стандартный инструментарий для этого дела к нему близко не лежит и конечно всем чем надо оснащен.

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


    > Не столько качество хуже. Главное, что эти правила налагают неприемлемые и не
    > сопоставимые с Адой ограничения. Запрет на использование динамической памяти - ну
    > что тут скажешь...

    Часть запретов рекомендательные. Но в аде в таких же применениях будет то же самое. И чем больше правил не нарушите тем легче будет сертифицировать.

    а динамическая память в серьезном встраиваемом приложении понятно и так не нужна. стандарт писали понимающие люди

    >> кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разница
    > Странные вопросы у вас. :) От себя могу сказать, что разница большая.
    > :)

    где тут вопрос? повторю еще раз - надежность системы определяется ее самым слабым звеном. отсюда малая конечная эффективность от применения самых лучших средств но только в одном месте

     
     
  • 8.31, коксюзер (?), 23:58, 19/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    А мне вот не странно GNAT Pro это по сути вариации GNAT GPL, с некоторыми допол... большой текст свёрнут, показать
     
  • 6.32, vasily_pupkin (ok), 10:43, 20/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    >> кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разница

    С чего ты взял? :)

    Ada + Generic OS ~= EAL2

    А вообще с соответствующими RTOS и железом можно доехать до EAL5

     
  • 2.18, anonymous vulgaris (?), 01:59, 18/06/2011 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Чем Ада лучше чем Си, С++, FreePascal? В чём заключается разница между Ада и этими языками? Какие преимущества?

    В том что на сертифицированной аде можно писать софт для управления аэробусом набитым пассажирами

    Thales Aerospace Division Selects GNAT Pro for Airbus A350 XWB (Xtra Wide-Body)

    Safety-critical systems to be implemented in Ada 2005

    SAN DIEGO, NEW YORK and PARIS, June 1, 2009 – Avionics USA – AdaCore, a leading supplier of Ada development tools and support services, today announced that international electronics and systems group Thales has chosen the GNAT Pro technology, including several safety-qualified tools, to develop critical systems for the new Airbus A350 XWB (Xtra Wide-Body) family.

    не, ну на гнутом ц тоже можно попробовать полетать конечно, только не пролететь бы

     
     
  • 3.34, cobold (ok), 13:24, 20/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    > на гнутом ц тоже можно попробовать полетать конечно, только не пролететь бы

    скорее всего gcc безопаснее, потому что не допустят к сертификации :) Кто не летает, тот и не рискует.

     

  • 1.14, Аноним (-), 18:25, 17/06/2011 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    В двух словах трудно описать. Ада - прекрасный язык.
    Если постараться в кратце объяснить, то программы на Аде представлены в максимально ясной, однозначной форме, на высоком уровне (без ереси вроде поинтеров и адресов), и в то же время они не жертвуют производительностью + компилятор котролирует многие вещи. Ада по-возможности не дает писать плохой код.
     
     
  • 2.16, umbr (ok), 22:42, 17/06/2011 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >Ада по-возможности не дает писать плохой код.

    Об этом можно поподробнее? Все компиляторы и среды разработки, которые я видел, ПОЗВОЛЯЮТ писать хороший код, но НЕ МЕШАЮТ писать плохой =)

     
     
  • 3.23, grafsoft (ok), 22:09, 18/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    плохо смотрел или мало видел
     
  • 3.28, anonymous vulgaris (?), 00:56, 19/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    > Об этом можно поподробнее? Все компиляторы и среды разработки, которые я видел,  ПОЗВОЛЯЮТ писать хороший код, но НЕ МЕШАЮТ писать плохой =)

    на самом деле речь не столько о хорошем, сколько не подверженным дурацким ошибкам и опечаткам (типа как в ц) и легко проверяемом (в том числе и компилятором, а не как в ц где любой набор символов компилируется)

    а хороший-плохой это какие-то гуманитарные категории


     
     
  • 4.39, anonymous (??), 03:33, 21/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    > где любой набор символов компилируется

    это perl.

     

  • 1.21, Ян Злобин (ok), 12:55, 18/06/2011 [ответить] [﹢﹢﹢] [ · · · ]  
  • +3 +/
    Нормальный такой язык.  Я его увесистым томиком "Язык Ада" пугаю разного рода религиозных секстантов, то ходят по домам - реакцию видно в их глазах.
     
  • 1.36, СуперАноним (?), 20:44, 20/06/2011 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    И как у него с Qt биндингами?
     
     
  • 2.37, Alexander (??), 22:03, 20/06/2011 [^] [^^] [^^^] [ответить]  
  • +/
    Легко и непренужденно.
    взгляните на qtada.com.
    Разработана нашими соотечественниками.
     

  • 1.40, Master_ATG (?), 18:59, 11/06/2012 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Все обыскал
    Но не могу найте способа интегрирувать это чудо в visual studio 2010

    Ставится она превосходно не как mingw но работать из под нее не ловко

    Спасибо заранее

    Если поможете покажу рабочий интересный код сетевого драйвера разработанного нами!!!!

     
     
  • 2.41, dimss (?), 00:42, 13/06/2012 [^] [^^] [^^^] [ответить]  
  • +/
    > Если поможете покажу рабочий интересный код сетевого драйвера разработанного нами!!!!

    Помочь вам вряд ли сумею, но на драйвер глянуть архиинтересно!

     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Спонсоры:
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2021 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру