| EPSRC Reference: |
GR/N23141/01 |
| Title: |
MODEL CHECKING GROUP PROTOCOLS |
| Principal Investigator: |
Stirling, Professor C |
| Other Investigators: |
|
| 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 |