School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. UKACM 2019
  4. Compressors Conference
  5. Our London location
  6. Athena SWAN
  7. Placements and internships
  8. Engineering & Mathematics scholarships and funding
  9. Computer Science scholarships and funding
  1. Research Centre for Software Reliability
  2. Research
  3. Research Projects
School of Mathematics, Computer Science & Engineering


(Dependability Assessment of Safety Critical Systems Through the Unification of Measurable Evidence).

Duration: Jan 1993 - July 1996
Funding source: the UK Safety Critical Systems Research Programme supported by the EPSRC and DTI.
Grant Number: GR/H89944 (project number IED4/19314)
Lloyd's Register of Shipping, Royal Holloway College, CHCID (City University).
Funding to CSR: £196,000 (total value £477,000)
Contact at CSR: Norman Fenton

Synopsis: Tackling the problem of how to integrate diverse types and sources of evidence into a software safety case. Bayesian approach adopted. Novel work in applying Bayesian nets and multi-criteria decision aid. Major case studies.