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

Contact Information

Contact

Visit Andrey Povyakalo

A229C, College Building

null

Postal Address

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

About

Background

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 (Ph. D. equivalent) from the Institute of Nuclear Power Engineering (INPE), Obninsk, Russia in 1994. His Ph. D. 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

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

Employment

12/2008 - to date City University London, Senior Lecturer
01/2001 - 12/2008 City University London, Research Fellow
06/1995 - 12/2000 Institute of Nuclear Power Engineering, Obninsk, Docent (Associate Professor)
12/1991 - 05/1995 Institute of Nuclear Power Engineering, Obninsk, Senior Lecturer
08/1988 - 12/1991 Institute of Nuclear Power Engineering, Obninsk, Lecturer
06/1985 - 07/1988 Institute of Nuclear Power Engineering, Obninsk, Research Student

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

Chapters (2)

  1. Alberdi, E., Povyakalo, , Strigini, and AYTON, P. (2014). CAD: risks and benefits for radiologists' decisions. The Handbook of Medical Image Perception and Techniques (pp. 320–332). Cambridge University Press. ISBN 978-1-107-42463-0.
  2. 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. Gashi, I., Povyakalo, A. and Strigini, L. (2016). Diversity, Safety and Security in Embedded Systems: Modelling Adversary Effort and Supply Chain Risks. .
  2. Zhao, X., Littlewood, B., Povyakalo, A. and Wright, D. (2016). Conservative claims about the probability of perfection of software-based systems. .
  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. Tenth European Dependable Computing Conference - EDCC 2014 13-16 May, Newcastle upon Tyne, UK.
  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. Strigini, L., Povyakalo, A. and Alberdi, E. (2003). Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study. .
  13. Alberdi, E., Povyakalo, A., Strigini, L. and Ayton, P. (2003). Does incorrect computer prompting affect human decision making? A case study in mammography. .
  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. Povyakalo, A.A. and SOC, E.N. (1995). Constructive criterion of catastrophe inevitability. .
  22. Pereguda, A.I., Povyakalo, A.A. and ATOMFORUM, D. (1995). Assessment of importance for protection subsystems in analysis of reliability and safety. .
  23. 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.
  24. 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.
  25. 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).
  26. Povyakalo, A.A. (1991). Criteria of Technical Safety. Technical diagnostics and Reliability prediction Obninsk, INPE.
  27. 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.
  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. (1990). An Algorithm for Constructing Orthogonal Structure Functions for Systems with Non-reducible Structure. Technical Diagnostics and Reliability Prediction Obninsk, INPE.
  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. and Pereguda, A.I. (1989). Structural redundancy and safety. Leningrad, LIAP (Leningrad Institute of Automation and Device Manufacturing).
  32. 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).
  33. 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.
  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). Choosing Structure of a Communication Network for an Computer-aided Control System for a Manufacturing Process. Technical diagnostics and Reliability prediction Obninsk, INPE.
  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. 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.
  38. Strigini, L., Povyakalo, A., Alberdi, E. and Ayton, P. Evaluating 'Human + Advisory computer' systems: A case study. HCI2004,18th British HCI Group Annual Conference .

Journal Articles (17)

  1. 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.
  2. Bishop, P. and Povyakalo, A. (2017). Deriving a frequentist conservative confidence bound for probability of failure per demand for systems with different operational and test profiles. RELIABILITY ENGINEERING & SYSTEM SAFETY, 158, pp. 246–253. doi:10.1016/j.ress.2016.08.019.
  3. 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.
  4. 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.
  5. 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, pp. 1521-1530–1521-1530.
  6. 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 .
  7. 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.
  8. 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.
  9. Alberdi, E., Povyakalo, A.A., Strigini, L., Ayton, P., Hartswood, M., Procter, R. and Slack, R. (2005). Use of computer-aided detection (CAD) tools in screening mammography: a multidisciplinary investigation. Br J Radiol, 78 Spec No 1, pp. S31–S40. doi:10.1259/bjr/37646417.
  10. 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.
  11. 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.
  12. 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.
  13. Povyakalo, A.A. (1995). On Static and Dynamic Aspects of System Fault-tolerance. Reliability and Quality Assurance, 1, pp. 3–7.
  14. 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) .
  15. 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.
  16. 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.
  17. 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.

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)

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.