cnotes11

Cnotes11

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: . Software System Safety Nancy G. Leveson MIT Aero/Astro Dept. c Copyright by the author, November 2004. VENT GEARBOX CONDENSER CATALYST VAPOR REFLUX COOLING WATER LA LC REACTOR COMPUTER Types of Accidents Component Failure Accidents Single or multiple component failures Usually assume random failure System Accidents Arise in interactions among components No components may have "failed" Caused by interactive complexity and tight coupling Exacerbated by the introduction of computers. . .             c �             Accident with No Component Failures c � . . Safety Reliability Accidents in high−tech systems are changing their nature, and we must change our approaches to safety accordingly. . . Confusing Safety and Reliability From an FAA report on ATC software architectures: "The FAA’s en route automation meets the criteria for consideration as a safety−critical system. Therefore, en route automation systems must posses ultra−high reliability."...
View Full Document

This note was uploaded on 11/07/2011 for the course AERO 16.36 taught by Professor Alexandremegretski during the Spring '09 term at MIT.

Ask a homework question - tutors are online