| EPSRC Reference: |
GR/L28098/01 |
| Title: |
TIME-PREDICTABLE HARDWARE PLATFORMS (TIMBRE) |
| Principal Investigator: |
Yakovlev, Professor A |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing Sciences |
| Organisation: |
Newcastle University |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 April 1997 |
Ends: |
31 March 2000 |
Value (£): |
130,419
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| 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 and analysis of timing specifications of hardware platforms for real-time embedded systems. This methodology will provide the designer of such a system with methods to assess and validate temporal parameters of hardware on the basis of its formal behavioural model. The approach is aimed at achieving greater efficiency and higher accuracy of modelling, compared to existing techniques. One of the most important practical problems to be solved is the Worst Case Execution Time (WCET) analysis. The WCET analysis is approached not only in the context of code optimisation, but also as a way to provide data for making decisions about hardware reconfiguration. The latter is an important issue in developing systems with customised hardware components and co-synthesis of hardware and synthesis.
|
|
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.ncl.ac.uk |