|
| EPSRC Reference: |
EP/H005617/1 |
| Title: |
Quantitative Verification: From Model Checking to Model Measuring |
| Principal Investigator: |
Dr J Ouaknine |
| Other Investigators: |
|
| Researcher Co-investigator: |
|
| Project Partner: |
| AIRBUS OPERATIONS LIMITED |
NASA Jet Propulsion Laboratory |
Tracetronic |
|
| Department: |
Computing Laboratory |
| Organisation: |
University of Oxford |
| Scheme: |
Leadership Fellowships |
| Starts: |
01 October 2009 |
Ends: |
30 September 2014 |
Value (£): |
861,693
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Software Engineering |
|
| EPSRC Industrial Sector Classifications: |
| Aerospace, Defence and Marine |
Information Technologies |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary |
Enabling engineers, programmers, and researchers to automatically
verify the correctness of the computer systems that they design is one
of the Grand Challenges of computing research. The scientific and
economic importance of this goal has long been recognised, yet despite
substantial progress in basic and applied research over the last few
decades, much work remains ahead of us. The aim of this project is to
address the issue of quantitative verification and analysis of
real-time and probabilistic systems, from the development of novel and
fundamental algorithms all the way to the design and implementation of
tools.
The software research outcomes will be evaluated in collaboration with
my industrial partners, which include Airbus UK, NASA JPL, and
TraceTronic, an automotive engineering firm. We will apply the
verification technology to case studies derived from actual products,
which is an essential part of the validation process of this research
enterprise.
Ultimately, the principles and software tools arising from this
research will enable software firm to enhance the quality of their
safety-critical products, potentially averting loss of life and/or
major financial disasters.
|
| Final Report Summary |
|
No final report summary is available for this grant.
|
| Further Information: |
|
| Organisation Website: |
http://www.ox.ac.uk |
|
|