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

Transportation control systems are safety critical systems. While a couple of years ago control systems mainly used to be built up from (electro-) mechanical devices, nowadays more and more functionality is software controlled. To sustain the high level safety standards for these embedded systems, we propose to use fault tree analysis integrated with formal methods for analyzing system safety. ...

The potential gains of deploying sensor networks for large scale applications are being realized. One of the basic operations in sensor networks is in-network aggregation. Among the various approaches to in-network aggregation, such as gossip and tree, including the hash-based techniques, the tree-based approaches have better performance and energy-saving characteristics. However, sensor networ...

System fault-tree analysis is a technique for modeling dependability that is in widespread use. For systems that include software, the integration of software data into fault trees has proved problematic. In this paper we discuss a number of techniques that can be used to make the assessment of software dependability by testing both more tractable and more suitable for use in system fault-tree ...

In this paper a new method for mapping fault tree into fuzzy algorithms is introduced. This method is based on the minimal cut sets of a fault tree. This method is characterized by its one-to-one mapping from fault tree (FT) to fuzzy algorithm (FA) and vice versa. So it is consider a canonical method to map FTs into FA. Fault tree analysis (FTA) is a risk analysis technique to assess likelihood...

The afterburner is essential for military aeroengines, providing rapid thrust increase during critical maneuvers. However, complex failure mechanisms pose challenges fault diagnosis and troubleshooting. This study investigates a specific aviation engine’s engagement principle typical faults, using tree analysis computational fluid dynamics (CFD). We propose hybrid diagnostic architecture combin...

The development of a systematic fault-tree synthesis procedure for the override control systems is presented in this paper. The unique configuration of the digraph model under study is first described and then analyzed in detail. On the basis of qualitative simulation of the fault propagation patterns, the corresponding generalized fault-tree structures are then established. It can be observed ...

In this paper we present a case study of using interactive visualization of fault trees and fault tree analysis to improve understanding of the concept of fault trees and the exploration of the results of their analysis. The fault tree model is widely used by experts to analyze risks in many different fields. We believe that the current way of interacting with these fault tree models and the re...

We outline relevant characteristics of the vehicle diagnosis domain and requirements for diagnosis support. We argue that a combination of a model-based and a fault-tree approach will meet the requirements. We motivate and specify the task of automated modeling and develop a method to derive linear algebraic models of a given device. Models are derived by performing series-parallel analysis and...

Computer diagnosis systems grounded on hand-crafted fault trees are widespread in industrial practice. Since the complexity of technical systems increases and innovation cycles get shorter, the need for systematic fault tree generation and maintenance arises. In this paper, the MAD system is introduced which generates fault trees based on models of technical devices. Since a fault tree can be g...