Model-Based Synthesis of Fault Trees from Matlab-Simulink Models
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
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
Testing to certify an embedded software system
Journal of Computing Sciences in Colleges
Model-Driven safety evaluation with state-event-based component failure annotations
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Hi-index | 0.00 |
Limitations in scope but also difficulties with the efficiency and scalability of present algorithms seem to have so far limited the industrial uptake of existing automated FMEA technology. In this paper, we describe a new tool for the automatic synthesis of FMEAs which builds upon our earlier work on fault tree synthesis. The tool constructs FMEAs from engineering diagrams (e.g. developed in Matlab-Simulink) that have been augmented with information about component failures. To generate a system FMEA, the tool first generates a "forest" of interconnected system fault trees by traversing the system model. This "forest" is then mechanically translated into a simple table of direct relationships between component and system failures, effectively a system FMEA. We describe the architecture of the tool and demonstrate its application on a steer-by-wire prototype. We also discuss its performance and show that this approach could lead to efficient ways of generating useful analyses from design representations.