School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. Engineering & Mathematics scholarships & funding
  4. Computer Science scholarships and funding
  5. Placements and internships
  6. Our London location
  1. Research
  2. Research Projects
School of Mathematics, Computer Science & Engineering

DATUM

(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)
Partners:
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.