People
  1. Students
  2. Alumni
  3. Honorary Graduates
  4. Academic Experts
People

Contact Information

Contact

Visit David Wright

A229, College Building

null

Postal Address

City, University of London
Northampton Square
London
EC1V 0HB
United Kingdom

About

Overview

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.

Qualifications

PhD Computer Science, City University London, 2001
BSc Mathematics, University of London, 1981

Employment

11/1986 - to date City University London, Research Fellow
11/1983 - 10/1986 Royal Holloway, Research Assistant
09/1981 - 10/1983 Defence Operational Analysis Establishment (MoD), Scientific Officer

Research

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

Book

  1. Gelenbe, E. (Ed.), (2000). System Performance Evaluation: Methodologies and Applications. Boca Raton, Florida: CRC.

Chapters (3)

  1. Courtois, P.-.J., Littlewood, B., Strigini, L., Wright, D., Fenton, N. and Neil, M. (2000). Bayesian Belief Networks for Safety Assessment of Computer-based Systems. (pp. 349–63).
  2. Littlewood, B. and Wright, D. (1997). Mathematics of dependable systems 2. In Stavridou, V. and Applications, I.F.M.A.I. (Eds.), Mathematics of dependable systems 2 (pp. 243–258). Oxford University Press, USA.
  3. Littlewood, B. (1985). Software Reliability Prediction. In Anderson, T. (Ed.), Resilient computing systems (pp. 144–162). Wiley-Interscience.

Conference Papers and Proceedings (11)

  1. Bloomfield, R.E., Buzna, L., Popov, P.T., Salako, K. and Wright, D. (2009). Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure. .
  2. Bloomfield, R.E., Littlewood, B. and Wright, D. (2007). Confidence: Its role in dependability cases for risk assessment. .
  3. Bishop, P., Gashi, I., Littlewood, B. and Wright, D. (2007). Reliability modeling of a 1-out-of-2 system: Research with diverse Off-the-shelf SQL database servers. .
  4. Wright, D. (2003). Elicitation and validation of graphical dependability models. .
  5. Littlewood, B., Strigini, L., Wright, D., Fenton, N., Neil, M. and Courtois, P.-.J. (2000). Bayesian Belief Networks for safety assessment of computer-based systems. .
  6. Strigini, L., Burns, A., Punnekkat, S. and Wright, D.R. (1999). Probabilistic Scheduling Guarantees for Fault-Tolerant Real-Time Systems. Seventh IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-7) San Jose, California, USA.
  7. Courtois, P.-.J., Littlewood, B., Strigini, L., Wright, D., Fenton, N. and Neil, M. (1999). Bayesian Belief Networks for Safety Assessment of Computer-based Systems. .
  8. Burns, A., Punnekkat, S., Strigini, L. and Wright, D.R. (1999). Probabilistic Scheduling Guarantees for Fault-Tolerant Real-Time Systems. .
  9. Littlewood, B., Wright, D. and Meyer, F. (1995). Dependability of modular software in a multiuser operational environment. International Symposium on Software Reliability Engineering (ISSRE ’95) November, Toulouse.
  10. LITTLEWOOD, B., WRIGHT, D. and IEEE, (1995). Stopping rules for the operational testing of safety-critical software. .
  11. Littlewood, B. and Wright, D. (1995). A Bayesian model that combines disparate evidence for the quantitative assessment of system dependability. 14th International Conference on Computer Safety (SafeComp’95) .

Journal Articles (9)

  1. Strigini, L. and Wright, D. (2014). Bounds on survival probability given mean probability of failure per demand; And the paradoxical advantages of uncertainty. Reliability Engineering and System Safety, 128, pp. 66–83. doi:10.1016/j.ress.2014.02.004.
  2. Littlewood, B., Bishop, P., Bloomfield, R., Povyakalo, A. and Wright, D. (2011). Towards a formalism for conservative claims about the dependability of software-based systems. IEEE Transactions on Software Engineering . doi:10.1109/TSE.2010.67.
  3. Littlewood, B. and Wright, D. (2007). The use of multilegged arguments to increase confidence in safety claims for software-based systems: A study based on a BBN analysis of an idealized example. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 33(5), pp. 347–365. doi:10.1109/TSE.2007.1002.
  4. Littlewood, B., Fenton, N., Neil, M., Strigini, L., Sutcliffe, A. and Wright, D. (1998). Assessing dependability of safety-critical systems using diverse evidence. IEE Proceedings - Software Engineering, 145(1), pp. 35–39.
  5. Fenton, N.E., Littlewood, B., Neil, M., Strigini, L., Sutcliffe, A.G. and Wright, D. (1998). Assesing dependability of safety critical systems using diverse evidence. IEE Proceedings - Software, 145, pp. 35–39. doi:10.1049/ip-sen:19984895.
  6. Littlewood, B. and Wright, D. (1997). Some conservative stopping rules for the operational testing of safety-critical software. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 23(11), pp. 673–683. doi:10.1109/32.637384.
  7. Littlewood, B. and Wright, D. (1997). Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software. IEEE Transactions on Software Engineering, 23, pp. 673–83.
  8. Littlewood, B., Brocklehurst, S., Fenton, N., Mellor, P., Page, S., Wright, D., Dobson, J., McDermid, J. and Gollmann, D. (1993). Towards operational measures of computer security. Journal of Computer Security, 2(3), pp. 211–229.
  9. Wright, D.R. (1991). Comments on paper by Christodoulakis and Panziou. Information and Software Technology, 33, pp. 103–4.

Report

  1. Wright, D. and Strigini, L. (2012). Bounds on survival probability given mean probability of failure per demand; and the paradoxical advantages of uncertainty. London, UK: City University London.

Find us

City, University of London

Northampton Square

London EC1V 0HB

United Kingdom

Back to top

City, University of London is an independent member institution of the University of London. Established by Royal Charter in 1836, the University of London consists of 18 independent member institutions with outstanding global reputations and several prestigious central academic bodies and activities.