Software Safety

• 24Therac-25
• 29Spaghetti Code in Toyota’s Software
• 55Intel and the Pentium Division Bug
• 56The Mars Climate Orbiter
• 57Ariane 5 Flight 101
• 58The Patriot Missile Failure at Dhahran
• 64Knight Capital’s $460 Million Software Failure