Размещено: Вчера, 23:55
Компания General Dynamics C4 Systems и австралийский исследовательский центр NICTA анонсировали скорый перевод микроядра seL4 (Secure Embedded L4) в категорию открытых проектов. Ядро seL4 нацелено на предоставление повышенного уровня безопасности и надёжности для критически важных систем, используемых в авиации, медицине, финансовом секторе, энергетике и других областях, где необходима гарантия отсутствия сбоев. Корректность реализации seL4 в своё время была доказана математически, что даёт основание считать решения на базе seL4 самыми надёжными в мире.
Подробнее...