Fault analysis and resolution of faults should be part of any end-to-end system development
process. This paper is concerned with developing a formal transformation method that maps …

A concept of flow is introduced to represent any material, information, energy, activity, or
phenomenon which can move or propagate along flow paths to cause events specific to the …

This thesis proposes a model transformation to automatically generate Fault Tree models
from UML models annotated with dependability annotations. Fault tree analysis is a top …

Fault tree analysis (FTA) is a top‐down method for identifying the discrete primary failure
events that lead to system failures (top level events), and the means for determining the …

Abstract Model‐based systems engineering is a powerful methodology to develop safety‐
critical systems. The use of the system model as a single source of truth for risk and …

The problem of modeling knowledge about the fault behavior of a system and utilizing this
model for reasoning about and diagnosing failures is addressed. A solution that merges …

This paper presents a new theory of fault trees for complex systems. The theory treats faults
as behaviours, and fault-tree gates as operations on those behaviours. Fault tree analysis is …

This study presents a new definition of events, an extended decision table, a virtual transfer
component, and two pruning procedures for use in systematically constructing fault trees …

Systems are getting increasingly complex and challenging to design. For safety-critical
systems, the integration between model-based systems engineering and model-based …

This paper is Part II of a series devoted to fault tree synthesis. Part I started with the
introduction of component models that showed all fault propagation through the components …