https://www.opennet.dev/openforum/vsluhforumID3/96470.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 (http://ssrg.nicta.com.au/projects/seL4/) (Secure Embedded L4) в категорию открытых проектов. Ядро seL4 нацелено на предоставление повышенного уровня безопасности и надёжности для критически важных систем, используемых в авиации, медицине, финансовом секторе, энергетике и других областях, где необходима гарантия отсутствия сбоев. Корректность реализации seL4 в своё время была доказана (http://www.opennet.ru/opennews/art.shtml?num=23011) математически, что даёт основание считать решения на базе seL4 самыми надёжными в мире. <br><br><br>29 июля под одной из свободных лицензий будут не только открыты исходные тексты ядра seL4, но и связанные с системой компоненты доказательства надёжности и сопутствующий код для построения высоконадёжных операционных систем. С технической сто https://www.opennet.dev/openforum/vsluhforumID3/96470.html#114 Thu, 26 Jun 2014 14:28:47 GMT На это надеяться не надо, это надо обеспечивать.<br> https://www.opennet.dev/openforum/vsluhforumID3/96470.html#113 Thu, 26 Jun 2014 10:49:21 GMT Да. А если принять внутрь и от изжоги помогает ;-)<br> https://www.opennet.dev/openforum/vsluhforumID3/96470.html#112 Thu, 26 Jun 2014 09:02:18 GMT Доказали что ядро содержит те же ошибки что и спецификация.<br> https://www.opennet.dev/openforum/vsluhforumID3/96470.html#110 Thu, 26 Jun 2014 06:21:40 GMT Гёдель смотрит с ухмылкой.<br> https://www.opennet.dev/openforum/vsluhforumID3/96470.html#109 Wed, 25 Jun 2014 21:10:33 GMT ... и железо там изготовлено из других материалов, по другой технологии и<br>имеет логику самоконтроля на аппаратном уровне и помимо этого дублируется.<br> https://www.opennet.dev/openforum/vsluhforumID3/96470.html#108 Wed, 25 Jun 2014 19:13:03 GMT таки нет ? http://www.gdc4s.com/<br>и почему же нет у них сайта ...<br>феназепанчика тяпни<br> https://www.opennet.dev/openforum/vsluhforumID3/96470.html#107 Wed, 25 Jun 2014 17:03:07 GMT Это ты дебил. Их деятельность практически ничем не знаменательна, обычная оборонка. Портачат там всего лишь чуть меньше, чем в остальных отраслях. Никакими сверхфантастическими проектами, которые сегодня кажутся сказкой, а лет через 50 будут обыденностью, там тоже не занимаются. Айти это не конёк оборонки, запомни, обезъяна.<br> https://www.opennet.dev/openforum/vsluhforumID3/96470.html#106 Wed, 25 Jun 2014 16:46:10 GMT это те самые перцы у которых f-16 при пересечении уровня моря в IL переворачивался вверх ногами? Да, говорит о многом. Но я точно не помню что там конкретно было, их f-16 или не их f-15<br> https://www.opennet.dev/openforum/vsluhforumID3/96470.html#105 Wed, 25 Jun 2014 16:42:48 GMT &gt; А что должно уметь микроядро помимо выноса всего в пользовательское пространство?<br><br>должно назначить виновного из юзерспейса за все дальнешие проблемы с системой.<br>