Fault discovery in the complex systems consist of model based reasoning, fault tree analysis, rule based inference methods, and other approaches. Model based reasoning builds models for the systems either by mathematic formulations or by results of experiments. Fault Tree Analysis shows the possible causes of a system malfunction by enumerating the suspect components and their respective failur...

Safety is of major concern in many applications such as in automotive systems and aerospace. In these applications it is standard to use fault trees, and a natural question in many modern systems that include sub-systems like diagnosis, fault tolerant control and autonomous functions, is how to include the performance of these algorithms in a fault tree analysis for safety. Many possibilities e...

Even ifsofiware code is fault-free, hardware failures can alter value in memory, possibly where the code itself is stored, causing a computer system to reach an unacceptable state. Microprocessor systems are used to perform many safey and security functions where a design goal is to eliminate single-pointfailures such as these. One design approach is to use multiple processors, compare the outp...

Fault tolerance is increasingly important in modern autonomous or industrial robots. The ability to detect and tolerate failures allows robots to e ectively cope with internal failures and continue performing designated tasks without the need for immediate human intervention. To support these fault tolerant capabilities, methods of detecting and isolating failures must be perfected. This thesis...

This paper proposes a model transformation to automatically generate Fault Tree models from UML software models annotated with dependability annotations. The goal is to extend the model-driven software development process with the capability of verifying some important dependability properties (such as reliability, safety) starting early in the software lifecycle, by solving the generated Fault...

Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing system safety by uncovering safety flaws and weaknesses of the system. The main drawback of this analysis technique is, that it is based on informal grounds, so safety flaws may be overlooked. This is an issue, where forma...

In the last 30 years various mathematical models have been used to identify the effect of component failures on the performance of a system. The most frequently used technique for system reliability assessment is Fault Tree Analysis (FTA) and a large proportion of its popularity can be attributed to the fact that it provides a very good documentation of the way that the system failure logic was...

Traditional fault tree analysis is not always sufficient when analysing complex systems. To overcome the limitations dynamic fault tree (DFT) analysis is suggested in the literature as well as different approaches for how to solve DFTs. For added value in fault tree analysis, approximate DFT calculations based on a Markovian approach are presented and evaluated here. The approximate DFT calcula...