Automating the failure modes and effects analysis of safety critical systems

Authors:
Yiannis Papadopoulos;David Parker;Christian Grante
Affiliations:
Department of Computer Science, University of Hull, U.K.;Department of Computer Science, University of Hull, U.K.;Volvo Cars Corporation, Sweden
Venue:
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Year:
2004

Citing 1
Cited 6

FSPICE: a tool for fault modelling in MOS circuits

Integration, the VLSI Journal

Tool support for incremental failure mode and effects analysis of component-based systems

Proceedings of the conference on Design, automation and test in Europe
SafeSpection --- A Systematic Customization Approach for Software Hazard Identification

SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
An outline of an architecture-based method for optimizing dependability attributes of software-intensive systems

Architecting dependable systems IV
Extending failure modes and effects analysis approach for reliability analysis at the software architecture design level

Architecting dependable systems IV
Generalizable safety annotations for specification of failure patterns

Software—Practice & Experience
An automated failure mode and effect analysis based on high-level design specification with behavior trees

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract