Skip to Main content Skip to Navigation
Conference papers

Towards Probabilistic Modelling in Event-B

Abstract : Event-B provides us with a powerful framework for correct- by-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.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Ist Inria Nancy Grand Est Connect in order to contact the contributor
Submitted on : Friday, October 8, 2010 - 11:39:15 AM
Last modification on : Monday, May 9, 2022 - 1:10:01 PM
Long-term archiving on: : Thursday, October 25, 2012 - 4:41:16 PM


Files produced by the author(s)


  • HAL Id : inria-00524594, version 1



Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis. Towards Probabilistic Modelling in Event-B. Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.275-289. ⟨inria-00524594⟩



Record views


Files downloads