Lecture Notes
Notes outlining material covered in each session are listed below.
|
|
|
|
SES # |
|
|
|
TOPICS |
|
|
|
|
|
|
|
1 |
|
|
|
Introduction to class, system safety, and hazard identification (PDF) |
|
|
|
|
|
|
|
2 |
|
|
|
Discussion questions and in-class debate on responsibility for risk, PHA and risk assessment, causes of accidents (PDF) |
|
|
|
|
|
|
|
3 |
|
|
|
Review causes of accidents assignment, accident models, review preliminary hazard analysis for Matterhorn, intent specifications (PDF) |
|
|
|
|
|
|
|
4 |
|
|
|
Jeff Joyce visit, hazard analysis, root cause analysis (PDF) |
|
|
|
|
|
|
|
5 |
|
|
|
State machines, SpecTRM-RL, requirements and requirements analysis (PDF) |
|
|
|
|
|
|
|
6 |
|
|
|
Review Matterhorn Level 1, Dan Gregory (system safety engineer from Raytheon) |
|
|
|
|
|
|
|
7 |
|
|
|
Design for safety (PDF) |
|
|
|
|
|
|
|
8 |
|
|
|
Humans and Automation (PDF) |
|
|
|
|
|
|
|
9 |
|
|
|
Francis visit, accident investigation, presentation of STAMP analyses and assignment on Titan analysis, archetypes (Karen Marais) |
|
|
|
|
|
|
|
10 |
|
|
|
Visitors from Electric Boat (submarines), review level 2 of project |
|
|
|
|
|
|
|
11 |
|
|
|
Operations, root cause analysis, John Carroll |
|
|
|
|
|
|
|
12 |
|
|
|
Verification, management, presentation of research proposals |
|
|
|
|
|
|
|
13 |
|
|
|
Review of Matterhorn designs, wrap-up |
|
|
|
|