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.
Type de document :
Communication dans un congrès
Mery, Dominique and Merz, Stephan. Integrated Formal Methods - IFM 2010, Oct 2010, Nancy, France. Springer Berlin / Heidelberg, 6396, pp.275-289, 2010, Lecture Notes in Computer Science
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00524594
Contributeur : Ist Inria Nancy Grand Est <>
Soumis le : vendredi 8 octobre 2010 - 11:39:15
Dernière modification le : vendredi 8 octobre 2010 - 13:55:42
Document(s) archivé(s) le : jeudi 25 octobre 2012 - 16:41:16

Fichier

ifm2010276.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00524594, version 1

Collections

Citation

Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis. Towards Probabilistic Modelling in Event-B. Mery, Dominique and Merz, Stephan. Integrated Formal Methods - IFM 2010, Oct 2010, Nancy, France. Springer Berlin / Heidelberg, 6396, pp.275-289, 2010, Lecture Notes in Computer Science. 〈inria-00524594〉

Partager

Métriques

Consultations de la notice

75

Téléchargements de fichiers

172