| EPSRC Reference: |
GR/L07673/01 |
| Title: |
DISCS: DIVERSITY IN SAFETY CRITICAL SOFTWARE |
| Principal Investigator: |
Strigini, Professor L |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
City, University of London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
29 April 1997 |
Ends: |
28 October 2000 |
Value (£): |
155,180
|
| 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 ones of cost-effectiveness.We shall address these issues via a measurement-based approach to modelling of development processes, of diverse products, and of the stochastic failure processes of these products. We shall also further develop 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.city.ac.uk |