Table of Contents
Software Safety Verification
PPT Slide
Vessel Temperature Display
PPT Slide
PPT Slide
System Safety
CFM Safety
System Hazards
Safe Requirements?
PPT Slide
System Safety Engineering
Safety Engineering Process
Safety Verification
Software Safety Verification
Safety Standards
Safety Requirements
CFM Safety Requirement
Safety-Critical Software
Safety Verification Techniques
Limitations of Testing
Feasibility of Static Analysis
Safety Standards’ Recomendations
Software Fault-Injection
Extended Propagation Analysis
Case Study: Bay Area Rapid Transit
Program Verification
The SPARK Tools
Case Study: C-130J Hercules Aircraft
References
|
Author: Ken Wong
Email: kwong@cs.ubc.ca
Home Page: http://www.cs.ubc.ca/spider/kwong/home.html
|