Safety analysis for vehicle guidance systems with dynamic fault trees
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 …
proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety …
Causality checking for complex system models
F Leitner-Fischer, S Leue - … on Verification, Model Checking, and Abstract …, 2013 - Springer
We present an approach for the algorithmic computation of causalities in system models that
we refer to as causality checking. We base our notion of causality on counterfactual …
we refer to as causality checking. We base our notion of causality on counterfactual …
From probabilistic counterexamples via causality to fault trees
M Kuntz, F Leitner-Fischer, S Leue - … 2011, Naples, Italy, September 19-22 …, 2011 - Springer
In recent years, several approaches to generate probabilistic counterexamples have been
proposed. The interpretation of stochastic counterexamples, however, continues to be …
proposed. The interpretation of stochastic counterexamples, however, continues to be …
Probabilistic fault tree synthesis using causality computation
F Leitner-Fischer, S Leue - International Journal of Critical …, 2013 - inderscienceonline.com
In recent years, several approaches to generate probabilistic counterexamples have been
proposed. The interpretation of probabilistic counterexamples, however, continues to be …
proposed. The interpretation of probabilistic counterexamples, however, continues to be …
Dipro-a tool for probabilistic counterexample generation
The computation of counterexamples for probabilistic model checking has been an area of
active research over the past years. In spite of the achieved theoretical results in this field …
active research over the past years. In spite of the achieved theoretical results in this field …
Symbolic causality checking using bounded model checking
A Beer, S Heidinger, U Kühne, F Leitner-Fischer… - … SPIN Workshop on …, 2015 - Springer
In precursory work we have developed causality checking, a fault localization method for
concurrent system models relying on the Halpern and Pearl counterfactual model of …
concurrent system models relying on the Halpern and Pearl counterfactual model of …
Model-based safety analysis for vehicle guidance systems
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 …
proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety …
Causality for general LTL-definable properties
G Caltais, SL Guetlein, S Leue - arXiv preprint arXiv:1901.00588, 2019 - arxiv.org
In this paper we provide a notion of causality for the violation of general Linear Temporal
Logic (LTL) properties. The current work is a natural extension of the previously proposed …
Logic (LTL) properties. The current work is a natural extension of the previously proposed …
Spincause: a tool for causality checking
F Leitner-Fischer, S Leue - Proceedings of the 2014 International SPIN …, 2014 - dl.acm.org
In this paper we present the SpinCause tool for causality checking of Promela and PRISM
models. We give an overview of the capabilities of SpinCause and briefly sketch how the …
models. We give an overview of the capabilities of SpinCause and briefly sketch how the …
Modana: An integrated framework for modeling and analysis of energy-aware CPSs
B Cheng, X Wang, J Liu, D Du - 2015 IEEE 39th Annual …, 2015 - ieeexplore.ieee.org
Cyber-Physical Systems (CPSs) as advanced embedded systems integrating computation
with physical process are increasingly penetrating into our life. Modeling and analysis for …
with physical process are increasingly penetrating into our life. Modeling and analysis for …