Исходное сообщение
"Открыт код сверхнадёжного микроядра seL4" Отправлено Аноним, 29-Июл-14 19:11
> и свойственно _не_ ошибаться. Только когда вся программа и рантайм - размером с hello world, да еще транслятор под стать. > можно, они же знают что им свойственно... Ни разу не видел уникомов, которые бы писали большие программы без ошибок. Ну разве что роботов припахать. Но тут есть подстава - первую версию AI могут сделать только люди, а стало быть она будет с багами... > Тоже хорошо. Только бы не делали три, понимаешь? На случай если первые > два ку-ку. А потом четыре, на случай если первые три ку-ку. Для самолетов нормально делать по 2-4 резерва для подсистем, отказ которых что-то решает. Иногда и это кстати не помогает - у одного самолета с 3-я двигателями развалившийся хвостовой двигатель разнес все 3 гидролинии. Конец немного предсказуем. ЧСХ, работу над ошибками делали - и гидролинии по другому стали укладывать, и от потенциальных обломков кожухом защитили. Но все-равно периодически как-то так оказывается что где-то вcpaaлся баг...