Towards Probabilistic Modelling in Event-B

Anton Tarasyuk 1, 2 Elena Troubitsyna 1 Linas Laibinis 1
1 Åbo Academy University
2 Turku Centre for Computer Science
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.
Keywords : Event-B refinement control system reliability probability
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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

77

Téléchargements de fichiers

182

Contact


archive-ouverte@inria.fr