Компания QNX добивается для своей RTOS Neutrino получения сертификата Common Criteria

>> Интересно - чего это Пентагон потянуло на Канадскую ОС.

> А то, что американцы используют канадскую OpenBSD, или Java, разработанный канадцем, или телефонную связь, это Вас не удивляет :))

Ну OpenBSD - всего лишь прописана в Канаде (из-за старых штатовских ограничений на криптографию)

А вот QNX - исконный канадский продукт, производившийся изначально в ихней канадской Силиконовой Долине.

Ранее опять же сросшийся намертво с таким же канадским компилятором WATCOM.

Сейчас конечно QSSL уже черт знает кому принадлежит и где живет - пошла по рукам лет 5 назад:)

Связи может и тесные - но у америкосов и своих таких же ОС немало - LynxOS,VxWorks,еще RTEMS была когда-то.

Сомнительно, что QNX именно по заказу Пентагона была разработана - вот про RTEMS я слышал такое.

>А между тем сертификация очень тесно связана со стандартами (нормальными стандартами, а не хренью вроде HTML/CSS).

о. лор посетило светило программирования IE-only сайтов =))

А помимо дублирования ещё надёжнее версионность - разные реализации одного и того же...

А что знатоки скажут об отечественной ОС2000? Есть ли жизнь на Марсе?

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

Справедливости ради, замечу, что под QNX работают далеко не все контроллеры (так Вам производитель и скажет, чего он туда зашил). Системы же противоаварийной защиты представляют собой как правило простейшие вычислители работающие по логике "если-то" - для надежности. Возвращаясь к QNX и энергетическим объектам, подозреваю что он там используется как система верхнего уровня -т.е. для операторского интерфейса, возможно для таких специфических задач, как моделирование в реальном времени, а для управления используются такие специализированные вещи как, например Emerson Ovation.

Был как то на презентации QNX, где было заявлено что QNX используется в бортовых системах Audi, Mersedes, а так же в системе управления движением питерского метро.