• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Integrating Reliability Assessment into Formal Development by Refinement

Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis, Integrating Reliability Assessment into Formal Development by Refinement. CS-TR No1187, 2010.

Abstract:

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.

BibTeX entry:

@TECHREPORT{tTaTrLa10a,
  title = {Integrating Reliability Assessment into Formal Development by Refinement},
  author = {Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas},
  year = {2010},
  keywords = {Event-B, refinement, quantitative model checking, reliability assessment},
}

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

Edit publication