Здравствуйте, eao197, Вы писали:

E>Складывается впечатление, что заявленые исследователями цели по построении надежной ОС уже реализованы в реальности: http://www.minix3.org
E>Причем без всяких заморочек с безопасными языками, отсутствием динамической загрузки кода, верификацией программ и прочим.

Ну это какая-то любительская разработка. Есть еще QNX, например.