Boken ”Mars” kan laddas ner här

Extremt pålitliga datorsystem
Att ha flerdubbla datorsystem som röstar om
resultaten av beräkningar och flaggar minoriteten
som opålitlig är ett bra system för att öka
hårdvarans tillförlitlighet. Eftersom det kan finnas
konstruktionsfel också i hårdvaran kan man
använda olika processortyper som kör program
skrivna av oberoende grupper programmerare. På
detta sätt kan man gardera sig mot att inte samma
hårdvarufel samtidigt påverkar alla processorer.
Om programmen skrivs oberoende av olika grupper
gäller samma sak. Samma fel uppstår inte
samtidigt i alla program.
Extremt pålitliga datorsystem används idag bl.a. i
flygplan, i kärnkraftverk och överhuvudtaget i
tillämpningar där en datorkrasch skulle kunna leda
till förlust av (många) människoliv.
Du hittar mera information om extremt pålitliga
datorsystem för flygplan och för rymdbruk på
adressen
http://user.it.uu.se/~joachim/Fof/98_2_14_2.htm
Nedanstående artikel på engelska beskriver hur
programmeringsfel nästan har gett upphov till
kärnvapenkrig.
http://wwwee.stanford.edu/~hellman/Breakthrough/book/chapt
ers/borning.html
Mera information hittar du genom att googla på
"pålitliga datorsystem" samt "reliable computer
systems".
26⁠⁠