Search

Dr David Wright

Research Fellow

School of Mathematics, Computer Science and Engineering Department of Computer Science

Contact details

Address

Dr David Wright A304, College Building
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.

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

  1. PhD Computer Science, City, University of London, United Kingdom, 2001
  2. BSc Mathematics, University of London, United Kingdom, 1981

Employment

  1. Research Fellow, City, University of London, 1986 – present
  2. Research Assistant, Royal Holloway University of London, 1983 – 1986
  3. Scientific Officer, Defence Operational Analysis Establishment (MoD), 1981 – 1983

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

Publications by category

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 (12)

  1. Zhao, X., Littlewood, B., Povyakalo, A. and Wright, D. (2016). Conservative claims about the probability of perfection of software-based systems.
  2. Bloomfield, R.E., Buzna, L., Popov, P.T., Salako, K. and Wright, D. (2009). Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure.
  3. Bloomfield, R.E., Littlewood, B. and Wright, D. (2007). Confidence: Its role in dependability cases for risk assessment.
  4. 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.
  5. Wright, D. (2003). Elicitation and validation of graphical dependability models.
  6. 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.
  7. 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.
  8. 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.
  9. Burns, A., Punnekkat, S., Strigini, L. and Wright, D.R. (1999). Probabilistic Scheduling Guarantees for Fault-Tolerant Real-Time Systems.
  10. 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.
  11. LITTLEWOOD, B., WRIGHT, D. and IEEE, (1995). Stopping rules for the operational testing of safety-critical software.
  12. 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 (12)

  1. Zhao, X., Littlewood, B., Povyakalo, A., Strigini, L. and Wright, D. (2018). Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems. Reliability Engineering and System Safety, 175, pp. 265–282. doi:10.1016/j.ress.2018.03.032.
  2. Bloomfield, R.E., Popov, P., Salako, K., Stankovic, V. and Wright, D. (2017). Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment. Reliability Engineering and System Safety, 167, pp. 198–217. doi:10.1016/j.ress.2017.05.030.
  3. Zhao, X., Littlewood, B., Povyakalo, A., Strigini, L. and Wright, D. (2017). Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is “quasi-perfect”. Reliability Engineering and System Safety, 158, pp. 230–245. doi:10.1016/j.ress.2016.09.002.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. Littlewood, B., Brocklehurst, S., Fenton, N., Mellor, P., Page, S., Wright, D. … Gollmann, D. (1993). Towards operational measures of computer security. Journal of Computer Security, 2(3), pp. 211–229.
  12. 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.