|
|
Компьютеры - Therac-25 - Замеченные ошибки01 июля 2011
Оглавление: 1. Therac-25 2. Особенности конструкции 3. Несчастные случаи 4. Замеченные ошибки 5. Исправления
В программном обеспечении Therac-25 были найдены как минимум четыре ошибки, которые могли привести к переоблучению.
- Одна и та же переменная применялась как для анализа введённых чисел, так и для определения положения поворотного круга. Поэтому при быстром вводе Therac мог иметь дело с неправильным положением поворотного круга.
- Настройка положения отклоняющих магнитов занимает около 8 секунд. Если за это время параметры типа и мощности излучения были изменены, и курсор установлен на финальную позицию, система не обнаруживала изменений.
- Деление на величину излучения, приводящее в некоторых случаях к ошибке деления на ноль и соотвественное увеличение величины облучения до максимально возможной.
- Установка булевской переменной в значение «истина» производилось командой «
x=x+1 ». Поэтому с вероятностью 1/256 при нажатии кнопки «Set» программа могла не пропустить информацию о некорректном положении диска.
Кроме этих явных ошибок, было замечено множество потенциальных например, в многозадачной операционной системе не было никакой синхронизации.
Просмотров: 4174
|