Booklist - Safety-Critical Systems Development

Chris Johnson, University of Glasgow

| Main Index | Course introduction | Sample exam papers | Open assessments | Useful links

Warning to students: some of these books are intended as professional publications and so can be relatively expensive. Others are deliberately priced to attract a wider audience (eg., James Reason's books). Check the price with your bookstore before committing yourself to an order.

• J.D. Andrews and T.R. Moss, Reliability and Risk Assessment, Longman Scientific and Technical, Harlow, 1993. ISBN 0-582-09615-4.
  
  
• Jonathan Bowen and Mike Hinchey, High-Integrity System Specification and Design, Springer-Verlag, London, FACIT series, April 1999. ISBN 3-540-76226-4. URL: http://www.fmse.cs.reading.ac.uk/hissd/
  
  
• Erik Hollnagel, Cognitive Reliability and Error Analysis Method, Elsevier, Holland, 1998. ISBN-0-08-042848-7.
  
  
• Nancy Leveson, Safeware: System Safety and Computers, Addison Wesley, Reading Massachusetts, 1995. ISBN - 0-201-11972-2.
  
  
• Peter Neumann, Computer Related Risks, Addison Wesley, Reading Massachusetts, 1995. ISBN 0-201-55805-X.
  
  
• Charles Perrow, Normal Accidents, New York: Basic Books, 1984.
  
  
• Henry Petroski, To Engineer is Human: The Role of Failure in Successful Design, St, Martin's Press, 1985.
  
  
• Henry Petroski, Design Paradigms: Case Histories of Error and Judgment in Engineering, Cambridge University Press, 1994.
  
  
• James Reason, Managing the Risks of Organisational Accidents, Ashgate, Aldershot, 1997. ISBN 1-84014-105-0.
  
  
• James Reason, Human Error, Cambridge University Press, 1990. ISBN-0-521-31419-4.
  
  
• N. Storey, Safety-Critical Computer Systems, Addison Wesley, Harlow, 1996. ISBN 0-201-42787-7.
  
  
• S. Sagan, The Limits of Safety, Princeton, 1993, ISBN 0-691-02101-5.