2006 MAPLD International Conference
Ronald Reagan Building and International Trade Center
with a session at the Smithsonian National Air and Space Museum
Washington, D.C.
September 26-28, 2006
Seminar: Systems Safety and Embedded Computing Systems
The 2006 MAPLD International Conference seminars will be held on Monday, September 25, 2006 in Hemisphere B.
Seminar Leaders:
Nancy Leveson, Massachusetts Institute of Technology
Abstract
Software allows unprecedented levels of complexity and new failure modes that are starting to overwhelm the standard approaches to ensuring system safety. The causes of accidents are even changing. This tutorial will cover fundamental concepts and techniques in building and ensuring safety in software-intensive systems, with particular emphasis on those aspects of complex systems not handled well by traditional system safety approaches, such as software requirements errors and accidents caused by dysfunctional interactions among components rather than component failure. While traditional system safety as applied to software and software-intensive systems will be covered, innovative, new approaches to hazard analysis, root-cause analysis, and risk management will be included.
Emphasis will be on procedures and techniques that are practical enough to be applied to projects today. Real project experiences with these techniques in different application areas will be described and recent software-related accidents will be reviewed and analyzed. You need not be a software engineer or programmer to understand the tutorial content.
This class is an abbreviated version of a week-long class that has been taught by Dr. Leveson for the past 15 years to over a thousand hardware and software engineers from 150 companies and government agencies.
Detailed Outline:
Computers and Risk
Safety vs. Reliability
A New Holistic, Control-Based Approach to System Safety
System Hazard Analysis for Complex, Software-Intensive Systems
Software Hazard Analysis
Requirements Specification, Modeling, and Analysis
Principles of safe software design
Presentation: safety_seminar_mapld06.ppt (posted by permission of the author)
Reference
- "A New Approach To System Safety Engineering," Nancy G. Leveson, Aeronautics and Astronautics, Massachusetts Institute of Technology. This is a draft copy of Nancy's new book and is in the process of being written. Since waiting until the book is complete to allow people to read it may mean the contents will be obsolete, Nancy has decided to place this draft on-line. The parts that are written should be intelligible and relatively complete. There are some chapters or sections that are not yet at the stage that they can be disseminated and one that has not yet been started. You are welcome to download the book and use it for noncommercial purposes (note the copyright on the front of the draft). If you would like to be informed when updates are made and chapters are added, send me your email address (leveson "at" mit.edu) and I will send you a notice and comments on how it can be improved are welcome.
Logistics
Location: Hemisphere B
Time: 9:00 am to 5:30 pm.
Seminar Schedule
- Start: 9:00 am
- Break: 10:30 am to 10:45 am
- Lunch: 12:30 pm to 1:30 pm
- Break: 3:30 pm to 3:45 pm
- End: 5:30 pm
Seminars: 2006 MAPLD International Conference
2006 MAPLD International Conference Home Page
Home - NASA Office of Logic Design
Last Revised:
February 03, 2010
Digital Engineering Institute
Web Grunt: Richard Katz
