This course covers important concepts and techniques in designing and operating safety-critical systems. Topics covered include: the nature of risk, formal accident and human error models, causes of accidents, fundamental concepts of system safety engineering, system and software hazard analysis, designing for safety, fault tolerance, safety issues in the design of human-machine interaction, verification of safety, creating a safety culture, and management of safety-critical projects. It also includes a class project involving the high-level system design and analysis of a safety-critical system.
Author: Prof. Nancy Leveson
Organization: Massachusetts Institute of Technology