Therac-25
Straipsnis iš Vikipedijos, laisvosios enciklopedijos.
Therac-25 yra spindulinės terapijos mašina, dėl programinės įrangos klaidų tarp 1985 ir 1987 m. nužudžiusi mažiausiai šešis pacientus. Mašiną gaminto Atomic Enerty of Canada Limited. Pacientai mirė dėl gydymo metu mašinos išspinduliuotų gerokai per didelių radiacijos dozių.
Mašina turėjo du režimus: stipraus ir silpno spinduliavimo. Stipraus spinduliavimo režimo metu turėjo būti įjungiama speciali besisukančių filtrų sistema. Mirties atvejai įvyko kuomet mašina dėl programinės įrangos defektų įjungdavo stipraus spinduliavimo režimą, tačiau filtrų sistema nepradėdavo suktis.
Įrangos defektą atkurti buvo labai sunku, nes jis pasireikšdavo tik jei instrukcijos mašinai buvo operatoriaus renkamos labai greitai. Greitai rinkti instrukcijas reikia nemažo įgudimo.
Kalbama, jog tai rimčiausias pasekmes turėjęs programinės įrangos defektas žmonijos istorijoje.
[taisyti] Priežastys
Incidentus tirianti komisija nustatė, jog mašinos gamintojas yra atsakingas už įvykusias nelaimes dėl šių priežasčių:
[taisyti] Organizacinės priežastys
- Firma saugojo programinės įrangos kodą paslaptyje ir neleido jo patikrinti nepriklausomiems ekspertams.
- Firma neatliko pakankamai išsamaus įrangos testavimo.
- Sistemos dokumentacijoje nebuvo aiškaus klaidų kodų aprašymo.
- Firma netikėjo pirmaisiais pranešimais apie netinkamą darbą ir juos tiesiog atmetė.
[taisyti] Techninės priežastys
- Nebuvo jokių aparatinės įrangos (ne programinių) mazgų, kurie blokuotų spinduliavimą jei filtrų sistema nesisuka.
- Buvo panaudota ankstesnių modelių programinė įranga (perdirbimo klaida). Tačiau šie ankstesni modeliai turėjo minėtus nuo programinės įrangos nepriklausomus blokavimo mechanizmus ir todėl buvo mažiau jautrūs programavimo klaidoms.
- Mašinos aparatūra neteikė programinei įrangai galimybės patikrinti, ar visi davikliai veikia teisingai.
- Greitai įvedant duomenis, susidarydavo lenktynių aplinka.
- Vėliavės tipo kintamasis buvo nustatomas į loginio vieneto būseną vienetu padidinant jo reikšmę. Daug sykių pakartojus tokią operaciją, įvykdavo aritmetinis perpildymas, ir padidinimas vienetu nustatydavo kintamojo reikšmę į nulį. Todėl mašina praleisdavo saugumo testus.
- Programinė įranga buvo parašyta sunkiai derinama ir analizuojama asemblerio kalba.
