Centre for Software Reliability

« Back.City » School of Informatics » Our organisation » CSR

Dr. David Wright

Current Position: Research Fellow

Research Interests:

• Prediction based on failure-count data
• Techniques for `recalibration' of reliability predictions
• The incorporation of disparate evidence into reliability predictions, including, in particular-
• The question of whether, and how, when predicting reliability, to transfer empirical information about achieved reliability levels either from one system to another, or from one execution environment to another
• The elicitation and combination of experts' systems-dependability judgements
• The application of graphical models of conditional independence to systems dependability assessment.

Background: David Wright obtained a BSc degree in Mathematics from the University of London, and a PhD degree in Computer Science from City University. He has worked as a Scientific Officer at the Defence Operational Analysis Establishment (MoD), and later as a Research Assistant in non-linear filtering theory during a three year collaborative research project between Royal Holloway College Department of Statistics and Computer Science, and Ferranti Computer Systems Ltd. He is currently employed as a Research Fellow at CSR, where he has worked since 1986. During his current and previous employments he has taught Software Engineering and Statistics at undergraduate level.

 

Contact Details:

Tel: 020 7040 8248 (from UK), or  +44 20 7040 8248 (outside UK)

Fax: 020 7040 8585 (from UK), or  +44 20 7040 8585 (outside UK)

E-mail: dw@csr.city.ac.uk

Some key publications

• Wright, D. R., "Elicitation and Validation of Graphical Dependability Models", Proc. 22nd International Conference on Computer Safety, Reliability and Security. ISBN 3-540-20126-2, (Stuart Anderson, Massimo Felici, Bev Littlewood, Eds.), vol. SAFECOMP2003, pp. 8--21, Springer-Verlag Heidelberg, Edinburg, 2003.

• Courtois, P.-J., Littlewood, B., Strigini, L., Wright, D., Fenton, N. and Neil, M., "Bayesian Belief Networks for Safety Assessment of Computer-based Systems, in System Performance Evaluation: Methodologies and Applications", (E. Gelenbe, Ed.), pp. 349-363, CRC Press, 2000.

• Fenton NE, Littlewood B, Neil M, Strigini L, Sutcliffe A, Wright D, "Assessing Dependability of Safety Critical Systems using Diverse Evidence", IEE Proceedings Software Engineering, vol. 145(1), pp. 35-39, 1999.

• Littlewood, B., Wright, D, "A Bayesian Model that combines disparate evidence for the quantitative assessment of system dependability", In Book - Mathematics of Dependable Systems, II, (V Stavridou, Eds.), pp. 243-258, Clarendon Press, Oxford, 1997.

• Littlewood, B., Wright, D, "Some conservative stopping rules for the operational testing of safety-critical software", Journal - IEEE Transactions on Software Engineering, vol. 23(11), pp. 673-683, 1997.

David's full list of research papers and abstracts / full texts