семинар PikeOS - операционная система для встраиваемых систем Опции

[ЮВГ]

Уважаемые Господа!

Компания SYSGO (Германия) приглашает принять участие в семинаре
«PikeOS - операционная система/гипервизор для встраиваемых систем,
критически-важных для безопасности (safety) и защищенности (security)»
Пригласительное письмо с программой прилагается.

ОС/гипервизор PikeOS предназначена для применения в ответственных встраиваемых
компьютерных системах, программное обеспечение которых подлежит сертификации
по стандартам безопасности
DO-178B/C (авионика),
IEC 61508 (промышленное оборудование),
EN 50128 (железнодорожные системы),
ISO 26262 (автоэлектроника),
IEC 62304 (медицинское оборудование) и
информационной защищенности ISO/IEC 15408 Common Criteria.

Прикрепленные файлы

 PikeOS_Seminar_Invitation_Letter.pdf ( 371.42 килобайт ) Кол-во скачиваний: 68

 

[oldparrot]

А кофе будет?

[ЮВГ]

А кофе будет?

Даже булочки будут. Семинар проводится 28 октября 2015 г. в Москве.

[zltigo]

Даже булочки будут. Семинар проводится 28 октября 2015 г. в Москве.

Ну а если НЕ о пирожках.... То, пожалуйста, в паре слов:
1) В чем смысл использования этого "гипервизора", кроме как получения бумажной крыши из красивых сертификатов получаемых, увы, на 90% по формальным признакам, и всяких "патентов". Сайт производителя так-же ниочем, как и приложенное приглашение .
2) Ну и само собой стоимость такого "крышевания"? В смысле варианты лицензий и порядки их стоимостей.

А то непонятно зачем киселя хлебать ехать.

[ЮВГ]

на 90% по формальным признакам

Ошибаетесь - на 100% по "формальным" признакам.

По ценам здесь отвечать не считаю возможным.

Операционка - один из кирпичиков создания надежной системы, в которой традиционно программная часть - слабое звено. Довольно часто бизнес не хочет зависеть от прихотей программистов, поэтому есть модельно ориентированные средства разработки генерирующие код не требующий сертификации на выпускаемой аппаратуре, сертифицируемые ОС, сертифицируемые компиляторы C и ADA. В последние 5 лет интерес коммерческих структур к проектированию программно-аппаратных комплексов на основе "военных" стандартов сильно вырос. Надоело терять бабки из-за нерадивости программистов и сложности управления командой кодировщиков. Как пример свежих приложений - система отслеживания аварийных ситуаций на ветряках и система контроля дата-центра. Потери денег из-за пары строчек кода могут быть огромными.

[zltigo]

По ценам здесь отвечать не считаю возможным.

Как оказалось не только по ценам . Впрочем, тут не Ваша вина. Информации и на сайте практически ноль. Только понты для развода "манагеров".

Как пример свежих приложений - система отслеживания аварийных ситуаций на ветряках и система контроля дата-центра. Потери денег из-за пары строчек кода могут быть огромными.

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

[ЮВГ]

Но это ведь необязательно объяснять , а "военным" и понимать

Зря Вы так про военных. Большинство стандартов и проектов по созданию надежных программно-аппаратных комплексов и средств разработки, в том числе open-sourse, инициированы военными.

Судя по нашей переписке мне стоит отвечать Вам на конкретные вопросы, а то Вы только и бросаетесь словами "информации ноль". Задавайте.

Надеюсь мой ответ о смысле использования устроил.

[zltigo]

Надеюсь мой ответ о смысле использования устроил.

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

[ЮВГ]

смысл использования в наличии "сертификатов".

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