English
Related papers

Related papers: Dynamic Fault Trees Analysis using an Integration …

200 papers

Fault trees are a key model in reliability analysis. Classical static fault trees (SFT) can best be analysed using binary decision diagrams (BDD). State-based techniques are favorable for the more expressive dynamic fault trees (DFT). This…

Software Engineering · Computer Science 2022-03-29 Daniel Basgöze , Matthias Volk , Joost-Pieter Katoen , Shahid Khan , Marielle Stoelinga

Dynamic Fault Trees (DFTs) is a widely used failure modeling technique that allows capturing the dynamic failure characteristics of systems in a very effective manner. Simulation and model checking have been traditionally used for the…

Logic in Computer Science · Computer Science 2018-08-01 Yassmeen Elderhalli , Waqar Ahmad , Osman Hasan , Sofiene Tahar

This paper considers the design-phase safety analysis of vehicle guidance systems. The proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety concepts and E/E architectures for drive automation. The fault trees…

Software Engineering · Computer Science 2019-03-14 Majdi Ghadhab , Sebastian Junges , Joost-Pieter Katoen , Matthias Kuntz , Matthias Volk

This paper presents a new state space generation approach for dynamic fault trees (DFTs) together with a technique to synthesise failures rates in DFTs. Our state space generation technique aggressively exploits the DFT structure ---…

Software Engineering · Computer Science 2019-03-14 Matthias Volk , Sebastian Junges , Joost-Pieter Katoen

Dynamic Fault Trees (DFT) and Dynamic Reliability Block Diagrams (DRBD) are two modeling approaches that capture the dynamic failure behavior of engineering systems for their reliability analysis. Recently, two independent higher-order…

Logic in Computer Science · Computer Science 2019-10-22 Yassmeen Elderhalli , Osman Hasan , Sofiene Tahar

Fault Tree Analysis (FTA) is a well-established method in failure analysis and is widely used in safety and reliability assessments. While FTA tools enable users to manage complex analyses effectively, they can sometimes obscure the…

Systems and Control · Electrical Eng. & Systems 2025-07-09 Hamid Jahanian

Fault Tree (FT) is a standard failure modeling technique that has been extensively used to predict reliability, availability and safety of many complex engineering systems. In order to facilitate the formal analysis of FT based analyses, a…

Logic in Computer Science · Computer Science 2016-08-24 Waqar Ahmed , Osman Hasan

Pandora temporal fault tree, as one notable extension of the fault tree, introduces temporal gates and temporal laws. Pandora Temporal Fault Tree(TFT) enhances the capability of fault trees and enables the modeling of system failure…

Systems and Control · Electrical Eng. & Systems 2024-11-18 Hitesh Khungla , Mohit Kumar

Cyber-physical systems, like Smart Buildings and power plants, have to meet high standards, both in terms of reliability and availability. Such metrics are typically evaluated using Fault trees (FTs) and do not consider maintenance…

Logic in Computer Science · Computer Science 2018-01-15 Nathalie Cauchi , Khaza Anuarul Hoque , Alessandro Abate , Marielle Stoelinga

Fault Tree Analysis (FTA) is a dependability analysis technique that has been widely used to predict reliability, availability and safety of many complex engineering systems. Traditionally, these FTA-based analyses are done using…

Logic in Computer Science · Computer Science 2015-05-12 Waqar Ahmed , Osman Hasan

As one type of machine-learning model, a "decision-tree ensemble model" (DTEM) is represented by a set of decision trees. A DTEM is mainly known to be valid for structured data; however, like other machine-learning models, it is difficult…

Software Engineering · Computer Science 2020-05-25 Naoto Sato , Hironobu Kuruma , Yuichiroh Nakagawa , Hideto Ogawa

Fault tree analysis is a well-known technique in reliability engineering and risk assessment, which supports decision-making processes and the management of complex systems. Traditionally, fault tree (FT) models are built manually together…

Neural and Evolutionary Computing · Computer Science 2022-04-11 Lisandro A. Jimenez-Roa , Tom Heskes , Tiedo Tinga , Marielle Stoelinga

Fault tree analysis is a vital method of assessing safety risks. It helps to identify potential causes of accidents, assess their likelihood and severity, and suggest preventive measures. Quantitative analysis of fault trees is often done…

Artificial Intelligence · Computer Science 2024-03-15 Thi Kim Nhung Dang , Milan Lopuhaä-Zwakenberg , Mariëlle Stoelinga

In reliability engineering, we need to understand system dependencies, cause-effect relations, identify critical components, and analyze how they trigger failures. Three prominent graph models commonly used for these purposes are fault…

Other Computer Science · Computer Science 2023-10-10 L. A. Jimenez-Roa , T. Heskes , M. Stoelinga

Reasoning about causes and effects naturally arises in the engineering of safety-critical systems. A classical example is Fault Tree Analysis, a deductive technique used for system safety assessment, whereby an undesired state is reduced to…

Artificial Intelligence · Computer Science 2017-10-11 Marco Bozzano

Data-flow testing (DFT) aims to detect potential data interaction anomalies by focusing on the points at which variables receive values and the points at which these values are used. Such test objectives are referred as \emph{def-use…

Software Engineering · Computer Science 2019-04-02 Ting Su , Chengyu Zhang , Yichen Yan , Lingling Fan , Geguang Pu , Yang Liu , Zhoulai Fu , Zhendong Su

Fault Tree analysis is a widely used failure analysis methodology to assess a system in terms of safety or reliability in many industrial application domains. However, with Fault Tree methodology there is no possibility to express a…

Software Engineering · Computer Science 2021-06-02 Marc Zeller , Francesco Montrone

Fault tree analysis is a technique widely used in risk and reliability analysis of complex engineering systems given its deductive nature and relatively simple interpretation. In a fault tree, events are usually represented by a binary…

Other Computer Science · Computer Science 2022-04-26 Gabriel San Martin Silva , Tarannom Parhizkar , Enrique Lopez Droguett

The growing complexity of safety-relevant systems causes an increasing effort for safety assurance. The reduction of development costs and time-to-market, while guaranteeing safe operation, is therefore a major challenge. In order to enable…

Software Engineering · Computer Science 2021-06-08 Sebastian Reiter , Marc Zeller , Kai Hoefig , Alexander Viehl , Oliver Bringmann , Wolfgang Rosenstiel

The importance of mission or safety critical software systems in many application domains of embedded systems is continuously growing, and so is the effort and complexity for reliability and safety analysis. Model driven development is…

Software Engineering · Computer Science 2021-06-01 Kai Hoefig , Andreas Joanni , Marc Zeller , Francesco Montrone , Martin Rothfelder , Rakshith Amarnath , Peter Munk , Arne Nordmann
‹ Prev 1 2 3 10 Next ›