CS 851: FORENSIC SOFTWARE ENGINEERING

FALL 2002

John C. Knight with Kimberly S. Hanks
Department of Computer Science

Course Texts and Papers

(See syllabus for assigned text chapters; papers are to be read in their entirety)

Texts

Normal Accidents (Charles Perrow)
Human Error (James Reason)
Design Paradigms: Case Histories of Error and Judgment in Engineering (Henry Petroski)
Learning from Accidents (Trevor Kletz)
Safeware (Nancy Leveson)
Fatal Defect: Chasing Killer Computer Bugs (Ivars Peterson)

Papers

Forensic Software Engineering, Chris Johnson
Normal Accidents--Yesterday and Today, Barry Strauch (note: paper is in linked proceedings)
Software Aspects of Strategic Defense Systems, David Parnas
High-Pressure Steam Engines and Computer Software, Nancy Leveson
Reading packet for Michael Holloway's visit
others as assigned...

Other Resources (optional, but potentially useful for projects, assignments, general interest)

Ariane 5 Failure Report, Inquiry Board
Therac-25 Review, Nancy Leveson (also available in the Safeware book)
Report of the Inquiry Into the London Ambulance Service, Anthony Finkelstein
A Formal Methods Approach to the Analysis of Mode Confusion, Ricky Butler, Steven Miller, James Potts, and Victor Carreno
A Rigorous View of Mode Confusion, Jan Bredereke and Axel Lankenau
A Quick Introduction to Why Because Analysis, Peter Ladkin (note: .ps)
Jonathan Bowen's Safety-Critical Systems Resources page

Last updated 11/12/02

Maintained by Kimberly S. Hanks