| EPSRC Reference: |
GR/R24357/01 |
| Title: |
Critical Systems and Data-Driven Technology |
| Principal Investigator: |
Partridge, Professor D |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Engineering Computer Science and Maths |
| Organisation: |
University of Exeter |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 November 2001 |
Ends: |
31 July 2005 |
Value (£): |
370,915
|
| EPSRC Research Topic Classifications: |
| Information & Knowledge Mgmt |
Software Engineering |
|
| EPSRC Industrial Sector Classifications: |
| Aerospace, Defence and Marine |
Healthcare |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The goal of the proposed study is to determine the extent to which inductive formalisms, and associated technologies, can be used to augment classical approaches to the development of critical-systems software. Inductive methods can extract and exploit information from the data upon which such systems operate. The proposed investigations range from extracting decision logic from data (to build system modules, such as Bayesian networks (BNs), or to enhance the accepted specification logic), to developing the safety-case argument strategy for critical systems containing inductively generated modules such as trained neural networks (this will be based on emergent formal methods for associating a confidence measure with each module output). This proposal addresses the reliability and dependability of software systems as components of critical systems, and the potential consequences of the proposed implementation novelties for safety-case argument and certification.
|
|
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.ex.ac.uk |