Dr David Wright

Contact details:

Phone: +44 (0)20 7040 8248

Room: A229 College Building

Current Position: Research Fellow

Biography:

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.

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.

Publications:

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