![]() |
Telelogic Rhapsody (steve huntington) | ![]() |
Topic Title: Software System Safety Topic Summary: Created On: 22-Aug-2005 14:19 Status: Read Only |
Linear : Threading : Single : Branch |
![]() |
![]()
|
![]() |
|
Software System Safety
Instructor: Robyn Lutz Iowa State University 226 Atanasoff Hall ISU Ames, IA 50011-1041 Introduction, definitions, and resources (1) Hazard analysis (4) Derivation of software hazards Software Fault Tree Analysis Software Failure Modes, Effects, and Criticality Analysis Combined mechanisms Safety requirement specification and analysis (5) Requirements engineering of safety-critical systems Formal specification and analysis Integrating informal and formal methods Designing for safety (5) Design overview, software architectural analysis & description languages Prevention, Detection, Control and Recovery Design specification and analysis (Rhapsody) Safety-critical product lines and safe reuse Verification and validation of safety-critical systems (5) Model checking Testing & infeasibility of testing Maintaining software for safe systems Verification of autonomous systems High-consequence systems (5) Safety mechanisms for assuring software security Safety and reliability Safety and fault tolerance Software safety certification (1) Safety standards and their problems Making a safety case (Numbers in parentheses indicate number of class periods) |
|
![]() |
FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.