The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"Первый робот-хирург создан на базе Linux и открытого ПО"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Подсказка: Для слежения за появлением новых сообщений в нити, нажмите "Проследить за развитием треда".
. "Первый робот-хирург создан на базе Linux и открытого ПО" +/
Сообщение от anonymous (??), 07-Мрт-12, 17:11 
>Вы, наверное, думаете, что в "микроядерных ОС реального времени" нет ошибок и уязвимостей?

Вообще то пугалка про то что в любой программе всегда есть ошибка она немного преувеличена. Точнее произошло скольжение смысла как в анектоде про наличие удочки и потенцией. Ну да, железо сложное, не суматор с умножителем, миллиарды транзисторов. Но чисто теоретически можно таки вывернуться и сделать верифицируемые программы, да хоть методом полного перебора. Посему нет, например в устройстве контроля сердечного ритма.

Ответить | Правка | Наверх | Cообщить модератору

Оглавление
Первый робот-хирург создан на базе Linux и открытого ПО, opennews, 07-Мрт-12, 12:43  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру