- 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 & System Safety, 175, pp. 265–282. doi:10.1016/j.ress.2018.03.032.
- 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 & System Safety, 167, pp. 198–217. doi:10.1016/j.ress.2017.05.030.
- 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 & System Safety, 158, pp. 230–245. doi:10.1016/j.ress.2016.09.002.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Wright, D.R. (1991). Comments on paper by Christodoulakis and Panziou. Information and Software Technology, 33, pp. 103–4.
Contact details
Address
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
- PhD Computer Science, City, University of London, United Kingdom, 2001
- BSc Mathematics, University of London, United Kingdom, 1981
Employment
- Research Fellow, City, University of London, 1986 – present
- Research Assistant, Royal Holloway University of London, 1983 – 1986
- 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
- Gelenbe, E. (Ed.), (2000). System Performance Evaluation: Methodologies and Applications. Boca Raton, Florida: CRC.
Chapters (3)
- 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).
- 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.
- Littlewood, B. (1985). Software Reliability Prediction. In Anderson, T. (Ed.), Resilient computing systems (pp. 144–162). Wiley-Interscience.
Conference papers and proceedings (12)
- Zhao, X., Littlewood, B., Povyakalo, A. and Wright, D. (2015). Conservative claims about the probability of perfection of software-based systems. 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE) 2-5 November. doi:10.1109/issre.2015.7381807
- Bloomfield, R.E., Buzna, L., Popov, P.T., Salako, K. and Wright, D. (2009). Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure.
- Bloomfield, R.E., Littlewood, B. and Wright, D. (2007). Confidence: Its role in dependability cases for risk assessment. doi:10.1109/DSN.2007.29
- 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.
- Wright, D. (2003). Elicitation and validation of graphical dependability models.
- 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.
- 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.
- 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.
- Burns, A., Punnekkat, S., Strigini, L. and Wright, D.R. (1999). Probabilistic Scheduling Guarantees for Fault-Tolerant Real-Time Systems.
- 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.
- LITTLEWOOD, B. and WRIGHT, D. (1995). Stopping rules for the operational testing of safety-critical software. doi:10.1109/FTCS.1995.466955
- 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)
Report
- 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.