Development of Fault Tolerant Grid Applications Using Distributed B

Pontus Boström, Marina Walden

    Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

    1 Sitaatiot (Scopus)

    Abstrakti

    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.
    AlkuperäiskieliEnglanti
    KustantajaTurku Centre for Computer Science (TUCS)
    ISBN (painettu)952-12-1594-1
    TilaJulkaistu - 2005
    OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

    Sormenjälki Sukella tutkimusaiheisiin 'Development of Fault Tolerant Grid Applications Using Distributed B'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

    Viittausmuodot