School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. Engineering & Mathematics scholarships & funding
  4. Computer Science scholarships and funding
  5. Athena SWAN
  6. Placements and internships
  7. Our London location
  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.