Probabilistic Model-Based Safety Analysis

@inproceedings{Gdemann2010ProbabilisticMS,
  title={Probabilistic Model-Based Safety Analysis},
  author={Matthias G{\"u}demann and Frank Ortmeier},
  booktitle={QAPL},
  year={2010}
}
Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, failure modes and environment). The advantage of these methods compared to traditional approaches is that the analysis of the whole system gives more precise results. Only few model-based approaches have been applied to answer quantitative questions in safety analysis, often limited to analysis of specific failure propagation models, limited… 

Figures from this paper

Quantitative Model-Based Safety Analysis: A Case Study
TLDR
This paper illustrates how an approach for quantitative model-based safety analysis is used to model and analyze a real-world case study from the railway domain.
Towards model-driven safety analysis
TLDR
SAML is a tool-independent modeling framework that allows for the construction of models with both non-deterministic and probabilistic behavior that makes it an ideal intermediate language for a model-driven safety analysis approach.
A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis
TLDR
This paper proposes the SAML framework as a formal foundation for both qualitative and quantitative formal model-based safety analysis, and presents sound transformation of the formalism into two state of the art model-checking notations.
Model-Based Multi-objective Safety Optimization
TLDR
This paper shows how model-based safety analysis can be combined with multi-objective optimization to balance a safety critical system wrt.
Using Tool-Supported Model Based Safety Analysis -- Progress and Experiences in SAML Development
TLDR
A new tool to intuitively create probabilistic, non-deterministic and deterministic specifications for formal analysis is presented to give tool-support during modeling and thus make building a formal model less error-prone.
Multi-objective Optimization of Formal Specifications
TLDR
This paper presents a framework which allows for optimization of arbitrary quantitative goal functions, in particular probabilistic temporal logic properties used for model-based safety analysis, which is well applicable to other domains.
Unified Functional Safety Assessment of Industrial Automation Systems
TLDR
A unifying model-based approach for the quantitative and qualitative analysis of IEC 61499 designs is proposed, which combines Markov analysis and model checking to estimate quantified risk and is more expressive than traditional analyses like reliability block diagrams.
Model-based System Reliability Analysis by using Monte Carlo Methods
TLDR
A method for system reliability analysis of large and complex systems with multiple failure modes is proposed by combining the Monte Carlo (MC) method and model-based technology, which can avoid the dependence on the subjective judgment and experience of analysts.
Quantitative Verification of System Safety in Event-B
TLDR
The proposed approach is based on an extension of Event-B, which allows us to perform quantitative assessment of safety within proof-based verification of system behaviour, which enables development of systems that are not only correct but also safe by construction.
Model-based Safety Assessment as Integrated Part of System Development
TLDR
A method to standardize safety analysis using a model-based technology for efficient combination of safety methods and common system development to ensure, that safety relevant results will significantly enhance the system development process.
...
...

References

SHOWING 1-10 OF 51 REFERENCES
Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform
TLDR
The FSAP/NuSMV-SA platform is presented, based on the NuSMV2 model checker, that implements known and novel techniques to help safety engineers perform safety analysis and provides an environment that can be used both by design engineers to formally verify a system and by safety engineers to automate certain phases of safety assessment.
Probabilistic Model-Checking Support for FMEA
TLDR
This paper proposes a method for FMEA which makes use of probabilistic fault injection and Probabilistic model checking, and safety engineers are able to formally identify if a failure mode occurs with a probability higher than its tolerable hazard rate.
FORMAL FAILURE MODELS
TLDR
This paper presents a systematic approach to formally model failure modes, and applies the method to a real world case study: a radio-based railroad crossing.
ESACS: an integrated methodology for design and safety analysis of complex systems
TLDR
A new methodology is proposed, based on these novel techniques and supported by commercial and state-of-the-art tools, whose goal is to improve the safety analysis practices carried out during the development and certification of complex systems.
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
TLDR
This paper shows how one formal safety analysis method - Deductive Cause-Consequence Analysis (DCCA) - can be integrated in the SCADE framework, which allows for performing safety analysis largely automatically.
2.2.1 Model‐based Safety Analysis of a Flap Control System
TLDR
Using an aircraft Flap control system, this paper shows how to smoothly integrate the fault tree analysis technique into an existing model‐based process.
Deductive cause-consequence analysis (DCCA)
TLDR
This paper applies deductive cause-consequence analysis to a real world case study: the height control in the Elbe-tunnel in Hamburg, showing how formal safety analysis with DCCA helps identifying design flaws and weaknesses in a real-world industrial system.
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
TLDR
A novel hybrid technique which combines aspects of symbolic and explicit approaches to overcome performance problems in probabilistic model checking, and achieves a dramatic improvement over the purely symbolic approach.
Designing Safe, Reliable Systems Using Scade
TLDR
This paper presents a tool that helps engineers design safe and reliable systems and allows to perform Failure Mode and Effect Analysis, which consists of verifying whether systems remain safe when selected components fail.
Stochastic Model Checking
TLDR
This tutorial presents an overview of model checking for both discrete and continuous-time Markov chains (DTMCs and CTMCs) by outlining the main features supported by PRISM and three real-world case studies: a probabilistic security protocol, dynamic power management and a biological pathway.
...
...