Safety Analysis of the Height Control System for the Elbtunnel

Ortmeier, Frank; Schellhorn, Gerhard; Thums, Andreas; Reif, Wolfgang; Hering, Bernhard; Trappschuh, Helmut

doi:10.1007/3-540-45732-1_29

Cited by 9 publications

(10 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This algebraic model is classically used to perform both the qualitative and quantitative analysis of SFTs directly. For complex systems, these analyses are most often performed thanks to BDDbased methods [9,19] or other combinatorial techniques [1,17].…”

Section: Introductionmentioning

confidence: 99%

Algebraic determination of the structure function of Dynamic Fault Trees

Merle

Roussel

Lesage

2011

Reliability Engineering & System Safety

View full text Add to dashboard Cite

This paper presents an algebraic framework allowing to algebraically model dynamic gates and determine the structure function of any Dynamic Fault Tree (DFT). This structure function can then be exploited to perform both the qualitative and quantitative analysis of DFTs directly, even though this latter aspect is not detailed in this paper. We illustrate our approach on a DFT example from the literature.

show abstract

Section: Introductionmentioning

confidence: 99%

Algebraic determination of the structure function of Dynamic Fault Trees

Merle

Roussel

Lesage

2011

Reliability Engineering & System Safety

View full text Add to dashboard Cite

show abstract

“…Design variants. Previous analyses revealed that collisions and false alarms can happen without any sensor fault occurrences [30]. Design alternatives were proposed to fix the problem, necessitating additional safety analyses to check for newly introduced safety issues.…”

Section: Height Control Mechanismmentioning

confidence: 99%

“…Furthermore, S# can directly compute the hazard probabilities in these models using algorithms of the Markov chain model checker MRMC. This paper provides an overview of modeling and analyzing safety-critical systems with S#, using a well-known case study from the transportation sector [30]. It discusses the core concepts of S#'s modeling language and the underlying model of computation; particular emphasis is placed on S#'s flexible system design variant modeling and composition capabilities as well as its support for fault modeling.…”

Section: Introductionmentioning

confidence: 99%

Qualitative and quantitative analysis of safety-critical systems with

Leupolz

Knapp

Habermaier

et al. 2017

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

We give an overview of the S# (pronounced "safety sharp") framework for rigorous, model-based analysis of safety-critical systems. We introduce S#'s expressive modeling language based on the C# programming language, showing how S#'s fault modeling and flexible model composition capabilities can be used to model a case study from the transportation sector with multiple design variants. A formal semantics for executable probabilistic models is given. Fully automated qualitative and quantitative safety analyses are conducted for the case study using algorithms of the model checkers LTSmin and MRMC. The results of the quantitative analyses are discussed in comparison with results obtained by using traditional techniques. Keywords Safety analysis• Model checking • Quantitative analysis • Executable models • Formal methods B Johannes Leupolz

show abstract

“…An approach, that combines a safety assessment methodology (fault tree analysis) and a formal methodology (model checking) to provide formal, automated and qualitative assistance to informal and quantitative safety assessmentis presented in [32]. An application of model checking and fault tree analysis for the safety analysis of an embedded system is described in [33]. The use of model checking for fault coverage analysis has been proposed in [34,35].…”

Section: Dynamic Reliability Modelling Approachesmentioning

confidence: 99%