Nuclear

Index

Software Safety - Nuclear

Nuclear Safety
Table Of Contents Link To Older version: Nuclear Safety Link To Study Guide: Nuclear Safety Issues 1. Computerized missile Defense systems SDI will protect us from a Nuclear attack - Is the software credible? Jeff Johnson, CPSR Missile Defense. Peter G. Neumann "Will A National Missile Defense system Make Americans Safer?" Admiral Eugene Carroll Missile launch -- upgrades degrade? Clifford Johnson, The Risks Digest Brief History of Missile Defense Perry Jason Modern Missile Defense CDI Russia Weekly National Missile Defense Act Claremont Institute Glossary of Missile Defense Terms Claremont Institute Report to Congress on the SDI 2. The important question - " Can we accept software to be reliable in the event of a nuclear attack/nuclear launch? " SDI Critique and Primer Jungerman Error Tolerance and Testing Can Computers be Failsafe? PC Magazine Computer Unreliability and Nuclear War. Jeff Myers, UW-Madison "It's the Computer's Fault" -- Reasoning About Computers as Moral Agents. Batya Friedman and Lynette Millett, acm.org Case Studies Safety First: Avoiding software mishaps. Charles Knutson and Sam Carmichael Toward More Effective Testing for High Assurance Systems. Herbert Hecht and Myron Hecht and Dolores Wallace ``Reliability and Risk: Computers and Nuclear War'' Kevin W. Bowyer Predicting system reliability. Henry Spencer, comp.risks DARPA contract: use AI to select targets during nuclear war. Minutes away from nuclear holocaust. The Risks Digest Stansfield Turner's new book includes near-war risk. The Risks Digest Russian nuclear warheads armed by computer malfunction. The Risks Digest Cruise Missile software bugs. The Risks Digest Computer testing of nuclear weapons. The Risks Digest Errors in weapon software. The Risks Digest Worms/viruses/moles/etc. and the risk of nuclear war. The Risks Digest Review of Early SDI Tests General Accounting Office Patriot Missile Failure General Accounting Office In the News Sandia undertakes new initiative to improve way software is developed at Labs.Sandia LabNews 3. Other Resources Technology is changing our world -- and we should be afraid! Salon.com UK Defence Software Standard. Dave Parnas and Nancy Leveson Index of Topics - Study Guide - Lecture Notes - Discussion Questions

Main
Study Guide