Department of Computer & Information Science, Linköpings Universitet

The following books are strongly recommended for reading during the course:

Computer Related Risks, Peter G. Neumann, Addison Wesley, 1995.

    A very informative book on 1174 cases where technical systems  have exposed living beings and the environment to risks, and the root causes.

Safety-critical Computer Systems, Neil Storey, Addison Wesley, 1996.

    An introductory text which provides overview of aspects and methods in computer systems development.

Safeware, System safety and Computers, Nancy Leveson, Addison Wesley, 1995.

    The  authoritative text on system safety and computers: covers several cases in detail, and gives an exposition to methods for hazard analysis, designing for safety, as well as human error models, management and interfaces.

System Safety engineering and risk assesment: A practical approach, Nicolas J. Bahr, Taylor and Francis Publishers, 1997.

   This is a book I have not read and would appreciate comments/evaluations on.

Articles to be handed out during the course:

• Software Safety and Reliability Concerns in the Ground-based Transportation Industry, D. Hermann, Proc. Int. Systems Safety Conf. 1998.
• Applying HAZOP to Functional System Models, J. Murdoch, J. McDermid, Proc. Int. Systems Safety Conf. 1998.
• Defining an Acceptable Level of Redundancy, S. Dawkins, J. McDermid, Proc. Int. Systems Safety Conf. 1998.
• Static Code analysis on the C-130J Hercules Safety-Critical Software, K. J. Harrison, Proc. Int. Systems Safety Conf. 1999.
• Integration of Formal Methods into System Safety and Reliability Analysis,  O. Åkerlund, S. Nadjm-Tehrani, G. Stålmarck, Proc. Int. Systems Safety Conf. 1999.
• Future architecture for flight control systems - less hardware and more fault-tolerance, Kristina Ahlström and Jan Torin, Draft paper.
• On understanding risks: Is human reliability a red herring? Erik Hollnager.

IFIP WG 10.4 Document: Dependability, Basic concepts and Terminology

Last Modified 00-12-08
Simin Nadjm-Tehrani