An integrated tool set for software safety analysis
Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
Safeware: system safety and computers
Safeware: system safety and computers
Safety Critical Computer Systems
Safety Critical Computer Systems
Requirements analysis using forward and backward search
Annals of Software Engineering
Architecting dependable systems IV
Obtaining valid safety data for software safety measurement and process improvement
Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement
Software failure analysis in requirement phase
Proceedings of the 5th India Software Engineering Conference
Hi-index | 0.00 |
Current needs for high-reliability, reusable software; rapid, evolutionary development; and verification of innovative software architectures have focused attention on improving techniques for analyzing the safety and reliability of embedded software. The work reported here integrates two successful safety analysis techniques which have been used separately on software and hardware into the system hazard analysis. This process combines Software Failure Modes and Effects Criticality Analysis (SFMECA) and Software Fault Tree Analysis (SFTA) in a way that can be readily adapted to a particular project's evolving system needs. The technique was used on two recent space instruments: the Mars Microprobe Project and the Earth Orbiting System's Microwave Limb Sounder. The main lessons learned from this experience are discussed: (1) flexible use, (2) a risk-driven rather than sequential approach, (3) "zoom-in/zoom-out" use, (4) SFMECA and SFTA as complementary techniques, (5) preserving traceability, and (6) applicability to fault protection software.