Model-based synthesis of fault trees from Matlab-Simulink models

Papadopoulos, Yiannis; Maruhn, Matthias

doi:10.1109/dsn.2001.941393

Cited by 80 publications

(49 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The tool is experimental but usable by third parties and has so far been used in complex case studies (e.g. those reported in Papadopoulos, et al, 2001Papadopoulos, et al, & 2004. Volvo is currently evaluating the tool in a study performed on an advanced steer-by-wire prototype.…”

Section: Tool and Applicationsmentioning

confidence: 99%

See 1 more Smart Citation

Continuous Assessment of Designs and Re-Use in Model-Based Safety Analysis

Papadopoulos

Grante

Grunske

et al. 2005

IFAC Proceedings Volumes

View full text Add to dashboard Cite

To deliver complex functionalities in a cost effective manner, distributed manufacturing systems should ideally be based on standard interoperable components and be flexible and easily extensible. At the same time, systems must be demonstrably safe and reliable. In this paper, we argue that to balance these conflicting demands effective safety analysis techniques are required that partly automate and simplify off-line safety assessment. We outline a technique that automates the construction of fault trees and FMEAs and explain how this technique can be repeatedly applied in the course of the design life-cycle on functional and architectural models to enable continuous assessment of evolving designs. Finally, we discuss the issue of re-use of safety analyses and give examples of how such reuse simplifies the assessment.

show abstract

Section: Tool and Applicationsmentioning

confidence: 99%

“…To support the proposed process, we have developed a tool that generates system fault trees and FMEAs from Matlab-Simulink models (Papadopoulos and Maruhn, 2001). The synthesised fault trees and their analyses (cut-sets and FMEA) are presented in interactive graphical and tabular form in an HTML viewer.…”

Section: Tool and Applicationsmentioning

confidence: 99%

Continuous Assessment of Designs and Re-Use in Model-Based Safety Analysis

Papadopoulos

Grante

Grunske

et al. 2005

IFAC Proceedings Volumes

View full text Add to dashboard Cite

show abstract

“…Examples of Failure Logic Modeling can be found in [17], [8] an [16]. The most similar approach to this paper are the Hierarchically Performed Hazard Operation and Propagation Studies (HiP-HOPS), which annotate subsystems in Matlab/Simulink with propositional formulas, which are mathematically equivalent to fault trees [16]. The approach has already been integrated into EAST-ADL [2], which extends the UML/SysML.…”

Section: Introductionmentioning

confidence: 99%

“…In failure logic modeling, the safety analysis can be performed in the way the safety engineer is familiar with, but modularly and in parallel to the design model, which helps to handle complexity and increases the communication between safety and system engineering. Examples of Failure Logic Modeling can be found in [17], [8] an [16]. The most similar approach to this paper are the Hierarchically Performed Hazard Operation and Propagation Studies (HiP-HOPS), which annotate subsystems in Matlab/Simulink with propositional formulas, which are mathematically equivalent to fault trees [16].…”

Section: Introductionmentioning

confidence: 99%

Integration of Component Fault Trees into the UML

Adler¹,

Domis²,

Höfig³

et al. 2011

Models in Software Engineering

View full text Add to dashboard Cite

Abstract. Efficient safety analyses of complex software intensive embedded systems are still a challenging task. This article illustrates how model-driven development principles can be used in safety engineering to reduce cost and effort. To this end, the article shows how well accepted safety engineering approaches can be shifted to the level of model-driven development by integrating safety models into functional development models. Namely, we illustrate how UML profiles, model transformations, and techniques for multi language development can be used to seamlessly integrate component fault trees into the UML.

show abstract

“…Such model-driven approaches (applied in the architecture design phase) are used to automatically produce Fault Trees and FMEA tables based on an architecture design specification annotated with information about the failure behavior of the architectural components. Example languages for these annotations are: Failure Propagation and Transformation Notation (FPTN) [12,13], Component Fault Trees (CFTs) [31], State Event Fault Trees (SEFTs) [20,30], Fault Propagation and Transformation Calculus (FPTC) [48] and the Tabular Failure Annotation of the HiP HOPS methodology [39,40,41]. Some of these architecture-based modeldriven safety evaluation techniques have been applied in industrial case studies (e.g.…”

Section: Introductionmentioning

confidence: 99%