Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Formal verification of fault tolerance in safety-critical reconfigurable modules
International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems
SCS '04 Proceedings of the 9th Australian workshop on Safety critical systems and software - Volume 47
Automating the failure modes and effects analysis of safety critical systems
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Safety interfaces for component-based systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Computer-aided PHA, FTA and FMEA for automotive embedded systems
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Hi-index | 0.00 |
Failure Mode and Effects Analysis (FMEA) is a well-known technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done manually which makes it both time-consuming and costly, specially for large and complex systems. Also, small modifications in the design may result in a complete revision of the initial FMEA. This paper presents a tool support for automated incremental component-based FMEA of SW and HW. It is based on component safety interfaces and a formal compositional safety analysis method. This tool support enables engineers to focus on more important steps in the safety assessment process. Also, during system upgrades, the tool incrementally registers the changes and identifies possible effects in the FMEA which enables the use of earlier safety analysis results. Finally, this formal approach based on design models of the components and the system always creates FMEAs which are consistent with the system design.