forum.opennet.ru - "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." (38)

форумы

помощь

поиск

регистрация

майллист

вход/выход

слежка

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

Форум Разговоры, обсуждение новостей
Вариант для распечатки		Пред. тема \| След. тема
Изначальное сообщение		[ Отслеживать ]

"Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
Сообщение от opennews (ok) on 17-Июн-11, 14:41
После трех лет разработки представлен (http://libre.adacore.com/libre/tools/gnat-gpl-edition/) релиз GNAT GPL 2011 (http://libre.adacore.com/libre/), набора средств разработки на языке Ада-2005 (http://ru.wikipedia.org/wiki/%D0%90%D0%B...). В состав пакета входит компилятор, интегрированная среда разработчика GNAT Programming Studio (http://libre.adacore.com/libre/tools/gps/) (GPS), система профилирования кода, набор unit-тестов, отладчик и набор библиотек. Дополнительно поставляется плагин для интеграции GNAT с платформой Eclipse. <center><a href="http://www2.adacore.com/wp-content/uploads/2009/05/main-gps.... src="http://www.opennet.me/opennews/pics_base/30909_1308306550.jp... style="border-style: solid; border-color: #e9ead6; border-width: 15px;" title="" border=0></a></center> Основные новшества: - Обеспечена начальная поддержка стан... URL: http://libre.adacore.com/libre/tools/gnat-gpl-edition/ Новость: http://www.opennet.me/opennews/art.shtml?num=30909
Ответить \| Правка \| Cообщить модератору

Оглавление

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., Аноним, 14:43 , 17-Июн-11, (2)
Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., Василий2, 14:55 , 17-Июн-11, (4) –4

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., йопт, 15:05 , 17-Июн-11, (6)
Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., Аноним, 16:05 , 17-Июн-11, (8) +1
Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., Петр, 17:00 , 18-Июн-11, (22) +3

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., fr0ster, 12:07 , 20-Июн-11, (33)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., cobold, 20:26 , 20-Июн-11, (35)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., Vitaliy, 15:21 , 17-Июн-11, (7)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., fr0ster, 17:02 , 17-Июн-11, (10)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., Аноним, 16:47 , 17-Июн-11, (9)
Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., q, 17:24 , 17-Июн-11, (11)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., ander, 18:20 , 17-Июн-11, (12)
Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., ImPressed, 18:20 , 17-Июн-11, (13)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., aninymous vulgaris, 23:21 , 18-Июн-11, (25)

Вышел GNAT GPL 2011 - набор средств разработки на языке..., anonymous, 03:27 , 21-Июн-11, (38)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., Ytch, 21:01 , 17-Июн-11, (15)
Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., Дима, 23:00 , 17-Июн-11, (17)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., anonymous vulgaris, 02:26 , 18-Июн-11, (19)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., коксюзер, 06:03 , 18-Июн-11, (20)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., aninymous vulgaris, 23:15 , 18-Июн-11, (24)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., grafsoft, 00:05 , 19-Июн-11, (26)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., anonymous vulgaris, 00:53 , 19-Июн-11, (27)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., коксюзер, 02:10 , 19-Июн-11, (29)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., anonymous vulgaris, 23:08 , 19-Июн-11, (30)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., коксюзер, 23:58 , 19-Июн-11, (31)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., vasily_pupkin, 10:43 , 20-Июн-11, (32)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., anonymous vulgaris, 01:59 , 18-Июн-11, (18) +1

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., cobold, 13:24 , 20-Июн-11, (34)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., Аноним, 18:25 , 17-Июн-11, (14)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., umbr, 22:42 , 17-Июн-11, (16) +1

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., grafsoft, 22:09 , 18-Июн-11, (23)
Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., anonymous vulgaris, 00:56 , 19-Июн-11, (28)

Вышел GNAT GPL 2011 - набор средств разработки на языке..., anonymous, 03:33 , 21-Июн-11, (39)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., Ян Злобин, 12:55 , 18-Июн-11, (21) +3
Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., СуперАноним, 20:44 , 20-Июн-11, (36)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., Alexander, 22:03 , 20-Июн-11, (37)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., Master_ATG, 18:59 , 11-Июн-12, (40)

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., dimss, 00:42 , 13-Июн-12, (41)

Сообщения по теме [Сортировка по времени | RSS]

2. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от Аноним (??) on 17-Июн-11, 14:43

я знал, она возродится! =)

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

4. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." –4 +/–

Сообщение от Василий2 (ok) on 17-Июн-11, 14:55

Прошу, конечно, прощения. Но слова типа Ада напоминают мне слова типа Кобол, Фортран, ПЛ/1, даже Форт и т.д. Этот весь сонм что - ЖИВЕЕ ВСЕХ ЖИВЫХ?!!! :-)))
Напомню старый, возникший на рубеже тысячелетий, анекдот о языке Кобол:
Дело идёт к 2000 году, кругом назревает заранее известная всеми своей
раздутостью и несущественностью проблема 2000...
Один программист-коболист тусуется - фиксит кругом проблему-2000 всюду, где используется язык COBOL.
В общем надоело ему это всё, изобрёл/написал он какую-то супер-прогу для перевода
себя в анабиоз, думает - после Нового (2000) года проснусь, уже всё спокойно.
Просыпается - кругом радостные люди кричат типа "Ура! Он проснулся!!!"
Программист-коболист думает - чё за дела, чё за радость-то такая кругом.
Через некоторое время появляется в небе
какое-то  гигантское изображение лица, похожего на Б. Гейтса и это лицо
начинает диалог с проснувшимся программистом:
- В обшщем, говорит, Прошло порядка 9000 лет, всё нормально, ту проблему
(проблему-2000) мы успешно решили, но в Вашей мега-программе (по анабиозу и пробуждению) прошёл сбой, Вы не проснулись вовремя, но мы
поддерживали ваше состояние в норме, и т.д...
- А что же вы меня только сейчас разбудили!!!!!
- Дык, эээ, ммм, в общем подходит 10000-й год, у нас назревает очередная
проблема (проблема-10000), у нас много программ на Коболе, сейчас на нём уже
никто не программирует, а в Вашем досье написано, что Вы программист-коболист...

Вот я по этому поводу и повторю заданный в начале сообщения вопрос - оно это вот всё - ЖИВЕЕ ВСЕХ ЖИВЫХ?!!! :-)))

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

6. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от йопт (??) on 17-Июн-11, 15:05

если вкратце, то да

Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

8. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +1 +/–

Сообщение от Аноним (??) on 17-Июн-11, 16:05

Вам бы только хоронить.

Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

22. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +3 +/–

Сообщение от Петр (??) on 18-Июн-11, 17:00

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

Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

33. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от fr0ster (??) on 20-Июн-11, 12:07

как бы между прочим, Фортран используется много где лишь потому,что накоплена большая кодовая база, переписывать которую сейчас некому и незачем. Работает и не трогай.
То есть те же яйца, что и у Кобола, только в профиль. По удобству программирования и надежности ничем не лучше чистого С с либами. Насчет лаконичности и простоты, то большая часть традиций "суперкода" пошла именно от фортрана, от первых реализаций, это и однобуквенные переменные и прочие прелести типа кучи переменных I, N, J, Y даже там, где никаких ограничений давно уже нет.
Ну а Ада... для сложных ли проектов или нет, не скажу, скажу только что без правильной организации проекта плюсы Ады не "выстрелят". Дорогой в использовании язык :)

Ответить | Правка | ^ к родителю #22 | Наверх | Cообщить модератору

35. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от cobold (ok) on 20-Июн-11, 20:26

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

Ответить | Правка | ^ к родителю #33 | Наверх | Cообщить модератору

7. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от Vitaliy (??) on 17-Июн-11, 15:21

> После трех лет разработки представлен релиз GNAT GPL 2011
В прошлом году был релиз GNAT GPL 2010.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

10. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от fr0ster (??) on 17-Июн-11, 17:02

Его, видимо, разрабатывали с 2007.

Ответить | Правка | ^ к родителю #7 | Наверх | Cообщить модератору

9. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от Аноним (??) on 17-Июн-11, 16:47

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

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

11. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от q (??) on 17-Июн-11, 17:24

Чем Ада лучше чем Си, С++, FreePascal? В чём заключается разница между Ада и этими языками? Какие преимущества?

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

12. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от ander (??) on 17-Июн-11, 18:20

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).

Ответить | Правка | ^ к родителю #11 | Наверх | Cообщить модератору

13. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от ImPressed (ok) on 17-Июн-11, 18:20

FreePascal с Ada даже рядом не валялся.
Хорошо тем что имеет встроенные в язык  средства многопоточности, изначально проектировалось как Объектно-Ориентированный язык для америкосовских вояк, если мне память не изменяет. Синтаксис для меня, как C-фана необычен, но осваивается достаточно легко и быстро.

Ответить | Правка | ^ к родителю #11 | Наверх | Cообщить модератору

25. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от aninymous vulgaris on 18-Июн-11, 23:21

> FreePascal с Ada даже рядом не валялся.
это верно, как можно сравнивать распространенный язык с нераспространенным и нишевым

> Хорошо тем что имеет встроенные в язык  средства многопоточности,
http://wiki.lazarus.freepascal.org/Multithreaded_Application...

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

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

Ответить | Правка | ^ к родителю #13 | Наверх | Cообщить модератору

38. "Вышел GNAT GPL 2011 - набор средств разработки на языке..." +/–

Сообщение от anonymous (??) on 21-Июн-11, 03:27

>> Хорошо тем что имеет встроенные в язык  средства многопоточности,
> http://wiki.lazarus.freepascal.org/Multithreaded_Application...
умение вызвать createthread или подобное, даже через обёртку, никак не является «встроеным в язык средством многопоточности». чтобы увидеть, что такое «встроеное» — можешь, например, глянуть на Active Oberon.

Ответить | Правка | ^ к родителю #25 | Наверх | Cообщить модератору

15. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от Ytch on 17-Июн-11, 21:01

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

Ответить | Правка | ^ к родителю #11 | Наверх | Cообщить модератору

17. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от Дима (??) on 17-Июн-11, 23:00

В языке Ada заложено много всего для написания надежных, безопасных программ. Сложная, подробная система типов. Кроме этого, интересный подход к многозадачности. ООП к нему прикрутили позже, и оно отличается от C++, например, отсутствием классов как таковых. Дженерики работают иначе, чем темплейты C++. Однозначно стоит того, чтобы ознакомиться, даже если не будете на нем писать. Все же это ни разу не COBOL.

Ответить | Правка | ^ к родителю #11 | Наверх | Cообщить модератору

19. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от anonymous vulgaris on 18-Июн-11, 02:26

> В языке 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/

Ответить | Правка | ^ к родителю #17 | Наверх | Cообщить модератору

20. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от коксюзер on 18-Июн-11, 06:03

> такие правила кстати и для ц есть
Даже близких аналогов нет, поскольку нет необходимых языковых и даже инструментальных средств. Профили в 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
Комментарии излишни.

Ответить | Правка | ^ к родителю #19 | Наверх | Cообщить модератору

24. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от aninymous vulgaris on 18-Июн-11, 23:15

>> такие правила кстати и для ц есть
> Даже близких аналогов нет, поскольку нет необходимых языковых и даже инструментальных средств.
странный вы человек - эта ссылка как раз о том что мисра в иаровском компиляторе есть
>> 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.
а что качество проверки хуже будет для ц чем для паскалеподобного языка так это ясно
как ясно что ада в итоге все равно сольет питону, поскольку квалифицированных ада программеров не найти
кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разница

Ответить | Правка | ^ к родителю #20 | Наверх | Cообщить модератору

26. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от grafsoft (ok) on 19-Июн-11, 00:05

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

Ответить | Правка | ^ к родителю #24 | Наверх | Cообщить модератору

27. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от anonymous vulgaris on 19-Июн-11, 00:53

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

Ответить | Правка | ^ к родителю #26 | Наверх | Cообщить модератору

29. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от коксюзер on 19-Июн-11, 02:10

>>> такие правила кстати и для ц есть
>> Даже близких аналогов нет, поскольку нет необходимых языковых и даже инструментальных средств.
> странный вы человек - эта ссылка как раз о том что мисра
> в иаровском компиляторе есть
Что-то есть, но за пределами стандартов, стандартных инструментариев (особенно свободных) и большинства областей применения. Это не "такие правила", не аналог. Слишком широкое обобщение вы сделали.
> а что качество проверки хуже будет для ц чем для паскалеподобного языка
> так это ясно
Не столько качество хуже. Главное, что эти правила налагают неприемлемые и не сопоставимые с Адой ограничения. Запрет на использование динамической памяти - ну что тут скажешь...
> как ясно что ада в итоге все равно сольет питону, поскольку квалифицированных
> ада программеров не найти
Яблоки апельсинам наверно тоже сольют, когда-нибудь. :)
> кстати все эти статически проверенные проги все равно работают под осями написанными
> на ц, так что какая разница
Странные вопросы у вас. :) От себя могу сказать, что разница большая. :)

Ответить | Правка | ^ к родителю #24 | Наверх | Cообщить модератору

30. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от anonymous vulgaris on 19-Июн-11, 23:08

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

> Не столько качество хуже. Главное, что эти правила налагают неприемлемые и не
> сопоставимые с Адой ограничения. Запрет на использование динамической памяти - ну
> что тут скажешь...
Часть запретов рекомендательные. Но в аде в таких же применениях будет то же самое. И чем больше правил не нарушите тем легче будет сертифицировать.
а динамическая память в серьезном встраиваемом приложении понятно и так не нужна. стандарт писали понимающие люди
>> кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разница
> Странные вопросы у вас. :) От себя могу сказать, что разница большая.
> :)
где тут вопрос? повторю еще раз - надежность системы определяется ее самым слабым звеном. отсюда малая конечная эффективность от применения самых лучших средств но только в одном месте

Ответить | Правка | ^ к родителю #29 | Наверх | Cообщить модератору

31. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от коксюзер on 19-Июн-11, 23:58

> вообще странно представить себе разработку софта для самолета или тачки на свободном
> софте. а стандартный инструментарий для этого дела к нему близко не
> лежит и конечно всем чем надо оснащен.
А мне вот не странно. GNAT Pro это по сути вариации GNAT GPL, с некоторыми дополнительными библиотеками и сертифицированные на соответствие различным промышленным и государственным стандартам. Со SPARK ситуация аналогичная. То есть существенная разница по сути только в сертификации, за счёт которой AdaCore коммерциализирует GNAT.
Во-вторых, профили (не только Ravenscar) для Ады можно варьировать и применять для решения любых задач, а не только для написания ПО под куцый (без динамической памяти и т.п.) embedded. Можно даже вовсе не использовать профили, и при этом типобезопасность останется при Аде, в отличие от Си, где для удостоверения таких простых свойств программы нужно применять инструменты формального моделирования и доказательства.
> а ссылка то как раз на свободный линт. или вы его не
> пользуете? тогда к чему разговоры об автопроверках? ну а линт за
> деньги понятно получше бесплатного
Да, PC-Lint я не использую, и как-то гугл не согласен с вами на тему его свободности. Бесплатный, возможно - я не вникал. Но не свободный.
>> сопоставимые с Адой ограничения. Запрет на использование динамической памяти - ну
>> что тут скажешь...
> Часть запретов рекомендательные. Но в аде в таких же применениях будет то
Данный конкретный запрет обязателен.
> же самое. И чем больше правил не нарушите тем легче будет
> сертифицировать.
Откуда вы взяли, что то же самое? Где в Ravenscar или SPARK запрет на использование динамической памяти? Если вы знаете такой профиль, назовите его.
> а динамическая память в серьезном встраиваемом приложении понятно и так не нужна.
> стандарт писали понимающие люди
Несусветные глупости говорите. Запрет для Си придумали потому, что ручное управление памятью там чревато ошибками, которых в Аде не бывает (кроме явных случаев unchecked) даже без профилей и правил. Что во встраиваемых системах, что в любых других.
> где тут вопрос? повторю еще раз - надежность системы определяется ее самым
> слабым звеном. отсюда малая конечная эффективность от применения самых лучших средств
> но только в одном месте
Ах, это не вопрос был! Мда. Знаете, мне лень вам что-либо объяснять, потому как по вашей расстановке акцентов видно, что суть и детали вас не волнуют. Я лучше задам вам вопрос: как ваше (доведённое до абсурда) утверждение о слабых звеньях согласуется с такой общепринятой в сфере ИБ парадигмой, как многоуровневая безопасность?

Ответить | Правка | ^ к родителю #30 | Наверх | Cообщить модератору

32. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от vasily_pupkin (ok) on 20-Июн-11, 10:43

>> кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разница
С чего ты взял? :)
Ada + Generic OS ~= EAL2
А вообще с соответствующими RTOS и железом можно доехать до EAL5

Ответить | Правка | ^ к родителю #24 | Наверх | Cообщить модератору

18. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +1 +/–

Сообщение от anonymous vulgaris on 18-Июн-11, 01:59

> Чем Ада лучше чем Си, С++, 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.
не, ну на гнутом ц тоже можно попробовать полетать конечно, только не пролететь бы

Ответить | Правка | ^ к родителю #11 | Наверх | Cообщить модератору

34. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от cobold (ok) on 20-Июн-11, 13:24

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

Ответить | Правка | ^ к родителю #18 | Наверх | Cообщить модератору

14. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от Аноним (??) on 17-Июн-11, 18:25

В двух словах трудно описать. Ада - прекрасный язык.
Если постараться в кратце объяснить, то программы на Аде представлены в максимально ясной, однозначной форме, на высоком уровне (без ереси вроде поинтеров и адресов), и в то же время они не жертвуют производительностью + компилятор котролирует многие вещи. Ада по-возможности не дает писать плохой код.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

16. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +1 +/–

Сообщение от umbr (ok) on 17-Июн-11, 22:42

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

Ответить | Правка | ^ к родителю #14 | Наверх | Cообщить модератору

23. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от grafsoft (ok) on 18-Июн-11, 22:09

плохо смотрел или мало видел

Ответить | Правка | ^ к родителю #16 | Наверх | Cообщить модератору

28. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от anonymous vulgaris on 19-Июн-11, 00:56

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

Ответить | Правка | ^ к родителю #16 | Наверх | Cообщить модератору

39. "Вышел GNAT GPL 2011 - набор средств разработки на языке..." +/–

Сообщение от anonymous (??) on 21-Июн-11, 03:33

> где любой набор символов компилируется
это perl.

Ответить | Правка | ^ к родителю #28 | Наверх | Cообщить модератору

21. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +3 +/–

Сообщение от Ян Злобин (ok) on 18-Июн-11, 12:55

Нормальный такой язык.  Я его увесистым томиком "Язык Ада" пугаю разного рода религиозных секстантов, то ходят по домам - реакцию видно в их глазах.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

36. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от СуперАноним on 20-Июн-11, 20:44

И как у него с Qt биндингами?

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

37. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от Alexander (??) on 20-Июн-11, 22:03

Легко и непренужденно.
взгляните на qtada.com.
Разработана нашими соотечественниками.

Ответить | Правка | ^ к родителю #36 | Наверх | Cообщить модератору

40. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от Master_ATG on 11-Июн-12, 18:59

Все обыскал
Но не могу найте способа интегрирувать это чудо в visual studio 2010
Ставится она превосходно не как mingw но работать из под нее не ловко
Спасибо заранее
Если поможете покажу рабочий интересный код сетевого драйвера разработанного нами!!!!

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

41. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." +/–

Сообщение от dimss on 13-Июн-12, 00:42

> Если поможете покажу рабочий интересный код сетевого драйвера разработанного нами!!!!
Помочь вам вряд ли сумею, но на драйвер глянуть архиинтересно!

Ответить | Правка | ^ к родителю #40 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру

2. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
Сообщение от Аноним (??) on 17-Июн-11, 14:43
я знал, она возродится! =)
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору

4. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	–4 +/–
Сообщение от Василий2 (ok) on 17-Июн-11, 14:55
Прошу, конечно, прощения. Но слова типа Ада напоминают мне слова типа Кобол, Фортран, ПЛ/1, даже Форт и т.д. Этот весь сонм что - ЖИВЕЕ ВСЕХ ЖИВЫХ?!!! :-))) Напомню старый, возникший на рубеже тысячелетий, анекдот о языке Кобол: Дело идёт к 2000 году, кругом назревает заранее известная всеми своей раздутостью и несущественностью проблема 2000... Один программист-коболист тусуется - фиксит кругом проблему-2000 всюду, где используется язык COBOL. В общем надоело ему это всё, изобрёл/написал он какую-то супер-прогу для перевода себя в анабиоз, думает - после Нового (2000) года проснусь, уже всё спокойно. Просыпается - кругом радостные люди кричат типа "Ура! Он проснулся!!!" Программист-коболист думает - чё за дела, чё за радость-то такая кругом. Через некоторое время появляется в небе какое-то гигантское изображение лица, похожего на Б. Гейтса и это лицо начинает диалог с проснувшимся программистом: - В обшщем, говорит, Прошло порядка 9000 лет, всё нормально, ту проблему (проблему-2000) мы успешно решили, но в Вашей мега-программе (по анабиозу и пробуждению) прошёл сбой, Вы не проснулись вовремя, но мы поддерживали ваше состояние в норме, и т.д... - А что же вы меня только сейчас разбудили!!!!! - Дык, эээ, ммм, в общем подходит 10000-й год, у нас назревает очередная проблема (проблема-10000), у нас много программ на Коболе, сейчас на нём уже никто не программирует, а в Вашем досье написано, что Вы программист-коболист... Вот я по этому поводу и повторю заданный в начале сообщения вопрос - оно это вот всё - ЖИВЕЕ ВСЕХ ЖИВЫХ?!!! :-)))
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	6. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от йопт (??) on 17-Июн-11, 15:05
	если вкратце, то да
	Ответить \| Правка \| ^ к родителю #4 \| Наверх \| Cообщить модератору


	8. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+1 +/–
	Сообщение от Аноним (??) on 17-Июн-11, 16:05
	Вам бы только хоронить.
	Ответить \| Правка \| ^ к родителю #4 \| Наверх \| Cообщить модератору


	22. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+3 +/–
	Сообщение от Петр (??) on 18-Июн-11, 17:00
	PL/1 скончался, а все остальное - живо и здорово, так как лучших инструментов для решения соответствующих задач никому придумать так и не удалось. Ада - блестящий язык для сложных проектов с высокой ценой ошибки, никакие C++ и т.п. и рядом не валялись. Фортран великолепен для матмоделирования, код получается простым, лакончиным и читаемым, а сравнимая производительность достигается только на чистом C и только ценой колоссальных усилий. Форт для встраиваемых систем с малым объемом ресурсов намного эффективнее чего-либо другого. Ну а причины жизнеспособности Кобола Вы сами описали. :)
	Ответить \| Правка \| ^ к родителю #4 \| Наверх \| Cообщить модератору


	33. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от fr0ster (??) on 20-Июн-11, 12:07
	как бы между прочим, Фортран используется много где лишь потому,что накоплена большая кодовая база, переписывать которую сейчас некому и незачем. Работает и не трогай. То есть те же яйца, что и у Кобола, только в профиль. По удобству программирования и надежности ничем не лучше чистого С с либами. Насчет лаконичности и простоты, то большая часть традиций "суперкода" пошла именно от фортрана, от первых реализаций, это и однобуквенные переменные и прочие прелести типа кучи переменных I, N, J, Y даже там, где никаких ограничений давно уже нет. Ну а Ада... для сложных ли проектов или нет, не скажу, скажу только что без правильной организации проекта плюсы Ады не "выстрелят". Дорогой в использовании язык :)
	Ответить \| Правка \| ^ к родителю #22 \| Наверх \| Cообщить модератору


	35. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от cobold (ok) on 20-Июн-11, 20:26
	ага, это значит от того знакомые физики на каждый новый стандарт фортрана чуть не молятся, чтобы старый код запускать? Пушут сейчас на фортране, ещё как пишут, и всеми современными вкусностями пользуются - и модули у них сейчас есть, и ООП, и распараллеливание. Просто математики его в своё время создавали в первую очередь для понимания людьми, а потом уже компиляторы научились делать. На Коболе сейчас в чистом виде действительно мало пишут, хотя тоже развивается помаленьку. Пишут зато на SQL , который из него произошел собственно.
	Ответить \| Правка \| ^ к родителю #33 \| Наверх \| Cообщить модератору

7. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
Сообщение от Vitaliy (??) on 17-Июн-11, 15:21
> После трех лет разработки представлен релиз GNAT GPL 2011 В прошлом году был релиз GNAT GPL 2010.
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	10. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от fr0ster (??) on 17-Июн-11, 17:02
	Его, видимо, разрабатывали с 2007.
	Ответить \| Правка \| ^ к родителю #7 \| Наверх \| Cообщить модератору

9. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
Сообщение от Аноним (??) on 17-Июн-11, 16:47
а на нем на наших просторах кто-то что реальное пишет? интересно бы почитать о таких проектах. и понять есть ли смысл тратить время на аду. я ей немножко поигрался, понравилось:). Можно ли на ней программить и получать за это деньги у нас? поделитесь инфой:)
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору

11. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
Сообщение от q (??) on 17-Июн-11, 17:24
Чем Ада лучше чем Си, С++, FreePascal? В чём заключается разница между Ада и этими языками? Какие преимущества?
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	12. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от ander (??) on 17-Июн-11, 18:20
	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).
	Ответить \| Правка \| ^ к родителю #11 \| Наверх \| Cообщить модератору


	13. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от ImPressed (ok) on 17-Июн-11, 18:20
	FreePascal с Ada даже рядом не валялся. Хорошо тем что имеет встроенные в язык средства многопоточности, изначально проектировалось как Объектно-Ориентированный язык для америкосовских вояк, если мне память не изменяет. Синтаксис для меня, как C-фана необычен, но осваивается достаточно легко и быстро.
	Ответить \| Правка \| ^ к родителю #11 \| Наверх \| Cообщить модератору


	25. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от aninymous vulgaris on 18-Июн-11, 23:21
	> FreePascal с Ada даже рядом не валялся. это верно, как можно сравнивать распространенный язык с нераспространенным и нишевым > Хорошо тем что имеет встроенные в язык средства многопоточности, http://wiki.lazarus.freepascal.org/Multithreaded_Application... >изначально проектировалось как Объектно-Ориентированный язык для америкосовских вояк, если мне память не изменяет. object pascal изначально проектировалсz как Объектно-Ориентированный язык для америкосовских фирмачей > Синтаксис для меня, как C-фана необычен, но осваивается достаточно легко и быстро. Ну так паскалевский синтаксис понятно рулит
	Ответить \| Правка \| ^ к родителю #13 \| Наверх \| Cообщить модератору


	38. "Вышел GNAT GPL 2011 - набор средств разработки на языке..."	+/–
	Сообщение от anonymous (??) on 21-Июн-11, 03:27
	>> Хорошо тем что имеет встроенные в язык средства многопоточности, > http://wiki.lazarus.freepascal.org/Multithreaded_Application... умение вызвать createthread или подобное, даже через обёртку, никак не является «встроеным в язык средством многопоточности». чтобы увидеть, что такое «встроеное» — можешь, например, глянуть на Active Oberon.
	Ответить \| Правка \| ^ к родителю #25 \| Наверх \| Cообщить модератору


	15. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от Ytch on 17-Июн-11, 21:01
	> Чем Ада лучше чем Си, С++, FreePascal? > Какие преимущества? Вы правда думаете, что при сравнении зрелых языков программирования из разных "семейств" найдется хоть одно "абсолютное" (независящее от того где, как, кем и для чего применяется) преимущество одного над другим?
	Ответить \| Правка \| ^ к родителю #11 \| Наверх \| Cообщить модератору


	17. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от Дима (??) on 17-Июн-11, 23:00
	В языке Ada заложено много всего для написания надежных, безопасных программ. Сложная, подробная система типов. Кроме этого, интересный подход к многозадачности. ООП к нему прикрутили позже, и оно отличается от C++, например, отсутствием классов как таковых. Дженерики работают иначе, чем темплейты C++. Однозначно стоит того, чтобы ознакомиться, даже если не будете на нем писать. Все же это ни разу не COBOL.
	Ответить \| Правка \| ^ к родителю #11 \| Наверх \| Cообщить модератору


	19. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от anonymous vulgaris on 18-Июн-11, 02:26
	> В языке 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/
	Ответить \| Правка \| ^ к родителю #17 \| Наверх \| Cообщить модератору


	20. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от коксюзер on 18-Июн-11, 06:03
	> такие правила кстати и для ц есть Даже близких аналогов нет, поскольку нет необходимых языковых и даже инструментальных средств. Профили в 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 Комментарии излишни.
	Ответить \| Правка \| ^ к родителю #19 \| Наверх \| Cообщить модератору


	24. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от aninymous vulgaris on 18-Июн-11, 23:15
	>> такие правила кстати и для ц есть > Даже близких аналогов нет, поскольку нет необходимых языковых и даже инструментальных средств. странный вы человек - эта ссылка как раз о том что мисра в иаровском компиляторе есть >> 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. а что качество проверки хуже будет для ц чем для паскалеподобного языка так это ясно как ясно что ада в итоге все равно сольет питону, поскольку квалифицированных ада программеров не найти кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разница
	Ответить \| Правка \| ^ к родителю #20 \| Наверх \| Cообщить модератору


	26. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от grafsoft (ok) on 19-Июн-11, 00:05
	"кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разниц" А все это работает на процессорах архитектура которых не проще чем ось, и тоже подвержены багам, и что? Тут говорится об языке и его возможностях, что он дает к тому же на GNAT есть для Atmega256 например Если бы усилия перло-моно-питонщиков например направились бы на создание открытых компилятора/среды разработки/библиотек для ADA ..., а не неадекватных и тормознутых созданий инопланетного разума.
	Ответить \| Правка \| ^ к родителю #24 \| Наверх \| Cообщить модератору


	27. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от anonymous vulgaris on 19-Июн-11, 00:53
	> А все это работает на процессорах архитектура которых не проще чем ось, > и тоже подвержены багам, и что? Тут говорится об языке и его возможностях, что он дает о том и речь что хоть супер контроль одной малой части разработки мало чего дает в плане общей надежности системы, сделанной с основном на малонадежных языках. потому и все равно в общем то на чем писать. потому никто по возможности с малораспространенными языками и не парится, как бы хороши они сами по себе не были. > Если бы усилия перло-моно-питонщиков например направились бы на создание открытых компилятора/среды разработки/библиотек для ADA ..., а не неадекватных и тормознутых созданий инопланетного разума. да ладно мечтать то. реально то аду в критических системах заменит жаба
	Ответить \| Правка \| ^ к родителю #26 \| Наверх \| Cообщить модератору


	29. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от коксюзер on 19-Июн-11, 02:10
	>>> такие правила кстати и для ц есть >> Даже близких аналогов нет, поскольку нет необходимых языковых и даже инструментальных средств. > странный вы человек - эта ссылка как раз о том что мисра > в иаровском компиляторе есть Что-то есть, но за пределами стандартов, стандартных инструментариев (особенно свободных) и большинства областей применения. Это не "такие правила", не аналог. Слишком широкое обобщение вы сделали. > а что качество проверки хуже будет для ц чем для паскалеподобного языка > так это ясно Не столько качество хуже. Главное, что эти правила налагают неприемлемые и не сопоставимые с Адой ограничения. Запрет на использование динамической памяти - ну что тут скажешь... > как ясно что ада в итоге все равно сольет питону, поскольку квалифицированных > ада программеров не найти Яблоки апельсинам наверно тоже сольют, когда-нибудь. :) > кстати все эти статически проверенные проги все равно работают под осями написанными > на ц, так что какая разница Странные вопросы у вас. :) От себя могу сказать, что разница большая. :)
	Ответить \| Правка \| ^ к родителю #24 \| Наверх \| Cообщить модератору


	30. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от anonymous vulgaris on 19-Июн-11, 23:08
	> Что-то есть, но за пределами стандартов, стандартных инструментариев (особенно свободных) вообще странно представить себе разработку софта для самолета или тачки на свободном софте. а стандартный инструментарий для этого дела к нему близко не лежит и конечно всем чем надо оснащен. а ссылка то как раз на свободный линт. или вы его не пользуете? тогда к чему разговоры об автопроверках? ну а линт за деньги понятно получше бесплатного > Не столько качество хуже. Главное, что эти правила налагают неприемлемые и не > сопоставимые с Адой ограничения. Запрет на использование динамической памяти - ну > что тут скажешь... Часть запретов рекомендательные. Но в аде в таких же применениях будет то же самое. И чем больше правил не нарушите тем легче будет сертифицировать. а динамическая память в серьезном встраиваемом приложении понятно и так не нужна. стандарт писали понимающие люди >> кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разница > Странные вопросы у вас. :) От себя могу сказать, что разница большая. > :) где тут вопрос? повторю еще раз - надежность системы определяется ее самым слабым звеном. отсюда малая конечная эффективность от применения самых лучших средств но только в одном месте
	Ответить \| Правка \| ^ к родителю #29 \| Наверх \| Cообщить модератору


	31. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от коксюзер on 19-Июн-11, 23:58
	> вообще странно представить себе разработку софта для самолета или тачки на свободном > софте. а стандартный инструментарий для этого дела к нему близко не > лежит и конечно всем чем надо оснащен. А мне вот не странно. GNAT Pro это по сути вариации GNAT GPL, с некоторыми дополнительными библиотеками и сертифицированные на соответствие различным промышленным и государственным стандартам. Со SPARK ситуация аналогичная. То есть существенная разница по сути только в сертификации, за счёт которой AdaCore коммерциализирует GNAT. Во-вторых, профили (не только Ravenscar) для Ады можно варьировать и применять для решения любых задач, а не только для написания ПО под куцый (без динамической памяти и т.п.) embedded. Можно даже вовсе не использовать профили, и при этом типобезопасность останется при Аде, в отличие от Си, где для удостоверения таких простых свойств программы нужно применять инструменты формального моделирования и доказательства. > а ссылка то как раз на свободный линт. или вы его не > пользуете? тогда к чему разговоры об автопроверках? ну а линт за > деньги понятно получше бесплатного Да, PC-Lint я не использую, и как-то гугл не согласен с вами на тему его свободности. Бесплатный, возможно - я не вникал. Но не свободный. >> сопоставимые с Адой ограничения. Запрет на использование динамической памяти - ну >> что тут скажешь... > Часть запретов рекомендательные. Но в аде в таких же применениях будет то Данный конкретный запрет обязателен. > же самое. И чем больше правил не нарушите тем легче будет > сертифицировать. Откуда вы взяли, что то же самое? Где в Ravenscar или SPARK запрет на использование динамической памяти? Если вы знаете такой профиль, назовите его. > а динамическая память в серьезном встраиваемом приложении понятно и так не нужна. > стандарт писали понимающие люди Несусветные глупости говорите. Запрет для Си придумали потому, что ручное управление памятью там чревато ошибками, которых в Аде не бывает (кроме явных случаев unchecked) даже без профилей и правил. Что во встраиваемых системах, что в любых других. > где тут вопрос? повторю еще раз - надежность системы определяется ее самым > слабым звеном. отсюда малая конечная эффективность от применения самых лучших средств > но только в одном месте Ах, это не вопрос был! Мда. Знаете, мне лень вам что-либо объяснять, потому как по вашей расстановке акцентов видно, что суть и детали вас не волнуют. Я лучше задам вам вопрос: как ваше (доведённое до абсурда) утверждение о слабых звеньях согласуется с такой общепринятой в сфере ИБ парадигмой, как многоуровневая безопасность?
	Ответить \| Правка \| ^ к родителю #30 \| Наверх \| Cообщить модератору


	32. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от vasily_pupkin (ok) on 20-Июн-11, 10:43
	>> кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разница С чего ты взял? :) Ada + Generic OS ~= EAL2 А вообще с соответствующими RTOS и железом можно доехать до EAL5
	Ответить \| Правка \| ^ к родителю #24 \| Наверх \| Cообщить модератору


	18. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+1 +/–
	Сообщение от anonymous vulgaris on 18-Июн-11, 01:59
	> Чем Ада лучше чем Си, С++, 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. не, ну на гнутом ц тоже можно попробовать полетать конечно, только не пролететь бы
	Ответить \| Правка \| ^ к родителю #11 \| Наверх \| Cообщить модератору


	34. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от cobold (ok) on 20-Июн-11, 13:24
	> на гнутом ц тоже можно попробовать полетать конечно, только не пролететь бы скорее всего gcc безопаснее, потому что не допустят к сертификации :) Кто не летает, тот и не рискует.
	Ответить \| Правка \| ^ к родителю #18 \| Наверх \| Cообщить модератору

14. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
Сообщение от Аноним (??) on 17-Июн-11, 18:25
В двух словах трудно описать. Ада - прекрасный язык. Если постараться в кратце объяснить, то программы на Аде представлены в максимально ясной, однозначной форме, на высоком уровне (без ереси вроде поинтеров и адресов), и в то же время они не жертвуют производительностью + компилятор котролирует многие вещи. Ада по-возможности не дает писать плохой код.
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	16. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+1 +/–
	Сообщение от umbr (ok) on 17-Июн-11, 22:42
	>Ада по-возможности не дает писать плохой код. Об этом можно поподробнее? Все компиляторы и среды разработки, которые я видел, ПОЗВОЛЯЮТ писать хороший код, но НЕ МЕШАЮТ писать плохой =)
	Ответить \| Правка \| ^ к родителю #14 \| Наверх \| Cообщить модератору