| EPSRC Reference: |
GR/L08113/01 |
| Title: |
DISCS: DIVERSITY IN SAFETY CRITICAL SOFTWARE |
| Principal Investigator: |
Anderson, Professor T |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing Sciences |
| Organisation: |
Newcastle University |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 December 1996 |
Ends: |
30 November 1999 |
Value (£): |
132,359
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Theoretical and experimental work of the 1970s and 1980s showed that diverse software versions will be unlikely to fail independently. This has sometimes been used to suggest that building diverse versions is of very limited usefulness. In fact, this is almost certainly a misreading, and the same experiments can be used to show that, whilst the Holy Grail of independence is not attainable, nevertheless design diversity can produce useful benefits of reliability over single versions: the important issues here are of cost-effectiveness. We shall address these issues via a measurement-based approach to modelling development processes, of diverse products, and of the stochastic failure processes of these products. We shall also develop further techniques for achieving diversity in distributed, real-time and object-based systems, and examine how systems may be designed to assist in the achievement and assessment of dependability.
|
|
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 |