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

Development of Fault Tolerant Grid Applications Using Distributed B

Pontus Boström, Marina Waldén, Development of Fault Tolerant Grid Applications Using Distributed B. TUCS Technical Reports 706, Turku Centre for Computer Science, 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.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tBoWa05a,
  title = {Development of Fault Tolerant Grid Applications Using Distributed B},
  author = {Boström, Pontus and Waldén, Marina},
  number = {706},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2005},
  keywords = {Event B, Grid computing, Fault tolerance, Domain specific languages,},
  ISBN = {952-12-1594-1},
}

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

Edit publication