第1章 0.000000095的誤差奪走28條生命 1
飛向美空軍基地的“飛毛腿”導彈 1
“愛國者”導彈系統(tǒng)結構 3
導彈與軟件的對決 5
美軍的應對 6
“愛國者”注定這天要出事 7
第2章 遙遠的火星探測之路:
軟件錯誤導致兩架探測器成為火星塵埃 11
太空探測的“文藝復興” 11
蘇聯(lián):邁出火星探測第一步 11
美國:火星探測首次成功 14
第一架火星著陸器 15
火星探測的主力軍——美國 18
火星探測重新升溫 18
NASA的火星探測計劃 19
MCO嘗試進入軌道 20
MCO通信中斷 21
氣動減速 22
單位標記不一致導致的悲劇 23
另一臺探測器:MPL 26
雖然已進入火星大氣層,但是…… 26
MCO與MPL留下的教訓 27
第3章 “喂?喂?”一行代碼導致的AT&T長途電話系統(tǒng)癱瘓事件 29
AT&T的歷史 29
值得信賴的AT&T長途網絡 31
出現(xiàn)網絡故障 33
問題的起因在于一行錯誤代碼 35
電話事故之后 35
第4章 軟件錯誤帶來的黑暗:2003年美國東北部大停電 39
韓國9·15停電事故 39
2003年美國東北部大停電 41
災難開始 42
接連跳閘 46
最后的堡壘——Sammis-Star 345千伏輸電線 48
臨界點 51
iPad上市當天排起的長隊 53
為什么沒有處理預警? 56
第5章 不滅的“約克城”號 59
約克城 59
太平洋戰(zhàn)爭和“約克城”號 59
軍費縮減計劃示范艦 67
光榮的硬件,不爭氣的軟件 68
第6章 因特網蠕蟲病毒的開始——莫里斯蠕蟲 71
互聯(lián)網的特性 71
具備攻擊與防御能力的軟件 72
軟件漏洞:蠕蟲病毒出現(xiàn) 72
和蠕蟲的斗爭 74
“大蟲”后續(xù) 76
莫里斯事件逸聞 77
第7章 軟件也能使戰(zhàn)機墜毀 79
瑞典JAS 39“鷹獅”戰(zhàn)斗機墜毀事故 80
“鷹獅”試飛機墜毀 80
再次墜毀 81
原因在于軟件 83
航空器中軟件的作用日益突出 84
第8章 70億美元的煙花秀:
阿麗亞娜5號運載火箭航班501 87
蓬勃發(fā)展的商業(yè)化航天技術 87
阿麗亞娜5號火箭的研發(fā) 88
阿麗亞娜5號運載火箭航班501 89
事故還原 89
結論 97
第9章 軟件可用性的錯