Formal Modelling and Verification of Grid Systems

Project summary

The aim of the FORMGRID project is to develop new techniques and tools for designing and analysing grid computing systems. The project is *timely*, because it develops technologies which can be applied to problems of ultimately high societal importance fo r which current methods are insufficient. The research is *novel*, because it combines the existing areas of diagrammatic modelling and model-driven development on the one hand and formal model checking on the other, in a new way. The project is *strategi cally important*, since it forms a part of HiB's new strategic research programme in the area of software for distributed systems and develops generic technology which will lay the foundations for future research projects and collaborations with industry and academia. The project is *realistic*, since it comprises several of HiB's scientific competence areas and involves collaboration with leading international groups.

 

The research is organised in four interdependent work packages:

(1) Development of a formal framework for diagrammatic models of grid systems

(2) Development of a model checking framework emplying diagrammatic models

(3) Implementation of software tools

(4) Case studies