Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Reliability Assessment in Even...

Reliability Assessment in Event-B

Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis, Reliability Assessment in Event-B. TUCS Technical Reports 932, Turku Centre for Computer Science, 2009.

Abstract:

Formal methods are indispensable for ensuring dependability of complex software-intensive systems. In particular, the B Method and its recent extension Event-B have been successfully used in the development of several complex safety-critical systems. However, they are currently not supporting quantitative assessment of dependability attributes that is often required for certifying safety-critical systems. In this paper we demonstrate how to integrate reliability assessment into Event-B development. This work shows how to conduct probabilistic assessment of system reliability at the development stage rather than at the implementation level. This allows the developers to chose the design alternative that offers the most optimal solution from the reliability point of view.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tTaTrLa09a,
  title = {Reliability Assessment in Event-B},
  author = {Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas},
  number = {932},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2009},
  keywords = {Reliability assessment; formal modelling; Markov processes; refinement; probabilistic model checking},
  ISBN = {978-952-12-2263-4},
}

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

Edit publication