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 …
Program actions as actual causes: A building block for accountability
Protocols for tasks such as authentication, electronic voting, and secure multiparty
computation ensure desirable security properties if agents follow their prescribed programs …
computation ensure desirable security properties if agents follow their prescribed programs …
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 …
A general trace-based framework of logical causality
G Gössler, D Le Métayer - International Workshop on Formal Aspects of …, 2013 - Springer
In component-based safety-critical embedded systems it is crucial to determine the cause (s)
of the violation of a safety property, be it to issue a precise alert, to steer the system into a …
of the violation of a safety property, be it to issue a precise alert, to steer the system into a …
[HTML][HTML] A general framework for blaming in component-based systems
G Gößler, D Le Métayer - Science of Computer Programming, 2015 - Elsevier
In component-based safety-critical embedded systems it is crucial to determine the cause (s)
of the violation of a safety property, be it to issue a precise alert, to steer the system into a …
of the violation of a safety property, be it to issue a precise alert, to steer the system into a …
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 …
Dependability assessment of SOA-based CPS with contracts and model-based fault injection
L Dal Lago, O Ferrante, R Passerone… - IEEE Transactions on …, 2017 - ieeexplore.ieee.org
Engineering complex distributed systems is challenging. Recent solutions for the
development of cyber-physical systems (CPS) in industry tend to rely on architectural …
development of cyber-physical systems (CPS) in industry tend to rely on architectural …
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 …
Regulation on safety and civil liability of intelligent autonomous robots: The case of smart cars
MA Cappelli - 2015 - iris.unitn.it
Nowadays science and technology offer us artificial intelligence (AI)“embodied” in robots.
They are able to self-learn, self-organize and self-reproduce, thanks to genetic algorithms …
They are able to self-learn, self-organize and self-reproduce, thanks to genetic algorithms …
A causality analysis framework for component-based real-time systems
We propose an approach to enhance the fault diagnosis in black-box component-based
systems, in which only events on component interfaces are observable, and assume that …
systems, in which only events on component interfaces are observable, and assume that …