Welcome to Telelogic Product Support
  Home Downloads Knowledgebase Case Tracking Licensing Help Telelogic Passport
Telelogic Rhapsody (steve huntington)
Decrease font size
Increase font size
Topic Title: Software System Safety
Topic Summary:
Created On: 22-Aug-2005 14:19
Status: Read Only
Linear : Threading : Single : Branch
Search Topic Search Topic
Topic Tools Topic Tools
Subscribe to this topic Subscribe to this topic
E-mail this topic to someone. E-mail this topic
Bookmark this topic Bookmark this topic
View similar topics View similar topics
View topic in raw text format. Print this topic.
 22-Aug-2005 14:19
User is offline View Users Profile Print this message


Brandi Carroll

Posts: 82
Joined: 22-Jul-2004

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)
Report this to a Moderator Report this to a Moderator
Statistics
20925 users are registered to the Telelogic Rhapsody forum.
There are currently 0 users logged in.
You have posted 0 messages to this forum. 0 overall.

FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.