Цитата:
Илья Ермаков писал(а):
Промышленные ОС жесткого реального времени, применяемые в европейской промышленности, робототехнике и т.п. - XOberon, XO/2, JBed
Вы извините, но я что-то о таких ничего не слышал. Следовательно, они не являются "флагманами индустрии". Наиболее известные ОС РВ - QNX, VxVorks, RTOS, Lynx.
На одной из X-осов федеральная система управления дор. движением Швейцарии.
JBed - это Esmertec.com, очень популярная Java-платформа для сотовых телефонов, была написана на КП, Блекбокс использовался как среда кросс-разработки.
И ONBASS - консорциум европейской гражданской авиации - с проектами с ETH, не забывайте...
Сводка этих проектов - в
http://wiki.oberoncore.ru/, в "Применениях". Если по тем пунктам, которые связаны с авиацией-космосом, Вы внесёте уточнения со знанием дела, то будет хорошо.
Цитата:
Илья Ермаков писал(а):
Я думаю, больше примеров не надо, картина ясна. Основная особенность области критичных встроенных систем - там сбой в ПО невозможно помыслить. Это полностью ставит крест на С и его производных
Ничего подобного. Может быть, Ваши слова приобретут актуальность в каком-то будущем, но сейчас на практике Си используется при программировании встроенных приложений реального времени значительно шире, нежели 'Паскаль и его производные'.
И вообще - на самом деле в этой области до сих пор не потерял актуальность старый добрый ассемблер (!).
Я знаю, что всё там есть... Этот текст писался для учительского форума.
Дело-то вот в чём: на чём надо будет - на том и напишут, но ведь в таких областях совершенно иная дисциплина, совершенно иной подход к разработке и ответственность, которые и не снились массовому программисту. Я сомневаюсь, что спецы из тех областей будут спорить на темы Pascal with C. А тут, "в миру", такие споры сводятся к одному - даёшь свободу и безответственность, "дисциплина масдай", убогое "хацкерское творчество форева".
Я думаю, что если специалисты из особых отраслей будут почаще возвышать свой голос за обучение грамотному, дисциплинированному программированию, то от этого будет только лучше. А для обучения, очевидно, нужно нечто с отличным дизайном и создающее хороший "корсет". Вот и Оберон.
Кстати, вот вчера собирался написать, но как-то не собрался - Вы дали повод.
Нечасто встречаются конкретные цифры для размышлений. Книга Солтиса "IBM AS/400". Кто не знает - там у них с 80-го года вся верхняя часть на промежуточном представлении с динамической кодогенерацией. Под промежуточным представлением - System Licensed Internal Code, ядро, то бишь. В конце 80-х под новый Power PC этот SLIC надо было переписывать. Рассматривалась как вариант Модула-2. Но победила идея о том, что нужно применить ООП, т.е. С++.
Итого: нанято 200 разработчиков + часть уже была. Где-то больше 2 лет разработки. 3 млн. строк кода. Как и требовалось, высокой надёжности. Теперь считаем: < 15 тыс. строк в год на человека. По-моему, маловато...
Впечатления от ведущих разработчиков: "Программирование на С++ - это как резать кусок мыла обоюдострой бритвой. Можно делать очень точные разрезы, но вся рука будет в крови".
Т.е. говоря о том, что можно писать надёжный софт на чём угодно, нужно и о цене не забывать. Конечно, такому монстру, как IBM, содержать огромную группу для одного проекта по карману. (Правда, трудно представить, как решать проблемы управления такой оравой...)