EPSRC logo

Details of Grant 

EPSRC Reference: EP/H005617/1
Title: Quantitative Verification: From Model Checking to Model Measuring
Principal Investigator: Ouaknine, Professor J
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Airbus Group Limited NASA Tracetronic
Department: Computer Science
Organisation: University of Oxford
Scheme: Leadership Fellowships
Starts: 01 October 2009 Ends: 30 September 2014 Value (£): 1,018,521
EPSRC Research Topic Classifications:
Fundamentals of Computing Software Engineering
EPSRC Industrial Sector Classifications:
Information Technologies Aerospace, Defence and Marine
Related Grants:
Panel History:
Panel DatePanel NameOutcome
01 Jul 2009 Fellowships 2009 Final Allocation Panel Announced
08 Jun 2009 Fellowships 2009 Interview - Panel B Deferred
Summary on Grant Application Form
Enabling engineers, programmers, and researchers to automaticallyverify the correctness of the computer systems that they design is oneof the Grand Challenges of computing research. The scientific andeconomic importance of this goal has long been recognised, yet despitesubstantial progress in basic and applied research over the last fewdecades, much work remains ahead of us. The aim of this project is toaddress the issue of quantitative verification and analysis ofreal-time and probabilistic systems, from the development of novel andfundamental algorithms all the way to the design and implementation oftools.The software research outcomes will be evaluated in collaboration withmy industrial partners, which include Airbus UK, NASA JPL, andTraceTronic, an automotive engineering firm. We will apply theverification technology to case studies derived from actual products,which is an essential part of the validation process of this researchenterprise.Ultimately, the principles and software tools arising from thisresearch will enable software firm to enhance the quality of theirsafety-critical products, potentially averting loss of life and/ormajor financial disasters.
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.ox.ac.uk