Details of Grant 

EPSRC Reference:	EP/G055548/1
Title:	TEMPO: Time Driven Modelling and Resource Management of Real-Time Systems on Multiprocessor Systems-on-Chip
Principal Investigator:	Audsley, Professor N
Other Investigators:	Burns, Professor A Soares Indrusiak, Professor L
Researcher Co-Investigators:
Project Partners:
Department:	Computer Science
Organisation:	University of York
Scheme:	Standard Research
Starts:	01 October 2009	Ends:	30 March 2013	Value (£):	622,511
EPSRC Research Topic Classifications:	Modelling & simul. of IT sys. System on Chip
EPSRC Industrial Sector Classifications:	No relevance to Underpinning Sectors
Related Grants:
Panel History:	Panel Date Panel Name Outcome 24 Apr 2009 ICT Prioritisation Panel (April 09) Announced
Summary on Grant Application Form
Embedded real-time systems (ERTS) implemented on Multiprocessor System-on-Chip (MPSoC) platforms present fundamental challenges to the offline modeling of system behaviour, offline prediction of system temporal and resource usage at run-time, and run-time resource management. MPSoC platforms offer the prospect of immense computational power via parallelism, but this very parallelism makes them difficult to model. Hence from a real-time systems perspective, it is extremely difficult to predict offline the run-time behaviour and performance of ERTS implemented upon MPSoC platforms. We note that such predictions are a fundamental requirement of real-time systems. Understanding and predicting system performance from a time and resource usage perspective requires that sufficient aspects of the application and system software, resource management and MPSoC platform must be accurately modeled to establish the complex inter-dependencies between application software, system software and the MPSoC platform. Without this understanding, it is difficult to verify offline that a system will meet its timing requirements and resource usage constraints (eg. memory). The research challenge is exacerbated by observing that such systems are essentially dynamic: application configuration (or mode) changes, movement of application software between processing elements, changes in available resource (eg. power), changes in the configuration of the hardware platform itself (ie. functionally dynamically reconfigurable).This project directly addresses the challenge of understanding the behaviour of dynamic ERTS implemented on MPSoC platforms by advocating an approach that puts time (rather than structure or functional behaviour) at the centre of the modeling method, run-time resource management and offline verification approach. The intuition behind adopting a time-centric view of complex parallel systems is the observation that conventional functional or structural approaches inevitably hide or obfuscate pertinent non-functional system timing behaviour. We believe that by modeling the system from the perspective of time, we can model and relate all behaviours at differing time granularities (from application to hardware), so enabling accurate offline analysis and prediction of timing properties - essential for real-time systems.The project will focus upon three specific areas of the challenge: modeling, resource management and verification. We will develop a resource oriented time banded framework to allow the system to be modeled. This will support and integrate with resource management policies and mechanisms. The latter will be based upon hierarchical contracts, taking a resource virtualisation approach expanded to include multiprocessors, memory hierarchies, on-chip networks, energy and space. Verification will be achieved by developing appropriate scheduling and allocation algorithms for the resource contracts, incorporating both rigorous analysis (ie. schedulability analysis) and simulation. Importantly, the project will utilise an integrated approach across modeling, resource management and verification at each level of timing granularity.
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