Course Highlights
This course features full versions of course readings authored by the professor, as well as a set of lecture notes.
Course Description
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.
