In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a novel technique to analyze safety of embedded systems with formal methods. It substitutes error-prone informal reasoning by mathematical proofs. DCCA allows to rigorously prove whether a failure on component level is the cause fo...

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

In continuous casting, it is very important to predict and detect the internal cracks of billet in time for ensuring continuous production, improving product quality and reducing production costs. Clustering analysis (CA) method is adopted to do feature extraction and classification for on-site data, by which ladder parameter tables of processing parameters and defect grades of internal cracks ...

Risk and safety assessments performed on potentially hazardous industrial systems commonly utilise Fault Tree Analysis (FTA) to forecast the probability of system failure. The type of logic for the top event is usually limited to AND and OR gates which leads to a coherent fault tree structure. In non-coherent fault trees components’ working states as well as components’ failures contribute to t...

The main research intent of this paper is to introduce the use of fault tree analysis (FTA) and failure mode and effects analysis (FMEA) in conjunction to analyse the risk and reliability of a complex mechatronic system in both qualitative and quantitative manner. The major focus is on handling imprecise and vague information with the help of fuzzy synthesis of information. A complex mechatroni...

The paper deals with a quantitative approach to safety assessment process applicable to the safety-related system, specially the railway interlocking one. The authors present the methodology based on the Failure Mode and Effects Analysis (FMEA) and the Fault Tree Analysis (FTA) that is applicable to performing safety analysis of both electronic and computer based systems. The mathematical basis...

Radical Maintenance (RM) takes the root causes of failures as executive objects to make maintenance decisions. A Root Cause Analysis (RCA) is carried out on the function failure of equipment to performRMand to create a maintenance plan using the combined methods of Failure Mode, Effects and Criticality Analysis (FMECA), and Fault Tree Analysis (FTA). Evaluation criteria andmatrixes of criticali...

Over the last 50 years advances in technology have led to an increase in the complexity and sophistication of systems. More complex systems can be harder to maintain and the root cause of a fault more difficult to isolate. Down-time resulting from a system failure can be dangerous or expensive depending on the type of system. In aircraft systems the ability to quickly diagnose the causes of a f...

This experience report describes the lessons learned from the use of Software Failure Modes and EEects Analysis (SFMEA) for requirements analysis of critical spacecraft software. The SFMEA process was found to be successful in identifying some ambiguous , inconsistent, and missing requirements. More importantly, the SFMEA process, followed by a backward analysis somewhat similar to Fault Tree A...