Интернет магазин китайских планшетных компьютеров



Компьютеры - Therac-25 - Замеченные ошибки

01 июля 2011


Оглавление:
1. Therac-25
2. Особенности конструкции
3. Несчастные случаи
4. Замеченные ошибки
5. Исправления



В программном обеспечении Therac-25 были найдены как минимум четыре ошибки, которые могли привести к переоблучению.

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

Кроме этих явных ошибок, было замечено множество потенциальных — например, в многозадачной операционной системе не было никакой синхронизации.



Просмотров: 4034


<<< Mars Polar Lander
Авария ракеты-носителя Ариан 5 (4 июня 1996) >>>