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 M...

Many processes are safety critical and therefore could benefit from proactive safety analysis techniques that attempt to identify weaknesses of such processes before they are put into use. In this paper, we propose an approach that automatically derives Failure Mode and Effect Analysis (FMEA) information from processes modeled in the Little-JIL process definition language. Typically FMEA inform...

Abstract Failure mode and effect analysis (FMEA) is a systematic approach for identifying potential failures before they occur, with the intent to minimize the risk associated with them. It has been widely used in the various manufacturing industries as a solution to reliability problems. As the importance of the service sector is increasing, however, it has been recently extended to some appli...

Emerging safety analysis techniques use composition of failure models or fault simulation in formal models of a system to determine relationships between the causes and effects of failure. Most recent work has focused on developing system modelling and algorithms for automatic safety analysis. However, little work has focused on developing principles to improve reuse of safety analyses in the c...

The paper presents objectives and results of a series of case studies in computer support for diagnosis, failure mode and effects analysis, and the creation of repair manuals in the domain of automotive systems. Model-based prediction and diagnosis reflect the requirements of these tasks. More specifically, qualitative models of system components are necessary for both capturing the available k...

Diagnosis, i.e., fault localization in case of observing an unexpected behavior, is an important practical problem. During the past decades researchers have suggested several approaches for using models of the systems directly for identifying the root causes of failure. This model-based diagnosis approaches are either based on retaining consistency or on abduction. Despite their advantages both...

Fully autonomous vehicles promise enormous gains in safety, efficiency, and economy for transportation. However, before such gains can be realized, a plethora of safety and reliability concerns must be addressed. In previous work, we have introduced a system for managing autonomous vehicles at intersections that is capable of handling more vehicles and causing fewer delays than modern-day mecha...

This paper proposes a method of analysis for evaluating failure detectors. The method can be applied to compare the performance of failure detectors in a given environment. Through a cost analysis approach, this method creates a cost metric, averagelost, which might tackle with comparing two failure detectors. Through the consequent experiment, we conclude that the value of a failure detector d...

This paper describes how the effects of possible component failures on an electrical system can be predicted through simulation of the correct behavior of the system, and repeated simulation of versions of the system containing faulty components. The results of such simulation are useful both for failure mode and effects analysis (FMEA), and for diagnosis. Such results have been used commercial...

This paper describes an incremental scenario-based simulation approach to evaluation of intelligent software for control and management of hardware systems. A hybrid continuous/discrete event simulation of the hardware dynamically interacts with the intelligent software in operations scenarios. Embedded anomalous conditions and failures in simulated hardware can lead to emergent software behavi...