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.
johnson@dcs.gla.ac.uk