EPSRC logo

Details of Grant 

EPSRC Reference: EP/D505933/1
Title: Grid-enabled Performance Analysis using Stochastic Logics (GRAIL)
Principal Investigator: Knottenbelt, Professor WJ
Other Investigators:
Bradley, Dr JT Darlington, Professor J
Researcher Co-Investigators:
Project Partners:
Department: Computing
Organisation: Imperial College London
Scheme: Standard Research (Pre-FEC)
Starts: 14 November 2005 Ends: 13 November 2008 Value (£): 439,342
EPSRC Research Topic Classifications:
Modelling & simul. of IT sys. System on Chip
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:  
Summary on Grant Application Form
We are surrounded by complex distributed systems such as mobile phone networks, stock market trading platforms and health care systems. When designing these systems, it is important to ensure that their performance will satisfy certain quality of service constraints. For example, in the UK, it is a government target that Accident and Emergency units see, treat and discharge 90% of patients in under four hours.Predicting distributed system performance is notoriously difficult, however, since subtle interactions between components can have large, unforeseen and detrimental effects on performance. It is therefore important to use formal frameworks which can either rigorously guarantee that performance requirements will be met, or, if not, show which suspect interactions and bottlenecks need to be addressed.The formal framework we propose is an extended continuous stochastic logic (eCSL). Although this and related logics enable the rigorous, verfiable, expressive and composable specification of performance constraints, they are not widely used by system designers in industry. There are three main reasons for this:1. It is challenging for most system designers to understand and formulate logical queries. We address this issue through the use of novel graphical model-level specification techniques. Graphical queries are then automatically translated into eCSL formulae. No understanding of the underlying logical framework is required by the system designer.2. Even if a system designer is currently able to formulate a stochastic logic query, this must be broken down and translated into the interface language of existing analysis tools manually, requiring further specialist knowledge. This problem is addressed by developing novel techniques for the automated decomposition and mapping of stochastic logic formulae into the interface languages of existing performance analysis tools.3. The solution capacity of current tools is limited, which prevents the analysis of many large-scale industrial systems. We address this problem by developing distributed and parallel analysis techniques and by exploiting the computational capacity provided by Grid systems. All our tools will be Grid-enabled and we will develop an eCSL-aware Grid execution scheduler. In this way, system designers will have access to a large pool of virtualised computing resources on tap.
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
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
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.imperial.ac.uk