EPSRC logo

Details of Grant 

EPSRC Reference: GR/L92471/01
Title: ASYNCHRONOUS COMMUNICATION MECHANISMS FOR REAL-TIME SYSTEMS (COMFORT)
Principal Investigator: Davies, Professor AC
Other Investigators:
Velastin, Professor SA
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: