вот как у них

[STAKANOV]

Поглядываю на ADA
Попалась интересная презентация
http://reznikmm.front.ru/files/01-intro-ru.ppt

Отстаем...

[Sniper]

Типа у них 100% всё библиотеки надёжны?
Надёжность программы же зависит и от оборудования, и от ОС и вообще от всего... и от погоды на улице! %)

[STAKANOV]

Эти ребята на аде написали систему котрая управляет воздушным движением в европе. Точно уже не скажу где. Правда оказалось, что в важных частях они выбрали VAX с како-то своей ОС и комерческую реализацию GNAT. Это была беседа о надежности Linux и GNAT. Кокда-то они мне пытались доказать что Linux можно доверять в таких вещах. А на деле оказалось... Хотя сама их система кроссплатформенная, в ней используются и Linux и Windows. А для самых важных частей всетаки дорогое оборудование и коммерческое ПО.

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

[STAKANOV]

Хотя вот еще камень в их огород. Надежность софта скомпилированного GNAT (если кто не знает - GNU компилятор ады, кроссплатформенный) целиком зависит от надежности GLIBC (в частности в Linux) или ее аналога. Фактически свого RTL уних нет, лишь обертка вокруг GLIBC.

А на этом VAX вроде как раз Unix... Возможно его LIBC понадежней.

[GrayEddy]

Еще несколько фактов.
Система управления метров Париже написана на ADA.
В России бортовая система управления самолетами-амфибиями БЭ - тожн на ADA.
В Канаде и Англии программы управления АЭС - на Аде и Модула-2.

FP по сравению в области надежности - просто детская погремушка (как и Delphi, и С++), да не в обиду сказано.

Вообще-то, может создаться предположение, что Ада - исключительно для серъезных (и больших) проектов и серъезных людей.
Это все к тому, что, к примеру, простейшую БД на Аде писать просто несеръезно

[Sergei I. Gorelkin]

Насколько я понимаю, язык тут особо ни при чем. Просто софт, работающий в подобных областях, должен отвечать определенным критериям. В частности, должен быть протестирован так, чтобы при тестировании были выполнены буквально все до одной ассемблерные команды - ну и естественно, выполнены с предсказуемыми последствиями. Разработать набор таких тестов - задача, наверное, посложнее, чем написать сам софт. Возможно, что для Ады просто такой test suite имеется в наличии, что и определяет выбор разработчиков...

[Sniper]

FP по сравению в области надежности - просто детская погремушка (как и Delphi, и С++), да не в обиду сказано.

FP не опирается на LIBC, а опирается на функции ЯДРА в Linux. ога?

[ev]

все зависит от того, на чем умеют программировать разработчики получившие заказ - и больше ни от чего

[SergKam]

Вот вот. Я как раз на авиацию работаю, так все пишут на чем попало и нигде в постанове задачи не оговорено. Поэтому зоопарк получается в одном аэропорту у нас и С и VС++ и Delphi и даже VB в пределах одной системы на одном компьютере.
Ваша жизнь над Украиной будет зависеть от программы написаной на VB использующей базу MS Access.(это наши конкуренты такое чудо сделали, на нем метеоприборы работат и националный банк метеоинформации)

[Sniper]

Ваша жизнь над Украиной будет зависеть от программы написаной на VB использующей базу MS Access.

Всё... через Украину не летаю ))

[Stargazer]

Вот презентация системы BlackBox (Компонентный Паскаль) и системы мониторинга гидроэлектростанции, написанной на этом самом BB.
http://blackbox.metasystems.ru/download/bb_present.pdf

[STAKANOV]

Адавцы перевели продолжение:
http://reznikmm.front.ru/files/02-languages-ru.ppt

На этот раз о языках программирования. В основном Ада и Си. Любимый, кстати, упомянут как язык предшествующий Ада.

[noch]

а в чем принципиальное отличие Ады (не реализаций компилятора) от обьекнтого (или Дельфи) Паскаля ?

Я не очень знаком с Ада, но насколько понимаю все слишком похоже


А что там указатели более безопасные? Классы не так реализованы?

В чем разница?

[STAKANOV]

Там менталитет другой. Целое число для ада-программиста это значение из диапозона, а для меня это значение размером сколько то бит. Основное отличие - программист вообще не думает об аппартной платформе, а думает только о задаче. Совершенно другой образ мышления, мне не понятный. Сами консрукции языка это доработанный паскаль. Они то как раз мне показались удобными.

Т.е. паскаль програмист выбирает тип Integer, Longint или Word в зависимоти от ситуации, а ада-программист просто пишет : X: integer range 0..100000

[STAKANOV]

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