麻省理工学院“开放式课程网页” | 航空宇航工程 | 16.358J 2003春季课程：系统安全

学生们使用教师的一本新的在线草稿教科书，以及她先前出版的《安全概念》(Safeware)这本书，可以探究到最新颖的构建安全危急系统的方法。这些方法在由数字组成的系统中比传统又冗余的技术更高效。所有学生都将把他们的所学应用到包括Disney马塔角冒险飞车设计在内的任一项目中。此外，研究生们还会在申领他们自己的科研补助经费时获取实践经验。

Using online drafts of a new textbook written by the instructor, as well as her earlier published book Safeware, students will explore state-of-the-art approaches to building safety-critical systems. These approaches are more effective in systems comprising digital components than traditional, redundancy based techniques. All students will apply what they learn to a project involving the Disney Matterhorn ride. In addition, graduate students will gain practical experience by writing their own research grant proposals.

本课程包括了设计和操作临界安全性系统时重要的理论和技术。其主题有：危险的性质，突发意外事件和人类错误模型，意外事件的因素，系统安全工程学的基本理论，系统和软件的危险分析，安全和容错设计，设计安全的人机交互，安全确认，创造安全文化和管理安全危急工程。它还包括一次关于安全关键系统高级系统设计和分析的课堂设计。

Covers important concepts and techniques in designing and operating safety-critical systems. Topics 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. Includes a class project involving the high-level system design and analysis of a safety-critical system.