Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated compositional Markov chain generation for a plain-old telephone system
Science of Computer Programming
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Compositional Performability Evaluation for STATEMATE
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains
DSN '07 Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems
DSN '07 Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Towards a unified model-based safety assessment
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Sigref: a symbolic bisimulation tool box
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
From probabilistic counterexamples via causality to fault trees
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Model-based multi-objective safety optimization
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Hi-index | 0.00 |
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Based on standard design notations (Statecharts) annotated with fault occurrence distributions we compute to what extent certain fault configurations contribute to the probability of reaching a safety-critical state.