| EPSRC Reference: |
GR/S46727/01 |
| Title: |
Probabilistic Model Checking of Mobile Ad Hoc Network Protocols |
| Principal Investigator: |
Kwiatkowska, Professor MZ |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
School of Computer Science |
| Organisation: |
University of Birmingham |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 November 2003 |
Ends: |
31 October 2006 |
Value (£): |
162,803
|
| EPSRC Research Topic Classifications: |
| Networks & Distributed Systems |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Ubiquitous computing entails networks of mobile, portable or wearable devices, communicating over wireless medium in a distributed scenario, operating in a timely fashion and at low power. The combination of distributed environment and dynamic topology makes reliability guarantees difficult to achieve, yet dependability assurance is essential before deployment. High failure rate of transmission in the wireless medium and the resulting delays necessitate probabilistic modelling, while the requirement to operate at low power demands dynamic power management policies. Unfortunately, conventional analysis and prediction methods have limitations: simulation is cumbersome and yields coarse estimates that are difficult to reproduce in practice, and analytical approaches fail in a dynamic context. This proposal aims to apply and adapt probabilistic model checking techniques (www.cs.bham.ac.uk/-dxp/prism/) to the modelling and analysis of mobile ad hoc network protocols, in order to develop automated design validation methods capable of performance prediction and correctness assurance. It is a radical new approach that capitalises on the UK leading position and has the potential to deliver a toolset of theoretical results, algorithms, and proof-of-concept implementation, and evaluate it on real-world case studies through academic and industrial collaborations.
|
|
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.bham.ac.uk |