People
  1. Academic experts
  2. Research students
  3. Students
  4. Alumni
  5. Senior people at City
  6. Non-academic staff
  7. Honorary graduates
People

Contact Information

Contact

Visit Peter Popov

A304E, College Building

Postal Address

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 in 1997 he worked for the Bulgarian Academy of Science. He was a visiting scientist in the Coordinated Science Laboratory (CSL) in the University of Illinois at Urbana Champaign (US) and in LAAS - CNRS in Toulouse, France. He worked and consulted in the areas of computer and software dependability in several counties in Europe and in the US.

Qualifications

PhD in Computer Science.

Employment

Peter is Reader in the Centre for Software Reliability in the School of Informatics, which he joined in 1997, initially as a Research Fellow. In 2000 he was appointed Lecturer, in 2003 - to Senoir Lecturer and since 2007 he has been Reader. Before joining CSR Peter worked for Bulgarian Academy of Sciences as Associate Professor in the Institute of Information and Communication Technologies which was preceded by 6 years of experience in industry.

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

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

  1. Popov, P. (2017). Models of Reliability of Fault-Tolerant Software under Cyber-Attacks.
  2. Popov, P.T. and Strigini, L. (2010). Assessing Asymmetric Fault-Tolerant Software.
  3. 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 and System Safety, 167, pp. 198–217. doi:10.1016/j.ress.2017.05.030.
  4. 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.
  5. Popov, P.T. and Stankovic, V. (2012). Improvements Relating to Database Replication Protocols. Patent no. N/A

Chapters (3)

  1. Popov, P.T., Netkachov, O. and Salako, K. (2018). Model-based evaluation of the efficiency of defence-in-depth in critical infrastructures. (Flammini, F., Trans.) Resilience of Cyber-Physical Systems TBD: Springer.
  2. 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.
  3. 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 (59)

  1. Smit, D., Oppert, S., Stefani, J., Artus, V., Herwanger, J., Popov, P. … Oristaglio, M.L. (2017). Large-scale numerical simulation of reservoir monitoring - SEAM time lapse.
  2. Herwanger, J.V., Bottrill, A. and Popov, P. (2016). One 4D geomechanical model and its many applications.
  3. 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.
  4. 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.
  5. Netkachova, K., Bloomfield, R., Popov, P. and Netkachov, O. (2015). Using structured assurance case approach to analyse security and reliability of critical infrastructures.
  6. Kosturski, N., Margenov, S., Popov, P., Simeonov, N. and Vutov, Y. (2015). Performance analysis of block AMG preconditioning of poroelasticity equations.
  7. 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.
  8. 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.
  9. 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.
  10. Kharchenko, V., Odarushchenko, O., Odarushchenko, V. and Popov, P. (2013). Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study.
  11. Brown, D.L., Efendiev, Y., Li, G., Popov, P. and Savatorova, V. (2013). Multiscale modeling of high contrast brinkman equations with applications to deformable porous media.
  12. 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.
  13. Douglas, C.C., Efendiev, Y., Popov, P. and Calo, V.M. (2012). An introduction to a porous shape memory alloy dynamic data driven application system.
  14. Popov, P. (2012). Preconditioning of linear systems arising in finite element discretizations of the Brinkman equation.
  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., Vutov, Y., Margenov, S. and Iliev, O. (2011). Finite volume discretization of equations describing nonlinear diffusion in Li-Ion batteries.
  18. 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.
  19. Bloomfield, R., Buzna, L., Popov, P., Salako, K. and Wright, D. (2010). Stochastic modelling of the effects of interdependencies between critical infrastructure.
  20. Qin, G., Bi, L., Popov, P., Efendiev, Y. and Espedal, M.S. (2010). An efficient upscaling process based on a unified fine-scale multi-physics model for flow simulation in naturally fracture carbonate karst reservoirs.
  21. Popov, P., Efendiev, Y. and Gorb, Y. (2010). Multiscale modeling and simulation of fluid flows in highly deformable porous media.
  22. Popov, P., Qin, G., Bi, L., Efendiev, Y., Kang, Z. and Li, J. (2009). Multiphysics and multiscale methods for modeling fluid flow through naturally fractured carbonate karst reservoirs.
  23. Popov, P. and Popov, B. (2009). A second order central scheme for hamilton-jacobi equations on triangular grids.
  24. Bi, L., Qin, G., Popov, P., Efendiev, Y. and Espadal, M.S. (2009). An efficient upscaling process based on a unified fine-scale multi-physics model for flow simulation in naturally fracture carbonate karst reservoirs.
  25. Littlewood, B., Popov, P.T., Strigini, L. and Shryane, N. (2008). Modelling the Effects of Combining Diverse Software Fault Detection Techniques.
  26. Kharchenko, V., Pomorova, O., Phillips, C., Romanovsky, A., Popov, P. and Troubitsyna, E. (2008). "MASTAC": New curriculum for master and doctoral studies in critical software and computing.
  27. 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.
  28. Gashi, I. and Popov, P. (2007). Uncertainty explicit assessment of off-the-shelf software: Selection of an optimal diverse pair.
  29. Popov, P., Bi, L., Efendiev, Y., Ewing, R.E., Qin, G., Li, J. … Ren, Y. (2007). Multiphysics and multiscale methods for modeling fluid flow through naturally fractured vuggy carbonate reservoirs.
  30. Popov, P., Qin, G., Bi, L., Efendiev, Y., Ewing, R., Kang, Z. … Li, J. (2007). Multiscale methods for modeling fluid flow through naturally fractured carbonate karst reservoirs.
  31. Gashi, I. and Popov, P.T. (2006). Rephrasing Rules for Off-The-Shelf SQL Database Servers.
  32. Stankovic, V. and Popov, P.T. (2006). Improving DBMS Performance through Diverse Redundancy.
  33. Stankovic, V. and Popov, P. (2006). Improving DBMS performance through diverse redundancy. 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006).
  34. Lagoudas, D.C. and Popov, P. (2005). A three-phase model of shape-memory alloys undergoing complex thermomechanical loading paths.
  35. 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.
  36. Gashi, I., Popov, P.T. and Strigini, L. (2004). Fault Diversity among Off-The-Shelf SQL Database Servers.
  37. Popov, P.T., Strigini, L., Kostov, A., Mollov, V. and Selensky, D. (2004). Software Fault-Tolerance with Off-the-Shelf SQL Servers.
  38. Gorbenko, A., Kharchenko, V.S., Popov, P.T. and Romanovsky, A.B. (2004). Dependable Composite Web Services with Components Upgraded Online.
  39. 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.
  40. 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.
  41. 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).
  42. Lagoudas, D.C. and Popov, P. (2003). Numerical Studies of Wave Propagation in Polycrystalline Shape Memory Alloy Rods.
  43. Popov, P.T. (2002). Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components.
  44. Popov, P.T. and Strigini, L. (2001). The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process.
  45. Popov, P.T., Strigini, L., Riddle, S. and Romanovsky, A.B. (2001). On Systematic Design of Protectors for Employing OTS Items.
  46. Littlewood, B., Popov, P.T. and Strigini, L. (2001). Modeling software design diversity.
  47. 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.
  48. Littlewood, B., Popov, P. and Strigini, L. (2001). Design diversity: an update from research on reliability modelling.
  49. Ainsworth, M., Eastaughffe, K. and Simpson, A. (2001). Safety cases for software-intensive systems.
  50. Popov, P.T., Strigini, L. and Littlewood, B. (2000). Choosing Between Fault-Tolerance and Increased V&V for Improving Reliability.
  51. Littlewood, B., Popov, P.T. and Strigini, L. (2000). Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach.
  52. 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.
  53. 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.
  54. 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.
  55. Popov, P.T., Strigini, L. and Romanovsky, A.B. (1999). Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science.
  56. 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.
  57. Popov, P.T. and Strigini, L. (1998). Conceptual Models for the Reliability of Diverse Systems - New Results.
  58. Popov, P.T. (1996). The Effect of Interfailure Time Variability on the Software Reliability Growth Modelling.
  59. 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. Netkachov, O., Popov, P. and Salako, K. (2016). Model-based evaluation of the resilience of critical infrastructures under cyber attacks. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8985, pp. 231–243. doi:10.1007/978-3-319-31664-2_24.
  2. 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.
  3. Netkachov, O., Popov, P. and Salako, K. (2014). Quantification of the impact of cyber attack in critical infrastructures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8696 LNCS, pp. 316–327. doi:10.1007/978-3-319-10557-4_35.
  4. 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.
  5. 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.
  6. 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]

  7. Lagoudas, D., Hartl, D., Chemisky, Y., MacHado, L. and Popov, P. (2012). Constitutive model for the numerical analysis of phase transformation in polycrystalline shape memory alloys. International Journal of Plasticity, 32-33, pp. 155–183. doi:10.1016/j.ijplas.2011.10.009.
  8. 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.
  9. 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). doi:10.1016/j.cma.2009.02.020.
  10. 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.
  11. Popov, P., Efendiev, Y. and Qin, G. (2009). Multiscale modeling and simulations of flows in naturally fractured Karst reservoirs. Communications in Computational Physics, 6(1), pp. 162–184. doi:10.4208/cicp.2009.v6.p162.
  12. Iliev, O., Mikelić, A. and Popov, P. (2008). On upscaling certain flows in deformable porous media. Multiscale Modeling and Simulation, 7(1), pp. 93–123. doi:10.1137/06067732X.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. Gashi, I., Popov, P.T., Stankovic, V. and Strigini, L. (2003). On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers. WADS, 3069, pp. 191–214.

    [publisher’s website]

  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., Jimenez-Victory, J.C., Popov, P. and Lagoudas, D.C. (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. Popov, P. and Stankovic, V. (2012). Database replication. Patent no. 8793216
  2. Stankovic, V. and Popov, P. (2012). Improvements Relating to Database Replication Protocols. Patent no. EP2470994
  3. Popov, P.T. (2012). Database replication.

Reports (5)

  1. 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.
  2. Bloomfield, R, , Chozos, N., , Popov, P.T., Stankovic, V., , Wright, D, and Howell-Morris, R, (2010). Preliminary Interdependency Analysis (PIA): Method and tool support..
  3. Popov, P.T. and Strigini, L. (2001). The Reliability of Diverse Systems: a Contribution using Modelling of the Fault Creation Process..
  4. Popov, P.T., Strigini, L. and Pizza, M. Diverse redundancy against design error: a model of fault creation and its implications on reliability..
  5. Popov, P.T., Salako, K. and Netkachov, O. Model-based evaluation of the efficiency of defence-in-depth in critical infrastructures..

Software (6)

  1. Stankovic, V. and Popov, P. (2016). TPC-C Client - Java-based implementation of the industry standard benchmark for database performance evaluation. London.
  2. Popov, P.T. (2015). A SAN model for safety and security analysis of the eMotor, an ASIL-D device..
  3. Salako, K., Stankovic, V. and Popov, P. (2015). Stochastic model for performance evaluation of database replication protocols..
  4. Popov, P., Salako, K. and Stankovic, V. (2015). Stochastic modeling for performance evaluation of database replication protocols..
  5. Popov, P.T. A SAN Model of the effects of cyber-attacks on reliability of a 2-channel software system..
  6. Netkachov, O., Popov, P. and Salako, K. Simulation model of the extended Nordic32 network..

Other Activities

Editorial activity

  1. Member of Program Committees for:
    - International Symposium on Software Reliability Engineering, ISSRE 2011, ISSRE 2012 and ISSRE 2016, ISSRE 2017
    - 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, 2016, 2017.
    - European Dependable Computing Conference - EDCC 2009, EDCC 2014
    , Program Committees, Jan 2012 – Dec 2017.

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.