OpenForum RSS: Выпуск Muen 1.0, открытого микроядра для создания высоконадёжных систем https://m.opennet.dev/openforum/vsluhforumID3/125655.html После восьми лет разработки увидел свет выпуск проекта Muen 1.0, развивающего ядро разделения (Separation kernel), отсутствие ошибок в исходных текстах которого подтверждено при помощи математических методов формальной верификации надёжности. Ядро доступно для архитектуры x86_64 и может применяться в критически важных системах, требующих повышенного уровня надёжности и гарантии отсутствия сбоев. Исходные тексты проекта написаны на языке Ада и его верифицируемом диалекте SPARK 2014. Код распространяется под лицензией GPLv3...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=56033<br> Выпуск Muen 1.0, открытого микроядра для создания высоконадё... (читатель) https://m.opennet.dev/openforum/vsluhforumID3/125655.html#149 Fri, 29 Oct 2021 19:49:54 GMT frama-c, погуглите<br> Выпуск Muen 1.0, открытого микроядра для создания высоконадё... (pofigist) https://m.opennet.dev/openforum/vsluhforumID3/125655.html#148 Thu, 28 Oct 2021 13:58:54 GMT Это деменция... Прививался чтоль? :)<br><br>Такое перепутать - невозможно! :)<br> Выпуск Muen 1.0, открытого микроядра для создания высоконадё... (Аноним) https://m.opennet.dev/openforum/vsluhforumID3/125655.html#147 Wed, 27 Oct 2021 14:08:18 GMT Аду же разрабатывала оборонка америки. Наса на ней клепала управление своими шатлами. Помнится трапалась на пуске по каждому чиху. Но работала вроде надежно. Программисты на ней писали кажется только для ихнего впк, про гражданские проекты не слышно было<br> Выпуск Muen 1.0, открытого микроядра для создания высоконадё... (Аноним) https://m.opennet.dev/openforum/vsluhforumID3/125655.html#146 Wed, 27 Oct 2021 11:28:55 GMT &gt;гражданским линуксом по квадрату с задержкой и осечкой.<br><br>Это вояка?<br> Выпуск Muen 1.0, открытого микроядра для создания высоконадё... (Аноним) https://m.opennet.dev/openforum/vsluhforumID3/125655.html#145 Wed, 27 Oct 2021 09:48:22 GMT сперва академическое открытое, потом уж точное наведение на нужную голову в реалтайм. но цена головы/репутации с нулевых сильно упала, потому можно и гражданским линуксом по квадрату с задержкой и осечкой.<br> Выпуск Muen 1.0, открытого микроядра для создания высоконадё... (Аноним) https://m.opennet.dev/openforum/vsluhforumID3/125655.html#144 Wed, 27 Oct 2021 09:45:04 GMT А пыво???<br> Выпуск Muen 1.0, открытого микроядра для создания высоконадё... (Аноним) https://m.opennet.dev/openforum/vsluhforumID3/125655.html#143 Wed, 27 Oct 2021 09:00:14 GMT Для того чтобы наслаждаться срачем со сороны, не учавствуя в нём, нужен мягкий диван и попкорн. Всё.<br> Выпуск Muen 1.0, открытого микроядра для создания высоконадё... (Аноним) https://m.opennet.dev/openforum/vsluhforumID3/125655.html#142 Wed, 27 Oct 2021 08:40:37 GMT на суперзащищенном airgap ждать пока вскроют через трансформатор<br> Выпуск Muen 1.0, открытого микроядра для создания высоконадё... (Минона) https://m.opennet.dev/openforum/vsluhforumID3/125655.html#141 Wed, 27 Oct 2021 07:47:28 GMT какой? зеленый из баночки?<br>попробуй &#9786;<br>