EPSRC logo

Details of Grant 

EPSRC Reference: EP/F00334X/1
Title: Using Learning to Support the Development of Embedded Systems
Principal Investigator: Bate, Dr I
Other Investigators:
Clark, Professor JA Kazakov, Dr D
Researcher Co-Investigators:
Project Partners:
Department: Computer Science
Organisation: University of York
Scheme: Standard Research
Starts: 01 October 2007 Ends: 30 September 2011 Value (£): 379,941
EPSRC Research Topic Classifications:
Artificial Intelligence Fundamentals of Computing
Software Engineering
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:
Panel DatePanel NameOutcome
07 Jun 2007 ICT Prioritisation Panel (Technology) Announced
Summary on Grant Application Form
Reasoning about the timing properties of many modern systems is crucial. Examples include anti-lock braking systems, air traffic control systems, and even medical applications such as X-ray dosage delivery equipment. Reasoning about response times of such systems has been the subject of much research. In particular, a great deal of scheduling theory has been developed to provide bounds on worst-case response times. Such work assumes the timing properties of individual components in the system are well understood. In particular, the Worst Case Execution Time (WCET) for an individual task is an input to all forms of real-time scheduling theory. The derivation of such WCETs therefore underpins our efforts to guarantee response times in critical systems. The real-time systems community recognizes this as a major challenge. Approaches developed for WCET analysis must give conservative bounds but the degree of pessimism is typically too great for many purposes. All such analysis tools must ultimately rely on information about hardware instruction execution. However, modern processors are becoming very complex and the information needed to calculate WCETs is typically unavailable (e.g. internals of processors are commercially confidential). Where such information is provided, it has often proved to be wrong. In many cases instruction WCET is of secondary interest to the manufacturers and WCET techniques developers are not the target audience of the information they make available. Several researchers have identified measurement-based approaches as a promising candidate to cope with modern-day engineering demands. However, relying only on measurements to infer WCET bounds in a black box approach is regarded as unsound by most researchers. We need information to reason effectively about WCETs, but this is not readily available. Measurements however, can be taken freely. The weakness of measurement is ensuring the results are safe. Thus, rather than directly inferring bounds on WCETs from execution trace timings, why not use the measurements to infer a model of the underlying system that can form an input into further WCET calculations? Our proposal addresses this very question. Since the problem is in essence a learning problem, we propose to investigate how well leading edge machine learning approaches can be adopted or adapted 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.york.ac.uk