Здравствуйте, Михаил Купаев (перевод), Вы писали:

МКП>Singularity – исследовательский проект Microsoft Research, который начался с вопроса: на что была бы похожа программная платформа, если спроектировать ее на пустом месте, и во главу угла поставить не производительность, а надежность?

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