Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Development of Fault Tolernt G...

Development of Fault Tolernt Grid Applications Using Distributed B

Pontus Boström, Marina Waldén, Development of Fault Tolernt Grid Applications Using Distributed B. In: Judi Romijn, Graeme Smith, Jaco van de Pol (Eds.), 5th International Conference on Integrated Formal Methods, IFM2005, Lecture Notes in Computer Science 3771, 167–186, Springer, 2005.

Abstract:

Computational grids have become popular for constructing large scale
distributed systems. Grid applications typically run in a very heterogeneous environment and fault tolerance is therefore very important
for their correctness. Since the construction of correct distributed
systems is difficult with traditional development methods we propose the
use of formal methods. We use Event B as our formal framework, which we
extend with new constructs such as remote procedures and notifications
for reasoning about grid systems. The extended language, called Distributed
B, ensures that the application can handle both node and network failures.
Furthermore, the new constructs in Distributed B enable straightforward
implementation of the specifications, as well as automatic generation
of the needed proof obligations.

BibTeX entry:

@INPROCEEDINGS{inpBoWa05b,
  title = {Development of Fault Tolernt Grid Applications Using Distributed B},
  booktitle = {5th International Conference on Integrated Formal Methods, IFM2005},
  author = {Boström, Pontus and Waldén, Marina},
  volume = {3771},
  series = {Lecture Notes in Computer Science},
  editor = {Romijn, Judi and Smith, Graeme and Pol, Jaco van de},
  publisher = {Springer},
  pages = {167–186},
  year = {2005},
  keywords = {Event B, Grid computing, Fault tolerance, Domain specific languages,},
}

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

Publication Forum rating of this publication: level 1

Edit publication