EPSRC logo

Details of Grant 

EPSRC Reference: GR/N23141/01
Title: MODEL CHECKING GROUP PROTOCOLS
Principal Investigator: Stirling, Professor C
Other Investigators:
Thanisch, Dr P Kempster, Mr T
Researcher Co-Investigators:
Project Partners:
Department: Sch of Informatics
Organisation: University of Edinburgh
Scheme: Standard Research (Pre-FEC)
Starts: 01 September 2000 Ends: 31 May 2004 Value (£): 240,369
EPSRC Research Topic Classifications:
Networks & Distributed Systems
EPSRC Industrial Sector Classifications:
Communications Electronics
No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
Computers and computing systems are becoming connected in ways that will re-shape the world we live in forever. Advances in computer networks will connect billions of autonomous computing devices creating large distributed systems.A communication protocol allows a group of autonomous computing agents to exchange information, and solve a common task, in these types of environments. It is important to fully understand these protocols and to be confident that their behaviour is as intended. Until recently, only informal correctness arguments have been given to support their correctness.Our research will allow types of protocol that we call group protocols to be modelled in a flexible and formal manner. Once modelled we will provide techniques to transform protocols and the environments in which they execute to transition systems. The transition systems express behaviour of the protocol and environment being modelled. Behavioural properties will be expressed and then checked against the resulting transition systems. Recent advances in games-based automated model checking techniques provide a promising and appropriate solution to this end.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.ed.ac.uk