| EPSRC Reference: |
GR/L92471/01 |
| Title: |
ASYNCHRONOUS COMMUNICATION MECHANISMS FOR REAL-TIME SYSTEMS (COMFORT) |
| Principal Investigator: |
Davies, Professor AC |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Electronic Engineering |
| Organisation: |
Kings College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 April 1998 |
Ends: |
31 July 2001 |
Value (£): |
153,802
|
| EPSRC Research Topic Classifications: |
| Design & Testing Technology |
Networks & Distributed Systems |
| Parallel Computing |
Software Engineering |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The project addresses the development of a methodology and an associated set of software tools for the modelling, analysis and hardware implementation of fully asynchronous communication mechanisms (ACMs) for real-time embedded systems, where the notion of non-blocking communications is of prime importance. This methodology will provide the designer of such a system with methods to: i) specify ACMs, supporting the design of parallel systems with temporal firewalls between subsystems; ii) validate the properties of data coherence and data freshness for ACMs, iii) to synthesise hardware for the implementation of ACMs, iv) to assess the effect of various physical parameters and properties, such as delays and metastability, on the functionality of ACMs. The approach is aimed at achieving greater efficiency and productivity of ACM design compared to existing techniques. Rapid prototyping for hardware via VHDL/FPGA routes is envisaged.
|
|
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: |
|