| EPSRC Reference: |
GR/M24493/01 |
| Title: |
BEADS: BEHAVIOURAL ANALYSIS OF DISTRIBUTED SYSTEMS |
| Principal Investigator: |
Kramer, Professor J |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
Imperial College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 October 1998 |
Ends: |
31 March 2002 |
Value (£): |
196,421
|
| EPSRC Research Topic Classifications: |
| Networks & Distributed Systems |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Production of distributed software is generally complex and error-prone. Behaviour analysis is a powerful technique that can help to discover behavioural anomalies at design time. Although behaviour analysisCannot guarantee correctness to the final product, it can greatly increase our understanding and confidence in its design. However, to be usable to practising engineers, modelling and analysis techniques must provide the right abstractions, be intuitive to use, have a sound underlying theory, and be supported by powerful analytical tools. Our research objective is the development of such a practical and effective with tool support for analysing the behaviour of distributed systems. We believe strongly that tool support is essential for practical use. Moreover, to be integrated with other software development activities, analysis can be directed by the software architecture design of the system. To address these issues, our approach, Tracta, uses compositional reach-ability analysis; a technique that can be automated and used in stages to derive the overall behaviour of a distributed system based on its architecture. This project aims to build on the techniques and tools developed in the Tracta approach so as to both extend its technical functionality and facilitate its utility to practising engineers.
|
|
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.imperial.ac.uk |