Исходное сообщение
"Открыт код сверхнадёжного микроядра seL4" Отправлено Crazy Alex, 29-Июл-14 14:33
К критическим задачам надо подходить скурпулезно. Делая резервирование, проводя тщательное тестирование, используя статические анализаторы, чтобы указать человеку на подозрительные части кода и т.д. И при этом - учитывая, что узел таки имеет шанс отказать и планируя реакции на это - на разных ровнях системной иерархии. И мне очень жаль, что вы не понимаете, что баги - это не просто невнимательность. Как минимум - всегда будут прооблемы с непредсказуемум взаимодействием с программынм окружением, недопониманием спецификаций (в том числе теми, кто и составляет), не оправдавшимися ожиданиями к оборудованию и пользователю и так далее, и тому подобное. Никто не совершенен, и баги - просто результат этого несовершенства.