Late Life-Cycle Software Risk Assessments and Reductions
Outline
Software Fault Injection
Software Fault-Injection
Ways to Implement
Algorithm for Injecting.Internal Data Anomalies
Injecting Internal Data Anomalies
PRED: Undesirable Software Outputs
PPT Slide
Algorithms for Injecting.External Data Anomalies
Goal
Interface Propagation Analysis (IPA)
Estimating "Propagation Across"
Estimating "Propagation From"
Particularly Useful for Acquired Software
Operating System and DB Calls
Mitigation Strategies
"Propagation From/Across " Satisfies PRED?
Neural Net Approach
Case Studies
Case Studies from EPA Fault Injection
Bay Area Rapid Transit
UVA Prototype Magneto Stereotaxis System
Software hazards:
Halden. Nuclear. Reactor . Project
Other Types of Software .Applications
Application: Continuous Operation Systems
Questions of Interest …..
Application: Component-Based System
Other Non-Software Applications
Firewall and Partition Testing
Hazard Mining
Fault Injection Compliments
Off-Nominal Testing
Inverted Distributions: Rare Inputs
Summary Points
Certifying Safe Behavior from Observations
Conclusions
Email: jmvoas@rstcorp.com
Home Page: http://www.rstcorp.com/presentations/