Исходное сообщение
"Первый робот-хирург создан на базе Linux и открытого ПО" Отправлено arisu, 07-Мрт-12 19:17
скажи, дорогой, ты вообще занимался когда-нибудь верификацией? ну, понятно, что про перебор — это ты несусветную чушь сказал, сделаем вид, что не заметили. с верификацией есть и другие забавные проблемы: аналитический метод требует *огромных* усилий и времени. и (обычно) применения других программ, которые кто-то должен… упс. это с одной стороны. с другой стороны: ты считаешь, что железо никогда не сбоит и в нём не бывает ошибок? а если воротить «самотестирующееся» железо, то чем более оно будет «надёжно самотестироваться», тем менее оно будет полезно: основное время и ресурсы железо будет тратить на самоудовлетворение. про то, что человек ошибается ещё чаще, чем всё вышеперечисленное, и при этом хреново верифицируется, я даже не буду подробно упоминать. поэтому верификацию делают выборочную, и гарантию она даёт не 100%, а до некоторого допустимого уровня. и да, жертвы ошибок в хирургическом ПО и железе точно так же запланированы, как и жертвы ошибок «мясных» хирургов.