https://opennet.ru/openforum/vsluhforumID3/97294.html Компания General Dynamics C4 Systems (http://en.wikipedia.org/wiki/General_Dynamics_C4_Systems) и австралийский исследовательский центр NICTA (http://en.wikipedia.org/wiki/NICTA) открыли (http://sel4.systems/) под свободными лицензиями исходные тексты микроядра seL4 (https://github.com/seL4/seL4) (Secure Embedded L4), компоненты (https://github.com/seL4/l4v) математического доказательства его надёжности и сопутствующий код для построения высоконадёжных операционных систем. Ядро открыто (https://github.com/seL4) под лицензией GPLv2, а утилиты и работающий в пространстве пользователя код содержит как элементы под лицензией GPLv2, так и компоненты под лицензией BSD.<br><br><br><br><br><br>Микроядро seL4 нацелено на предоставление повышенного уровня безопасности и надёжности для критически важных систем, используемых в авиации, медицине, финансовом секторе, энергетике и других областях, где необходима гарантия отсутствия сбоев. Корректность реализации seL4 в своё время была доказана (http://www.opennet.ru/opennews/art.shtml https://opennet.ru/openforum/vsluhforumID3/97294.html#134 Thu, 31 Jul 2014 23:05:38 GMT &gt;&gt; Не надо оправданий, тем более из области философии и психологии, про несовершенство <br>&gt;&gt; мироздания и ожидания.<br>&gt; Про философию я соглашусь, она здесь неуместна, но игнорировать психологию совсем не <br>&gt; стоит. Психология может вносить и вносит свои погрешности в процесс мышления <br>&gt; человека. Кроме того, ограничения "вычислительных способностей" мозга -- это не вопрос <br>&gt; ли психологии?<br><br>не нужно думать что знания нашей психики завершены. То что мы ошибаемся не означает что мы можем только ошибаться. Что ошибки неизбежны. Наша инерция не даёт осознавать проблемы и мы выдумываем себе оправдания, вроде простых "истин": все ошибаются, ничто не идеально.<br><br><br>&gt; PS. И, простите что вмешиваюсь, но вы спорите с Анонимом, по-моему, ни <br>&gt; о чём. Вы говорите о том, что программист, проектирующий/пишущий не должен <br>&gt; опускать руки в борьбе с багами; Аноним же говорит о том, <br>&gt; что подобный настрой в работе не избавит от багов на 100%. <br>&gt; И, по-моему, вы оба правы.<br><br>хорошо тогда :)<br> https://opennet.ru/openforum/vsluhforumID3/97294.html#133 Thu, 31 Jul 2014 22:58:10 GMT &gt;&gt; тогда очевидно что программа должна стремиться к выполнению желательно одной функции, но <br>&gt;&gt; выполнять её безупречно.<br>&gt; Не обязательно. Но программа должна быть или простой как топор, или должно <br>&gt; быть предусмотрено что она может сбойнуть и это не должно вести <br>&gt; к фатальным последствиям.<br><br>не обязательно, но стремление хорошее, даже лучшее из возможных, принимая во внимание сказанное тобой, скромное имхо.<br><br> https://opennet.ru/openforum/vsluhforumID3/97294.html#130 Thu, 31 Jul 2014 22:23:58 GMT &gt;&gt; выпускают из алюминия?..<br>&gt; Потому что он мягкий как черти что, и при ДТП из юзера <br>&gt; будет фарш. Обратите внимание чем обычно заканчиваются авиакатастофы...<br><br>Скорее, потому что дорогой. Мягкость и разушаемость материалов при аварии наборот плюс, т.к. деформацией гасится энергия, которая иначе бы передалась на пассажиров и водителя.<br> https://opennet.ru/openforum/vsluhforumID3/97294.html#129 Thu, 31 Jul 2014 22:17:34 GMT &gt; Это что попытка диверсии типа программы "Звездных войн"?<br><br>Звери, а не люди: провоцируют вероятного противника писать софт вместо того, чтобы менять нескучные обои в своем болгеносе.<br> https://opennet.ru/openforum/vsluhforumID3/97294.html#128 Thu, 31 Jul 2014 22:14:39 GMT Ну если ты пытаешься заставить ассемблер с компилировать код с оптимизацией под ЦП, то помочь тебе нечем.<br> https://opennet.ru/openforum/vsluhforumID3/97294.html#127 Thu, 31 Jul 2014 10:27:49 GMT &gt; И вот тут мы опять смотрим на Хы с разными WM. :-)<br><br>а также на никсовую консоль и старый добрый принцип &#171;одна задача &#8212; одна программа&#187;. но всё это неимоверно сложно для ЦА всяких DE.<br> https://opennet.ru/openforum/vsluhforumID3/97294.html#126 Thu, 31 Jul 2014 10:17:50 GMT вообще, всё наоборот: намного выгодней разломать врагов и оставить полезную технику на месте.<br><br>впрочем, если у кого-то будут технологии такого уровня, а у других нет, и защиты тоже нет &#8212; то ни о каких врагах речь уже не идёт, только о &#171;чего изволите, бвана?&#187;<br> https://opennet.ru/openforum/vsluhforumID3/97294.html#125 Thu, 31 Jul 2014 09:52:39 GMT &gt; &#65279;А вот прокладывать в обычной хате водопровод с троекратным резервированием по принципу "а вдруг сломается?!" - ну вы поняли.<br><br>Обычно в квартире ставят шаровый кран на вводе и перед каждой точкой разбора. Это дает возможность перекрыть потекший кран на кухне и продолжать пользоваться туалетом, а также менять разводку в квартире, не перекрывая во всем подъезде/доме воду.<br> https://opennet.ru/openforum/vsluhforumID3/97294.html#124 Thu, 31 Jul 2014 05:03:27 GMT &gt; Точно также как строится микроядерная ОС.<br><br>Ну да, то-есть сферическое железо в вакууме, которое никто никогда не увидит, кроме десятка операторов ядерных реакторов на всю планету.<br>