Search
photo of Andrey Povyakalo

Dr Andrey Povyakalo

Senior Lecturer

School of Science & Technology Department of Computer Science

Contact details

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

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

Employment

  • Senior Lecturer, City, University of London, United Kingdom, December 2008 - present
  • Research Fellow, City, University of London, United Kingdom, January 2001 - December 2008
  • Docent (Associate Professor), Institute of Nuclear Power Engineering, Russian Federation, June 1995 - December 2000
  • Senior Lecturer, Institute of Nuclear Power Engineering, Russia, December 1991 - May 1995
  • Lecturer, Institute of Nuclear Power Engineering, Russian Federation, August 1988 - December 1991
  • Research Student, Institute of Nuclear Power Engineering, Russian Federation, June 1985 - July 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

  • 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 9780521513920.

Conference papers and proceedings (42)

  • Bishop, P., Povyakalo, A. and Strigini, L. Doubt in Safety Claims is Inevitable: What is its Impact, What Can be Done About It? .doi:10.1007/978-3-032-02018-5_17
  • Bishop, P.G., Povyakalo, A.A. and Strigini, L. (2024). How to reason about Risk, given Inevitable Doubt on Arguments for High Dependability. SAFECOMP 2024 17-20 September, Florence, Italy.
  • Bishop, P., Povyakalo, A. and Strigini, L. (2022). Bootstrapping confidence in future safety from past safe operation. 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) 31 October-3 November.doi:10.1109/issre55969.2022.00020
  • Bishop, P. and Povyakalo, A. Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components. .doi:10.1007/978-3-031-14835-4_24
  • Gashi, I., Povyakalo, A. and Strigini, L. (2016). Diversity, Safety and Security in Embedded Systems: Modelling Adversary Effort and Supply Chain Risks. 2016 12th European Dependable Computing Conference (EDCC) 5-9 September.doi:10.1109/edcc.2016.27
  • 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
  • Popov, P., Povyakalo, A., Stankovic, V. and Strigini, L. (2014). Software Diversity as a Measure for Reducing Development Risk. 2014 Tenth European Dependable Computing Conference (EDCC) 13-16 May.doi:10.1109/edcc.2014.36
  • Gashi, I., Povyakalo, A.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-6 January, Atlanta, GA, USA.
  • Strigini, L., Povyakalo, A.A., Bitsch, F., Guiochet, J. and Kaâniche, M. (2013). Software Fault-Freeness and Reliability Predictions. 32nd International Conference, SAFECOMP 2013 24-27 September, Toulouse, France.doi:10.1007/978-3-642-40793-2_10
  • Strigini, L. and Povyakalo, A. Software Fault-Freeness and Reliability Predictions. .doi:10.1007/978-3-642-40793-2_10
  • Alberdi, E., Strigini, L., Povyakalo, A.A., Ayton, P., Buth, B., Rabe, G.... Seyfarth, T. Why Are People's Decisions Sometimes Worse with Computer Support? SAFECOMP 2009, 28th International Conference on Computer Safety, Reliability, and Security.doi:10.1007/978-3-642-04468-7_3
  • Bloomfield, R.E., Gashi, I., Povyakalo, A. and Stankovic, V. Comparison of Empirical Data from Two Honeynets and a Distributed Honeypot Network. .doi:10.1109/ISSRE.2008.62
  • Alberdi, E., Ayton, P., Povyakalo, A.A. and Strigini, L. Automation bias and system design: A case study in a medical application. .doi:10.1049/ic:20050451
  • 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.
  • Littlewood, B., Bloomfield, R., Popov, P., Povyakalo, A. and Strigini, L. The impact of ‘difficulty’ variation on the probability of coincident failure of diverse systems. International Conference on Control and Instrumentation in Nuclear Installations Liverpool.
  • Alberdi, E., Povyakalo, A., Strigini, L., Ayton, P., Lemke, H.U., Vannier, M.W.... Reiber, J.H.C. Does incorrect computer prompting affect human decision making? A case study in mammography. .
  • Strigini, L., Povyakalo, A. and Alberdi, E. Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study. .doi:10.1109/DSN.2003.1209935
  • Strigini, L., Povyakalo, A., Alberdi, E. and Ayton, P. Decision support or automation bias? A study of computer aided decision making in breast screening. Subjective Probability, Utility and Decision Making (SPUDM 2003).
  • 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.
  • Povyakalo, A.A. Safety, danger and catastrophe inevitability in operation of safety-critical software algorithms: A possible new look at software safety analysis. .
  • 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.
  • 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.
  • 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.
  • 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.
  • Pereguda, A.I. and Povyakalo, A.A. Assessment of importance for protection subsystems in analysis of reliability and safety. .
  • Povyakalo, A.A. Constructive criterion of catastrophe inevitability. .
  • 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.
  • 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.
  • Povyakalo, A.A. and Ostreykovsky, V.A. Criteria of Technical Safety. Technical diagnostics and Reliability prediction Obninsk, INPE.
  • Povyakalo, A.A. and Pereguda, A.I. 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).
  • Povyakalo, A.A. and Ostreykovsky, V.A. An Algorithm for Constructing Orthogonal Structure Functions for Systems with Non-reducible Structure. Technical Diagnostics and Reliability Prediction Obninsk, INPE.
  • Povyakalo, A.A., Pereguda, A.I. and Ostreykovsky, V.A. An Approach for Formalisation of a Concept of Safety. Technical diagnostics and Reliability prediction Obninsk, INPE.
  • Povyakalo, A.A. and Pereguda, A.I. 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.
  • Povyakalo, A.A., Pereguda, A.I. and Ostreykovsky, V.A. Assessing Reliability Indexes with Structural Probabilities. Technical diagnostics and Reliability prediction Obninsk, INPE.
  • Povyakalo, A.A., Grigoryev, A.S., Volkova, E.V., Kurbatov, V.P. and Pereguda, A.I. Assessing Reliability Indexes of Technical Systems with Structural Probabilities (preprint). Moscow, CNIIatominform (Central Research Institute of atomic energy information).
  • Povyakalo, A.A. and Pereguda, A.I. Structural redundancy and safety. Leningrad, LIAP (Leningrad Institute of Automation and Device Manufacturing).
  • Povyakalo, A.A., Pereguda, A.I. and Ostreykovsky, V.A. Choosing Structure of a Communication Network for an Computer-aided Control System for a Manufacturing Process. Technical diagnostics and Reliability prediction Obninsk, INPE.
  • Povyakalo, A.A., Pereguda, A.I. and Ostreykovsky, V.A. Reliability Allocation for a Multifunctional System. Technical diagnostics and Reliability prediction Obninsk, INPE.
  • Povyakalo, A.A. and Pereguda, A.I. 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.
  • Povyakalo, A.A. and Pereguda, A.I. Synthesis of Fault-tolerant Structure of a Communication Network. VINITI (All-Union Institute of Scientific and Engineering Information).
  • Strigini, L., Povyakalo, A., Alberdi, E., Ayton, P., Dearden, A. and Watts, L. Evaluating 'Human + Advisory computer' systems: A case study. HCI2004,18th British HCI Group Annual Conference.
  • Povyakalo, A.A. and Ostreykovsky, V.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)

Reports (3)

Thesis/dissertation

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

Working paper

  • Bishop, P., Povyakalo, A. and Strigini, L. (2024). How to reason about Risk, given Inevitable Doubt on Arguments for High Dependability. Position paper presented at SAFECOMP 2024 conference