Страница 1 из 1
Микроядро seL4 математически верифицировано для архитектуры RISC-V
Добавлено: 10 июн 2020, 15:30
[Ботя]
Организация RISC-V Foundation сообщила о верификации работы микроядра seL4 на системах с архитектурой набора команд RISC-V. Верификация сводится к математическому доказательству надёжности работы seL4, которое свидетельствует о полном соответствии заданным на формальном языке спецификациям. Доказательство надёжности позволяет использовать seL4 в критически важных системах на базе процессоров RISC-V RV64, требующих повышенного уровня надёжности и гарантии отсутствия сбоев.
Подробнее...