EPSRC logo

Details of Grant 

EPSRC Reference: EP/C537068/1
Title: ReQueST: Resource Quantification in e-Science Technologies
Principal Investigator: Sannella, Professor D
Other Investigators:
Aspinall, Professor D Stark, Dr I Gilmore, Professor S
Researcher Co-Investigators:
Mr L Beringer Dr KW MacKenzie
Project Partners:
Department: Sch of Informatics
Organisation: University of Edinburgh
Scheme: Standard Research (Pre-FEC)
Starts: 01 May 2005 Ends: 31 January 2009 Value (£): 484,976
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
For the results of computer-based scientific calculations to be useful, the computer programs that produce these results must be carefully checked for errors. The ReQueST project provides automatic methods for checking e-Science applications for errors which would cause the program to fail because it runs out of resources such as memory or allotted processing time.The ReQueST project uses state-of-the art computer science technology to attach mechanically-checkable certificates of resource consumption in the form of mathematical proofs to mobile Java applications. This 'proof-carrying' approach to mobile code allows code producers to ship programs to code consumers in such a way that a wary consumer can quickly check key properties of the code - in this case, its maximum resource usage - before running it. In this way, service providers can protect themselves against errors in user-supplied code.Grid Services technology provides such a collaborative service-provider framework for virtual organisations involved in e-Science. The ReQueST project builds proof-carrying code technology into the Grid Services framework by supporting it from application code up to the service description level. In this way the Request project advances the current state-of-the-art in the Grid technology used in e-Science.
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: http://groups.inf.ed.ac.uk/request/
Further Information:  
Organisation Website: http://www.ed.ac.uk