Towards Probabilistic Modelling in Event-B - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Towards Probabilistic Modelling in Event-B

Elena Troubitsyna
  • Fonction : Auteur
  • PersonId : 880333
Linas Laibinis
  • Fonction : Auteur
  • PersonId : 880334

Résumé

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.
Fichier principal
Vignette du fichier
ifm2010276.pdf (176.62 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00524594 , version 1 (08-10-2010)

Identifiants

  • HAL Id : inria-00524594 , version 1

Citer

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⟩
55 Consultations
266 Téléchargements

Partager

Gmail Facebook X LinkedIn More