A formal approach to hazard decomposition in Software Fault Tree Analysis
As digital control systems are used in life-critical applications, assessment of the safety of these control systems becomes increasingly important. One means of formally performing this assessment is through fault tree analysis. Software Fault Tree Analysis (SFTA) starts with a system-level hazard...
Main Author: | |
---|---|
Other Authors: | |
Language: | en_US |
Published: |
Monterey, California: Naval Postgraduate School
2013
|
Online Access: | http://hdl.handle.net/10945/28230 |