Sciweavers

Share
IFM
2010
Springer

Towards Probabilistic Modelling in Event-B

9 years 11 months ago
Towards Probabilistic Modelling in Event-B
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee their functional correctness but also quantitatively assess their dependability attributes. In this paper we investigate how to conduct probabilistic assessment of reliability of control systems modeled in Event-B. We show how to transform an Event-B model into a Markov model amendable for probabilistic reliability analysis. Our approach enables integration of reasoning about correctness with quantitative analysis of reliability.
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Added 13 Feb 2011
Updated 13 Feb 2011
Type Journal
Year 2010
Where IFM
Authors Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Comments (0)
books