Search
photo of Peter Popov

Dr Peter Popov

Associate Dean (International)

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

Contact details

Address

Dr Peter Popov A304E, College Building
City, University of London
Northampton Square
London EC1V 0HB
United Kingdom

About

Overview

Peter is an expert in Software Dependability. He was born in Bulgaria, graduated in Computer Engineering in 1982 from the National Technical University in Kiev (KPI), Ukraine, at the time part of the Soviet Union, and received his doctorate (Candidate of Sciences) from the same University in 1989.

Before joining the Centre for Software Reliability (CSR) at City, University of London in 1997 he worked for the Bulgarian Academy of Sciences as Associate Professor in the Institute of Information and Communication Technologies.

He was a visiting scientist in the Coordinated Science Laboratory (CSL) in the University of Illinois at Urbana Champaign (US), in LAAS - CNRS in Toulouse (France), and Duke University (US).

He worked and consulted in the areas of computer and software dependability in several counties in Europe and in the US.

Qualifications

  1. PhD Computer Science, Kiev National University of Technologies and Design, Ukraine, 1985 – 1989

Employment

  1. Reader, City, University of London, 2007 – present
  2. Senoir Lecturer, City, University of London, 2003 – 2007
  3. Lecturer, City, University of London, 2000 – 2003
  4. Research Fellow, City, University of London, 1997 – 2000
  5. Associate Professor, Bulgarian Academy of Sciences - Institute of Information and Communication Technologies, 1990 – 1997
  6. Head of Research and Development, Disk Memory Units, 1982 – 1985

Languages

Bulgarian (can peer review), English (can peer review) and Russian (can peer review).

Expertise

Geographic Areas

  • Europe

Research

Research interests

- Software engineering
- Software reliability assessment,
- System dependability,
- Software fault-tolerance,
- Performance evaluation
- Interdependencies of Critical Infrastructures

Projects

- ReSIST
- IRRIIS
- DISPO
- AFTER

Visual Paradigm

Use of Visual Pradigm is made available to City University by the Academic Partner Program from Visual Paradigm for educational purposes.

Research students

Aria Kosari

Attendance: Apr 2021 – Mar 2025, full-time

Thesis title: Cyber - Resilience of Communicating Autonomous Vehicles

Role: 1st Supervisor

Matthew Stewart

Attendance: Oct 2020 – Sep 2024, full-time

Thesis title: Safety assurance of autonomous systems with ML components

Role: 1st Supervisor

Robab Aghazadeh Chakherlou

Attendance: Oct 2020 – Sep 2024, full-time

Thesis title: Safety of Autonomous Vehicles

Role: 2nd Supervisor

Oleksandr Netkachov

Attendance: May 2015 – Apr 2021, part-time

Thesis title: Methodology, Method and Tools for Quantitative Systems Assessment using High-Performance Simulations

Role: 1st Supervisor

Shahedeh Abdolhossein Khani

Attendance: Jun 2013 – Dec 2017, full-time

Thesis title: Adaptable Web Services

Role: 2nd Supervisor

Publications

Featured publications

  1. (2019). Resilience of Cyber-Physical Systems. In Springer International Publishing. ISBN 978-3-319-95596-4.
  2. Netkachov, O., Popov, P. and Salako, K. (2019). Quantitative Evaluation of the Efficacy of Defence-in-Depth in Critical Infrastructures. Resilience of Cyber-Physical Systems (pp. 89–121). Springer International Publishing.
  3. Popov, P. (2017). Models of Reliability of Fault-Tolerant Software Under Cyber-Attacks. 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE) 23-26 October.
  4. Popov, P.T. and Strigini, L. (2010). Assessing Asymmetric Fault-Tolerant Software.
  5. Pietrantuono, R., Popov, P. and Russo, S. (2020). Reliability assessment of service-based software under operational profile uncertainty. Reliability Engineering and System Safety, 204, pp. 1–1. doi:10.1016/j.ress.2020.107193.
  6. 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.
  7. Popov, P.T. (2013). Bayesian reliability assessment of legacy safety-critical systems upgraded with fault-tolerant off-the-shelf software. Reliability Engineering & System Safety, 117, pp. 98–113. doi:10.1016/j.ress.2013.03.017.
  8. Popov, P.T. and Stankovic, V. (2012). Improvements Relating to Database Replication Protocols. Patent no. N/A

Publications by category

Book

  1. Rashid, A. and Popov, P. (2020). Preface. ISBN 978-3-030-58294-4.

Chapters (4)

  1. Littlewood, B., Popov, P.T., Strigini, L. and Shryane, N. (2008). Modelling the Effects of Combining Diverse Software Fault Detection Techniques. In Hierons, R.M., Bowen, J.P. and Harman, M. (Eds.), Formal Methods and Testing (pp. 345–366). Germany: Springer. ISBN 978-3-540-78916-1.
  2. Gashi, I., Popov, P.T., Stankovic, V. and Strigini, L. (2003). On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers. In Lemos, R.D., Gacek, C. and Romanovsky, A.B. (Eds.), Architecting Dependable Systems II - [the book is a result of the ICSE 2003 Workshop on Software Architectures for Dependable Systems] (pp. 191–214). Springer. ISBN 3-540-23168-4.
  3. Djambazov, K. and Popov, P. (1997). Software Design-Faults Simulation. Safety and Reliability of Software Based Systems (pp. 389–418). Springer London.
  4. Cavalieri, S., Chiacchio, F., Manno, G. and Popov, P. Quantitative Assessment of Distributed Networks through Hybrid Stochastic Modeling. Quantitative Assessments of Distributed Systems (pp. 223–264). John Wiley & Sons, Inc..

Conference papers and proceedings (49)

  1. Bobrovnikova, K., Lysenko, S., Popov, P., Denysiuk, D. and Goroshko, A. (2021). Technique for IoT cyberattacks detection based on the energy consumption analysis.
  2. Hovorushchenko, T., Savenko, O., Popov, P. and Lysenko, S. (2021). IntelITSIS 2021 intelligent information technologies & systems of information security 2021.
  3. Lysenko, S., Bobrovnikova, K., Popov, P., Kharchenko, V. and Medzatyi, D. (2020). Spyware detection technique based on reinforcement learning.
  4. Hovorushchenko, T., Savenko, O., Popov, P. and Lysenko, S. (2020). Preface.
  5. Fujdiak, R., Misurec, J., Pokorny, J., Zobal, L., Popov, P., Stankovic, V. … Musil, P. (2019). Security and Performance Trade-offs for Data Distribution Service in Flying Ad-Hoc Networks. 2019 11th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) 28-30 October.
  6. Herwanger, J.V., Bottrill, A. and Popov, P. (2016). One 4D geomechanical model and its many applications.
  7. Popov, P.T. (2015). Stochastic Modeling of Safety and Security of the e-Motor, an ASIL-D Device. The 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015 23-25 September, Delft, The Netherlands.
  8. Popov, P., Salako, K.O. and Stankovic, V. (2015). Stochastic modeling for performance evaluation of database replication protocols. 12th International Conference on Quantitative Evaluation of Systems 1-3 September, Madrid, Spain.
  9. Netkachova, K., Bloomfield, R., Popov, P. and Netkachov, O. (2015). Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical Infrastructures.
  10. Popov, P.T., Povyakalo, A., Stankovic, V. and Strigini, L. (2014). Software diversity as a measure for reducing development risk. European Dependable Computing Conference - EDCC 2014 13-16 May, Newcastle upon Tyne.
  11. Butenko, V., Kharchenko, V., Odarushchenko, O., Popov, P., Sklyar, V. and Odarushchenko, E. (2014). Markov's model and tool-based assessment of safety-critical I&C systems: Gaps of the IEC 61508.
  12. Kharchenko, V.S., Odarushchenko, O., Odarushchenko, V. and Popov, P.T. (2013). Selecting Mathematical Software for Dependability Assessment of Computer Systems Described by Stiff Markov Chains.
  13. Kharchenko, V., Odarushchenko, O., Odarushchenko, V. and Popov, P. (2013). Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study.
  14. Popov, P., Stankovic, V. and Strigini, L. (2012). An Empirical Study of the Effectiveness of 'Forcing Diversity' Based on a Large Population of Diverse Programs. ISSRE 2012, International Symposium on Software Reliability Engineering 27-30 November, Dallas, Texas, USA.
  15. Popov, P. (2011). Preliminary Interdependency Analysis (PIA): Method and Tool Support. Third International Workshop "Software Engineering for Resilient Systems" (SERENE 2011), September 29-30, 29-30 September, Geneva, Switzerland.
  16. Popov, P.T. and Manno, G. (2011). The Effect of Correlated Failure Rates on Reliability of Continuous Time 1-out-of-2 Software. 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011) 19-21 September, Naples, Italy.
  17. Popov, P.T., Buzna, L., Bloomfield, R., Salako, K. and Wright, D. (2010). Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure. Critical Information Infrastructures Security, 4th International Workshop (CRITIS 2009) 20 Sep 2010 – 2 Oct 2010.
  18. Bloomfield, R., Buzna, L., Popov, P., Salako, K. and Wright, D. (2010). Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure.
  19. Kharchenko, V., Phillips, C., Popov, P., Pomorova, O., Romanovsky, A. and Troubitsyna, E. (2008). MASTAC. the 2008 international workshop 13 May.
  20. Littlewood, B., Popov, P.T., Strigini, L. and Shryane, N. (2008). Modelling the Effects of Combining Diverse Software Fault Detection Techniques.
  21. Gashi, I. and Popov, P. (2007). Uncertainty explicit assessment of off-the-shelf software: Selection of an optimal diverse pair.
  22. Popov, P.T. and Gashi, I. (2007). Uncertainty Explicit Assessment of Off-the-Shelf Software: Selection of an Optimal Diverse Pair. Sixth International Conference on COTS Based Software Systems (ICCBSS-2007) Banff, Alberta, Canada.
  23. Gashi, I. and Popov, P.T. (2006). Rephrasing Rules for Off-The-Shelf SQL Database Servers.
  24. Stankovic, V. and Popov, P.T. (2006). Improving DBMS Performance through Diverse Redundancy.
  25. Stankovic, V. and Popov, P. (2006). Improving DBMS performance through diverse redundancy. 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006).
  26. Popov, P. and Littlewood, B. (2004). The effect of testing on reliability of fault-tolerant software. International Conference on Dependable Systems and Networks 28 Jun 2004 – 1 Jul 2004, Florence, ITALY.
  27. Gashi, I., Popov, P.T. and Strigini, L. (2004). Fault Diversity among Off-The-Shelf SQL Database Servers.
  28. Popov, P.T., Strigini, L., Kostov, A., Mollov, V. and Selensky, D. (2004). Software Fault-Tolerance with Off-the-Shelf SQL Servers.
  29. Gorbenko, A., Kharchenko, V.S., Popov, P.T. and Romanovsky, A.B. (2004). Dependable Composite Web Services with Components Upgraded Online.
  30. 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.
  31. Popov, P.T., Kharchenko, V. and Romanovsky, A. (2004). On Dependability of Composite Web Services with Components Upgraded Online. International Conference on Dependable Systems and Networks (DSN'04 - Workshop supplement) Florence, Italy.
  32. Strigini, L. and Popov, P. (2003). Diversity with Off-The-Shelf Components: A Study with SQL Database Servers. International Conference on Dependable Systems and Networks (DSN 2003).
  33. Popov, P.T. (2002). Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components.
  34. Popov, P.T. and Strigini, L. (2001). The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process.
  35. Popov, P.T., Strigini, L., Riddle, S. and Romanovsky, A.B. (2001). On Systematic Design of Protectors for Employing OTS Items.
  36. Littlewood, B., Popov, P.T. and Strigini, L. (2001). Modeling software design diversity.
  37. Strigini, L., Popov, P., Riddle, S. and Romanovsky, A. (2001). Protective Wrapping of OTS Components. 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction Toronto.
  38. Ainsworth, M., Eastaughffe, K. and Simpson, A. (2001). Safety Cases for Software-Intensive Systems.
  39. Littlewood, B., Popov, P. and Strigini, L. (2001). Design diversity: an update from research on reliability modelling.
  40. Popov, P.T., Strigini, L. and Littlewood, B. (2000). Choosing Between Fault-Tolerance and Increased V&V for Improving Reliability.
  41. Littlewood, B., Popov, P.T. and Strigini, L. (2000). Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach.
  42. Littlewood, B., Popov, P. and Strigini, L. (2000). N-version design versus one good version. Proc International Conference on Dependable Systems and Networks (Fast Abstracts) New York.
  43. Strigini, L., Popov, P. and Romanovsky, A. (2000). Diversity for off-the-Shelf Components. International Conference on Dependable Systems & Networks (FTCS-30, DCCA-8) New York, NY, USA.
  44. Strigini, L., Popov, P. and Littlewood, B. (2000). Assessing the Reliability of Diverse Fault-Tolerant Systems. INucE International Conference on Control and Instrumentation in Nuclear Installations Bristol, UK.
  45. Popov, P.T., Strigini, L. and Romanovsky, A.B. (1999). Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science.
  46. Strigini, L., Popov, P. and Pizza, M. (1998). The efficacy of diverse redundancy against design error: some practical considerations. Third International Conference on Control and Instrumentation in Nuclear Installations May, Edinburgh, U.K.
  47. Popov, P.T. and Strigini, L. (1998). Conceptual Models for the Reliability of Diverse Systems - New Results.
  48. Popov, P.T. (1996). The Effect of Interfailure Time Variability on the Software Reliability Growth Modelling.
  49. Popov, P.T. and Djambazov, K. (1995). The effect of testing on the reliability of single version and 1-out-of-2 software systems. Sixth International Symposium on Software Reliability Engineering (ISSRE 1995) 24-27 October.

Internet publication

  1. Popov, P.T. Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Fault-Tolerant Off-the-Shelf Software. Elsvier (Reliability Engineering and System Safety).

Journal articles (23)

  1. Popov, P. (2021). Conservative reliability assessment of a 2-channel software system when one of the channels is probably perfect. Reliability Engineering & System Safety, 216, pp. 108008–108008. doi:10.1016/j.ress.2021.108008.
  2. Favaro, J., Mazzini, S., Popov, P. and Strigini, L. (2018). AQUAS: A project to bridge the gaps between safety and security processes. Ada User Journal, 39(4), pp. 261–263.
  3. Netkachov, O., Popov, P. and Salako, K. (2016). Model-Based Evaluation of the Resilience of Critical Infrastructures Under Cyber Attacks. pp. 231–243. doi:10.1007/978-3-319-31664-2_24.
  4. Sviercoski, R.F., Popov, P. and Margenov, S. (2015). An analytical coarse grid operator applied to a multiscale multigrid method. Journal of Computational and Applied Mathematics, 287, pp. 207–219. doi:10.1016/j.cam.2015.03.001.
  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 & System Safety, 130, pp. 61–68. doi:10.1016/j.ress.2014.04.002.
  6. Brown, D.L., Popov, P. and Efendiev, Y. (2014). Effective equations for fluid-structure interaction with applications to poroelasticity. Applicable Analysis, 93(4), pp. 771–790. doi:10.1080/00036811.2013.839780.
  7. Netkachov, O., Popov, P. and Salako, K. (2014). Quantification of the Impact of Cyber Attack in Critical Infrastructures. pp. 316–327. doi:10.1007/978-3-319-10557-4_35.
  8. Kharchenko, V.S., Popov, P.T., Odarushchenko, O. and Zhadan, V. (2012). EMPIRICAL EVALUATION OF ACCURACY OF MATHEMATICAL SOFTWARE USED FOR AVAILABILITY ASSESSMENT OF FAULT-TOLERANT COMPUTER SYSTEMS. Reliability: Theory & Applications, 7(3).

    [publisher’s website]

  9. Brown, D.L., Popov, P. and Efendiev, Y. (2011). On homogenization of stokes flow in slowly varying media with applications to fluid–structure interaction. GEM - International Journal on Geomathematics, 2(2), pp. 281–305. doi:10.1007/s13137-011-0025-y.
  10. Sviercoski, R.F., Popov, P. and Travis, B.J. (2009). Zeroth and first-order homogenized approximations to nonlinear diffusion through block inclusions by an analytical approach. Computer Methods in Applied Mechanics and Engineering, 198(30-32), pp. 2260–2271. doi:10.1016/j.cma.2009.02.020.
  11. Gashi, I., Popov, P.T. and Stankovic, V. (2009). Uncertainty explicit assessment of off-the-shelf software: A Bayesian approach. Information & Software Technology, 51, pp. 497–511.
  12. Popov, P., Efendiev, Y. and Qin, G. (2009). Multiscale Modeling and Simulations of Flows in Naturally Fractured Karst Reservoirs. Communications in Computational Physics pp. 162–184. doi:10.4208/cicp.2009.v6.p162.
  13. Iliev, O., Mikelić, A. and Popov, P. (2008). On Upscaling Certain Flows in Deformable Porous Media. Multiscale Modeling & Simulation, 7(1), pp. 93–123. doi:10.1137/06067732x.
  14. Popov, P. and Lagoudas, D.C. (2007). A 3-D constitutive model for shape memory alloys incorporating pseudoelasticity and detwinning of self-accommodated martensite. International Journal of Plasticity, 23(10-11), pp. 1679–1720. doi:10.1016/j.ijplas.2007.03.011.
  15. Gashi, I., Popov, P.T. and Strigini, L. (2007). Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers. IEEE Trans. Dependable Sec. Comput., 4, pp. 280–294. doi:10.1109/TDSC.2007.70208.
  16. Lagoudas, D.C., Entchev, P.B., Popov, P., Patoor, E., Brinson, L.C. and Gao, X. (2006). Shape memory alloys, Part II: Modeling of polycrystals. Mechanics of Materials, 38(5-6), pp. 430–462. doi:10.1016/j.mechmat.2005.08.003.
  17. Newman, M., Safjan, A., Popov, P. and Lagoudas, D.C. (2005). A non-reflecting layer method for non-linear wave-type equations on unbounded domains with applications to shape memory alloy rods. International Journal for Numerical Methods in Engineering, 62(15), pp. 2053–2085. doi:10.1002/nme.1223.
  18. Lagoudas, D.C., Ravi-Chandar, K., Sarh, K. and Popov, P. (2003). Dynamic loading of polycrystalline shape memory alloy rods. Mechanics of Materials, 35(7), pp. 689–716. doi:10.1016/s0167-6636(02)00199-0.
  19. Popov, P.T., Strigini, L., May, J.H.R. and Kuball, S. (2003). Estimating Bounds on the Reliability of Diverse Systems. IEEE Trans. Software Eng., 29, pp. 345–359. doi:10.1109/TSE.2003.1191798.
  20. Littlewood, B., Popov, P. and Strigini, L. (2002). Assessing the reliability of diverse fault-tolerant software-based systems. SAFETY SCIENCE, 40(9), pp. 781–796.
  21. Bekker, A. (2002). Impact induced propagation of phase transformation in a shape memory alloy rod. International Journal of Plasticity, 18(11), pp. 1447–1479. doi:10.1016/s0749-6419(02)00025-6.
  22. Littlewood, B., Popov, P.T., Strigini, L. and Shryane, N. (2000). Modeling the Effects of Combining Diverse Software Fault Detection Techniques. IEEE Trans. Software Eng., 26, pp. 1157–1167. doi:10.1109/32.888629.
  23. Littlewood, B., Popov, P. and Strigini, L. (1999). A note on reliability estimation of functionally diverse systems. RELIAB ENG SYST SAFE, 66(1), pp. 93–95.

Patents (3)

  1. Stankovic, V. and Popov, P. (2012). Improvements Relating to Database Replication Protocols. Patent no. EP2470994
  2. Popov, P.T. (2012). Database replication.
  3. Popov, P. and Stankovic, V. (2012). Database replication. Patent no. 8793216

Reports (6)

  1. Bloomfield, R., Fletcher, G., Khlaaf, H., Ryan, P., Kinoshita, S., Kinoshit, Y. … Tsutake, Y. (2020). Towards Identifying and closing Gaps in Assurance of autonomous Road
    vehicleS -- a collection of Technical Notes Part 2.    .
  2. Bloomfield, R., Fletcher, G., Khlaaf, H., Ryan, P., Kinoshita, S., Kinoshit, Y. … Tsutake, Y. (2020). Towards Identifying and closing Gaps in Assurance of autonomous Road
    vehicleS -- a collection of Technical Notes Part 1.    .
  3. Popov, P.T. (2012). Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Fault-Tolerant Off-the-Shelf Software. Centre for Software Reliability, City University London.
  4. Bloomfield, R, , Chozos, N., , Popov, P.T., Stankovic, V., , Wright, D, and Howell-Morris, R, (2010). Preliminary Interdependency Analysis (PIA): Method and tool support..
  5. Popov, P.T. and Strigini, L. (2001). The Reliability of Diverse Systems: a Contribution using Modelling of the Fault Creation Process..
  6. Popov, P.T., Strigini, L. and Pizza, M. Diverse redundancy against design error: a model of fault creation and its implications on reliability..

Software (7)

  1. Popov, P. (2021). Conservative reliability assessment of a 2-channel software system when one of the channels is probably perfect..
  2. Stankovic, V. and Popov, P. (2016). TPC-C Client - Java-based implementation of the industry standard benchmark for database performance evaluation. London.
  3. Popov, P., Salako, K. and Stankovic, V. (2015). Stochastic Modeling for Performance Evaluation of Database Replication Protocols. Springer International Publishing.
  4. Popov, P.T. (2015). A SAN model for safety and security analysis of the eMotor, an ASIL-D device..
  5. Salako, K., Stankovic, V. and Popov, P. (2015). Stochastic model for performance evaluation of database replication protocols..
  6. Popov, P.T. A SAN Model of the effects of cyber-attacks on reliability of a 2-channel software system..
  7. Netkachov, O., Popov, P. and Salako, K. Simulation model of the extended Nordic32 network..

Professional activities

Editorial activity

  1. Member of Program Committees for:
    - International Symposium on Software Reliability Engineering, ISSRE 2011, ISSRE 2012 and ISSRE 2016 - ISSRE 2021
    - International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail 2016, 2017)
    - International Conference on Comuter safety, reliability and security - SAFECOMP 2015 - SAFECOMP 2021.
    - European Dependable Computing Conference - EDCC 2009, EDCC 2014    , Program Committees, Jan 2012 – Dec 2021.

Keynote lecture/speech

  1. Preliminary Interdependency Analysis of Critical Infrastructures: Models, Tool Support and Data Analysis. Geneva, Switzerland (2011).
    SERENE 2011    , 3rd International Workshop on Software Engineering for Resilient Systems.