• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Towards Probabilistic Modelling in Event-B

Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis, Towards Probabilistic Modelling in Event-B. In: Dominique Mery, Stephan Merz (Eds.), Proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, Lecture Notes in Computer Science 6396, 275–289, Springer, 2010.

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 modelled 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.

BibTeX entry:

@INPROCEEDINGS{inpTaTrLa10c,
  title = {Towards Probabilistic Modelling in Event-B},
  booktitle = {Proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010},
  author = {Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas},
  volume = {6396},
  series = {Lecture Notes in Computer Science},
  editor = {Mery, Dominique and Merz, Stephan},
  publisher = {Springer},
  pages = {275–289},
  year = {2010},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication