Компания General Dynamics C4 Systems и австралийский исследовательский центр NICTA анонсировали скорый перевод микроядра seL4 (Secure Embedded L4) в категорию открытых проектов. Ядро seL4 нацелено на предоставление повышенного уровня безопасности и надёжности для критически важных систем, используемых в авиации, медицине, финансовом секторе, энергетике и других областях, где необходима гарантия отсутствия сбоев. Корректность реализации seL4 в своё время была доказана математически, что даёт основание считать решения на базе seL4 самыми надёжными в мире.
Ссылка: http://www.opennet.ru/opennews/art.shtml?num=40075