Towards Probabilistic Modelling in Event-BReportar como inadecuado

Towards Probabilistic Modelling in Event-B - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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

Autor: Anton Tarasyuk - Elena Troubitsyna - Linas Laibinis -



Documentos relacionados