Search

Dr Andrey Povyakalo

Senior Lecturer

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

Contact details

Address

Dr Andrey Povyakalo A304F, College Building
City, University of London
Northampton Square
London EC1V 0HB
United Kingdom

About

Overview

Andrey joined the Centre for Software Reliability (CSR) as a Research Fellow in January, 2001 employed on the DIRC project. He was promoted to a Senior Lecturer post in November 2008.

He hold his Candidate of Science degree in Engineering (PhD equivalent) from the Institute of Nuclear Power Engineering (INPE), Obninsk, Russia in 1994. His PhD thesis concerns mathematical modelling of mutual relations between Structural Redundancy, Fault-tolerance, Reliability and Technical Safety of a Computer Complex. He graduated from the Obninsk branch of Moscow Engineering and Physics Institute (MEPhI) in 1985 as a systems engineer with major in Computer-Aided Control and Management systems.

Before joining CSR he was employed by Institute of Nuclear Power Engineering (INPE), Obninsk, Russia as a docent (associate professor) of dept of Computer Systems, Networks and Technologies.

Qualifications

  1. Academic Title of Docent in Computing, Ministry General & Professional Education, Russian Federation, 1997
  2. Dipl. Eng. Computer Aided Control & Management (Nuclear Industry), Moscow Engineering Physics Institute (MEPhI), Russian Federation, 1985
  3. Candidate of Science in Engineering (Nuclear Engineering), Institute of Nuclear Power Engineering, Russian Federation

Employment

  1. Senior Lecturer, City, University of London, Dec 2008 – present
  2. Research Fellow, City, University of London, Jan 2001 – Dec 2008
  3. Docent (Associate Professor), Institute of Nuclear Power Engineering, Jun 1995 – Dec 2000
  4. Senior Lecturer, Institute of Nuclear Power Engineering, Dec 1991 – May 1995
  5. Lecturer, Institute of Nuclear Power Engineering, Aug 1988 – Dec 1991
  6. Research Student, Institute of Nuclear Power Engineering, Jun 1985 – Jul 1988

Research

Research interests

- Software and Systems Engineering
- Dependability of computer-based systems (assessment and achievement)
- Diversity in computer-based systems (modelling and analysis)
- Probabilistic Risk/Safety Assessment
- Reliability Engineering and System Safety

Projects

- DISPO
- SESAMO
- INDEED
- CRUK
- DIRC

Publications

Publications by category

Chapter

  1. Alberdi, E., Povyakalo, A., Strigini, L. and Ayton, P. (2009). Computer Aided Detection: Risks and benefits for radiologists' decisions. In Samei, E. and Krupinski, E. (Eds.), The Handbook of Medical Image Perception and Techniques (pp. 320–332). Cambridge Univ Pr. ISBN 978-0-521-51392-0.

Conference papers and proceedings (38)

  1. Zhao, X., Littlewood, B., Povyakalo, A. and Wright, D. (2016). Conservative claims about the probability of perfection of software-based systems.
  2. Gashi, I., Povyakalo, A. and Strigini, L. (2016). Diversity, Safety and Security in Embedded Systems: Modelling Adversary Effort and Supply Chain Risks.
  3. Gashi, I., Povyakalo, A., Strigini, L., Matschnig, M., Hinterstoisser, T. and Fischer, B. (2014). Diversity for Safety and Security in Embedded Systems. IEEE International Conference on Dependable Systems and Networks 23-26 June, Atlanta, GA, USA.
  4. Popov, P., Povyakalo, A., Stankovic, V. and Strigini, L. (2014). Software diversity as a measure for reducing development risk.
  5. Strigini, L. and Povyakalo, A.A. (2013). Software Fault-Freeness and Reliability Predictions. 32nd International Conference, SAFECOMP 2013 24-27 September, Toulouse, France.
  6. Strigini, L. and Povyakalo, A. (2013). Software fault-freeness and reliability predictions.
  7. Alberdi, E., Strigini, L., Povyakalo, A.A. and Ayton, P. (2009). Why Are People's Decisions Sometimes Worse with Computer Support? SAFECOMP 2009, 28th International Conference on Computer Safety, Reliability, and Security.
  8. Bloomfield, R.E., Gashi, I., Povyakalo, A. and Stankovic, V. (2008). Comparison of Empirical Data from Two Honeynets and a Distributed Honeypot Network.
  9. Strigini, L., Alberdi, E., Povyakalo, A. and Ayton, P. (2005). Automation bias in medical decision making: A study of unreliable computer advice in breast cancer screening. 27th Annual Meeting of the Society for Medical Decision Making (SMDM05) October, San Francisco.
  10. Alberdi, E., Ayton, P., Povyakalo, A.A. and Strigini, L. (2005). Automation bias and system design: A case study in a medical application.
  11. Littlewood, B., Bloomfield, R., Popov, P., Povyakalo, A. and Strigini, L. (2004). The impact of ‘difficulty’ variation on the probability of coincident failure of diverse systems. International Conference on Control and Instrumentation in Nuclear Installations Liverpool.
  12. Alberdi, E., Povyakalo, A., Strigini, L. and Ayton, P. (2003). Does incorrect computer prompting affect human decision making? A case study in mammography.
  13. Strigini, L., Povyakalo, A. and Alberdi, E. (2003). Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study.
  14. Strigini, L., Povyakalo, A., Alberdi, E. and Ayton, P. (2003). Decision support or automation bias? A study of computer aided decision making in breast screening. Subjective Probability, Utility and Decision Making (SPUDM 2003).
  15. Povyakalo, A.A. (2000). Formal Qualitative Safety Analysis of Safety-Critical Software algorithms. Eighth International Conference On Nuclear Engineering (ICONE-8) 2-6 April, Baltimore, MD USA.
  16. Povyakalo, A.A. (2000). Safety, danger and catastrophe inevitability in operation of safety-critical software algorithms: A possible new look at software safety analysis.
  17. Povyakalo, A.A. (1999). Formal Qualitative Safety Analysis of General Dynamic Systems: Synthesis of Protection Algorithms. Seventh International Conference On Nuclear Engineering (ICONE-7), Japan Society of Mechanical Engineers (JSME) 19-23 April, Tokyo, Japan.
  18. Povyakalo, A.A. (1998). Some issues of formal qualitative safety analysis of dynamic systems. Sixth International Conference On Nuclear Engineering (ICONE-6), American society of mechanical engineers (ASME) 10-15 May, San-Diego, California.
  19. Povyakalo, A.A. (1997). To go out a dangerous business in time. Fifth International Conference On Nuclear Engineering (ICONE-5), American society of mechanical engineering (ASME) 26-30 May, Nice, France.
  20. Povyakalo, A.A. (1996). Levels of Safety. Fourth International Conference on Nuclear Engineering (ICONE-4), American society of mecanical engineers (ASME) 10-15 March, New Orleans, LA, USA.
  21. Pereguda, A.I., Povyakalo, A.A. and ATOMFORUM, D. (1995). Assessment of importance for protection subsystems in analysis of reliability and safety.
  22. Povyakalo, A.A. and SOC, E.N. (1995). Constructive criterion of catastrophe inevitability.
  23. Povyakalo, A.A. (1992). A Semi-Markov’s Model for Reliability and Safety Analysis for a Particular Class of Systems. Conference “Probabilistic and Physical methods of reliability analysis of engines and equipment” 21-23 April, Kiev.
  24. Povyakalo, A.A. and Pereguda, A.I. (1992). Applying an Algorithm for Constructing of Orthogonal Structure Function for Reliability Assessment of Complex Systems. Probabilistic and Physical methods of reliability analysis of engines and equipment 21-23 April, Kiev.
  25. Povyakalo, A.A. (1991). Criteria of Technical Safety. Technical diagnostics and Reliability prediction Obninsk, INPE.
  26. Povyakalo, A.A. and Pereguda, A.I. (1991). A Semi-Markov’s Model for Reliability and Safety Analysis of a Particular Class of Systems. Transactions of nuclear industry meeting “Reliability and Safety problems of NPP operation” Balakovo NPP, Moscow (VNIIAES) (All-Union NPP Research Institute).
  27. Povyakalo, A.A. (1990). An Algorithm for Constructing Orthogonal Structure Functions for Systems with Non-reducible Structure. Technical Diagnostics and Reliability Prediction Obninsk, INPE.
  28. Povyakalo, A.A. and Pereguda, A.I. (1990). An Approach for Formalisation of a Concept of Safety. Technical diagnostics and Reliability prediction Obninsk, INPE.
  29. Povyakalo, A.A. and Pereguda, A.I. (1990). An Algorithm and a Program Code for Assessment of Reliability Indexes with Structural Probabilities. Digital models in design and manufacturing of electronic equipment Penza, Engineering Institute.
  30. Povyakalo, A.A. and Pereguda, A.I. (1989). Assessing Reliability Indexes with Structural Probabilities. Technical diagnostics and Reliability prediction Obninsk, INPE.
  31. Povyakalo, A.A., Grigoryev, A.S., Volkova, E.V., Kurbatov, V.P. and Pereguda, A.I. (1989). Assessing Reliability Indexes of Technical Systems with Structural Probabilities (preprint). Moscow, CNIIatominform (Central Research Institute of atomic energy information).
  32. Povyakalo, A.A. and Pereguda, A.I. (1989). Structural redundancy and safety. Leningrad, LIAP (Leningrad Institute of Automation and Device Manufacturing).
  33. Povyakalo, A.A. and Pereguda, A.I. (1988). Choosing Structure of a Communication Network for an Computer-aided Control System for a Manufacturing Process. Technical diagnostics and Reliability prediction Obninsk, INPE.
  34. Povyakalo, A.A. and Pereguda, A.I. (1988). Reliability Allocation for a Multifunctional System. Technical diagnostics and Reliability prediction Obninsk, INPE.
  35. Povyakalo, A.A. and Pereguda, A.I. (1988). Fault-tolerance and reliability of technical systems: Relations between indexes. Transactions of Fourth All-Union meeting “Reliability, Vulnerability and Safety of Automated Complexes” Moscow, Institute of Problems of Control.
  36. Povyakalo, A.A. and Pereguda, A.I. (1986). Synthesis of Fault-tolerant Structure of a Communication Network. VINITI (All-Union Institute of Scientific and Engineering Information).
  37. Strigini, L., Povyakalo, A., Alberdi, E. and Ayton, P. Evaluating 'Human + Advisory computer' systems: A case study. HCI2004,18th British HCI Group Annual Conference.
  38. Povyakalo, A.A. A Semi-Markov’s Model for Reliability and Safety Analysis of a Particular Class of Systems. Technical diagnostics and Reliability prediction Obninsk, INPE.

Journal articles (20)

  1. Bishop, P. and Povyakalo, A. (2020). A conservative confidence bound for the probability of failure on demand of a software-based system based on failure-free tests of its components. Reliability Engineering and System Safety, 203, pp. 1–1.
  2. 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.
  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. Bishop, P.G. and Povyakalo, A. (2016). Deriving a frequentist conservative confidence bound for probability of failure per demand for systems with different operational and test profiles. Reliability Engineering & System Safety. doi:10.1016/j.ress.2016.08.019.
  5. Bishop, P., Bloomfield, R., Littlewood, B., Popov, P., Povyakalo, A. and Strigini, L. (2014). A conservative bound for the probability of failure of a 1-out-of-2 protection system with one hardware-only and one software-based protection train. Reliability Engineering and System Safety, 130, pp. 61–68. doi:10.1016/j.ress.2014.04.002.
  6. Littlewood, B. and Povyakalo, A. (2013). Conservative Reasoning about the Probability of Failure on Demand of a 1-out-of-2 Software-Based System in Which One Channel Is "Possibly Perfect". IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 39(11), pp. 1521–1530. doi:10.1109/TSE.2013.35.
  7. Povyakalo, A.A., Alberdi, E., Strigini, L. and Ayton, P. (2013). How to discriminate between computer-aided and computer-hindered decisions: a case study in mammography. Medical Decision Making, 33, pp. 98–107.
  8. Littlewood, B. and Povyakalo, A. (2013). Conservative bounds for the pfd of a 1-out-of-2 software-based system based on an assessor’s subjective probability of “not worse than independence”. IEEE Transactions on Software Engineering.
  9. 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.
  10. Alberdi, E., Povyakalo, A.A., Strigini, L., Ayton, P. and Given-Wilson, R. (2008). CAD in mammography: Lesion-level versus case-level analysis of the effects of prompts on human decisions. International Journal of Computer Assisted Radiology and Surgery, 3(1-2), pp. 115–122. doi:10.1007/s11548-008-0213-x.
  11. Alberdi, E., Povyakalo, A.A., Strigini, L., Ayton, P., Hartswood, M., Procter, R. … Slack, R. (2005). Use of computer-aided detection (CAD) tools in screening mammography: a multidisciplinary investigation. Br J Radiol, 78 Spec No 1. doi:10.1259/bjr/37646417.
  12. Alberdi, E., Povyakalo, A., Strigini, L. and Ayton, P. (2004). Effects of incorrect computer-aided detection (CAD) output on human decision-making in mammography. Academic Radiology, 11(8), pp. 909–918. doi:10.1016/j.acra.2004.05.012.
  13. Alberdi, E., Povyakalo, A.A., Strigini, L. and Ayton, P. (2004). Effects of incorrect CAD output on human decision making in mammography. Academic Radiology, 11(8), pp. 909–918.
  14. Pereguda, A.I. and Povyakalo, A.A. (1995). Assessment of the importance of the protection subsystems in reliability and safety analysis. Atomic Energy, 78(3), pp. 164–168. doi:10.1007/BF02407482.
  15. Pereguda, A.I. and Povyakalo, A.A. (1995). Assessment of importance for protection subsystems in analysis of reliability and safety. Atomnaya Energiya, 78(3), pp. 166–172.
  16. Povyakalo, A.A. (1995). On Static and Dynamic Aspects of System Fault-tolerance. Reliability and Quality Assurance, 1, pp. 3–7.
  17. Povyakalo, A.A. (1994). Zero Sum Postulate: Rating the Risk and estimating the Price of a Human Life. Communications of Higher Schools. Nuclear Power Engineering, 4-5(10).
  18. Povyakalo, A.A. (1993). On a Formal Approach for development of Mathematical Models of Safety for Systems With Finite Number or States. Communications of Higher Schools. Nuclear Power Engineering, 2, pp. 35–40.
  19. Povyakalo, A.A. and Pereguda, A.I. (1989). Fault-tolerance and Reliability of Systems with Recoverable Elements. Control devices and systems, 11, pp. 5–7.
  20. Povyakalo, A.A. and Pereguda, A.I. (1989). Fault-Tolerance and Reliability of Systems with Unrecoverable Elements. Control devices and systems, 11, pp. 3–5.

Reports (2)

  1. Littlewood, B. and Povyakalo, A. (2012). Conservative bounds for the pfd of a 1-out-of-2 software-based system based on an assessor’s subjective probability of 'not worse than independence'. London: Centre for Software Reliability, City University London.
  2. Littlewood, B. and Povyakalo, A. (2012). Conservative reasoning about epistemic uncertainty for the probability of failure on demand of a 1-out-of-2 software-based system in which one channel is “possibly perfect”. London: Centre for Software Reliability, City University London.

Thesis/dissertation

  1. Povyakalo, A.A. Mathematical Modeling of Relations Between Fault-tolerance, Reliability and Safety of a Computer Complex. (PhD Thesis)