Исходное сообщение
"Первый робот-хирург создан на базе Linux и открытого ПО" Отправлено anonymous, 07-Мрт-12 17:11
>Вы, наверное, думаете, что в "микроядерных ОС реального времени" нет ошибок и уязвимостей? Вообще то пугалка про то что в любой программе всегда есть ошибка она немного преувеличена. Точнее произошло скольжение смысла как в анектоде про наличие удочки и потенцией. Ну да, железо сложное, не суматор с умножителем, миллиарды транзисторов. Но чисто теоретически можно таки вывернуться и сделать верифицируемые программы, да хоть методом полного перебора. Посему нет, например в устройстве контроля сердечного ритма.