| EPSRC Reference: |
GR/L73685/01 |
| Title: |
ROPA: A GAME THEORETIC APPROACH FOR THE DESIGN OF SAFETY-CRITICAL SYSTEMS |
| Principal Investigator: |
Anderson, Professor T |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing Sciences |
| Organisation: |
Newcastle University |
| Scheme: |
ROPA |
| Starts: |
01 November 1997 |
Ends: |
31 October 1999 |
Value (£): |
93,827
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The requirements phase, during software development poses many challenges, and those are of particular significance when the software can have a critical impact on the safety of the system concerned. A key problem is the need to resolve conflicting demands and to perform trade-offs early in the design lifecycle; this is especially important when selecting a safety strategy which must minimise the risk of compromising safety. This project aims to adapt the mathematical framework of game theory to improve the process of decision making for this problem.
|
|
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.ncl.ac.uk |