(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.