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

Reliability Assessment in Event-B Development

Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis, Reliability Assessment in Event-B Development. In: Mikael Asplund, Simin Nadjm-Tehrani, Luigia Petre (Eds.), NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009, 41, 11-20, Linköping University Electronic Press, Linköpings universitet, 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 by example 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.

BibTeX entry:

@INPROCEEDINGS{inpTaTrLa09a,
  title = {Reliability Assessment in Event-B Development},
  booktitle = {NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009},
  author = {Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas},
  volume = {41},
  editor = {Asplund, Mikael and Nadjm-Tehrani, Simin and Petre, Luigia},
  publisher = {Linköping University Electronic Press, Linköpings universitet},
  pages = {11-20},
  year = {2009},
  keywords = {Event-based modeling, reliability assessment, formal verification, Markov processes},
}

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

Edit publication