People
  1. Students
  2. Alumni
  3. Honorary Graduates
  4. Academic Experts
  1. Peter Bishop
People

Contact Information

Contact

Visit Peter Bishop

A229, College Building

null

Postal Address

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

About

Background

Peter Bishop is a Professor at the Centre for Software Reliability, sharing a joint chair in Systems and Software Dependability with Robin Bloomfield. He is also a Principal Consultant at Adelard which provides computer safety and dependability consultancy and research services to industry. He has BSc and MSc degrees in Physics and is a Chartered Engineer and Member of the IEE.

Peter Bishop joined City University in 2001, and his research work includes participation in the DISPO2 project, and research on design diversity and software reliability prediction as part of the DIRC project.

At Adelard he is involved in safety critical systems research and consultancy. He was the Adelard team leader in the SHIP international research project on the assessment of hazardous industrial processes. He is also the primary researcher on the QUARC projects funded by the UK nuclear industry These projects are concerned with the quantification of the reliability in computer-based systems.

He was formerly employed in the research laboratories of the CEGB and National Power. Initially he was involved in the development of process automation systems including the development of the CEGB standard distributed process-control system (CUTLASS), which is used in the majority of electrical power plants in England and Wales. In later years his work was primarily concerned with software reliability research and assessment. He was heavily involved in the assessment of the Sizewell B Primary Protection System software and also undertook research into formal specification methods, verification and testing, software diversity and fault tolerance. Most of this research was performed in international collaborations with UK and European partners. Three projects were undertaken as part of the OECD Halden Reactor Project research programme and one project (DARTS) was undertaken under the ESPRIT programme.

Projects

- DISPO
- DIRC (2000-2006)

Research

Research interests

- Software fault tolerance
- Safety cases
- Software reliability
- Software diversity

Projects

- DISPO
- DIRC (2000-2006)

Publications

  1. Bishop, P.G. (1990). Dependability of Critical Computers Systems 3: Techniques Directory. Elsevier Apllied Science. ISBN 1-85166-544-7.
  2. Bishop, P.G., Bloomfiel, R.E. and Cyra, L. (2013). Combining Testing and Proof to Gain High Assurance in Software: a Case Study. (ISSRE 2013) IEEE International Symposium on Software Reliability Engineering 4-7 November, Pasadena, CA, USA.
  3. Van Der Meulen, M.J.P., Bishop, P.G. and Revilla, M. (2004). An exploration of software faults and failure behaviour in a large population of programs. .
  4. Bishop, P.G. (1997). Using reversible computing to achieve fail-safety. .
  5. 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.
  6. 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.
  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. Bishop, P. and Bloomfield, R. (1996). A conservative theory for long-term reliability-growth prediction. IEEE TRANSACTIONS ON RELIABILITY, 45(4), pp. 550–560. doi:10.1109/24.556578.
  9. Bishop, P.G. (1993). Variation of software survival time for different operational input profiles. Digest of Papers - International Symposium on Fault-Tolerant Computing pp. 98–107.
  10. Bishop, P.G. (1986). PODS a Project on Diverse Software. IEEE Transactions on Software Engineering, 12(9), pp. 929–940.

Book

  1. Bishop, P.G. (1990). Dependability of Critical Computers Systems 3: Techniques Directory. Elsevier Apllied Science. ISBN 1-85166-544-7.

Chapters (2)

  1. Bishop, P., Bloomfield, R., Guerra, S. and Thuy, N. (2012). Safety justification frameworks: Integrating rule-based, goal-based and risk-informed approaches. 8th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2012, NPIC and HMIT 2012: Enabling the Future of Nuclear Energy (pp. 1283–1290). ISBN 978-1-62748-015-4.
  2. Bishop, P.G. (1995). Software Fault Tolerance by Design Diversity", Software Fault Tolerance, (Lyu, M., Eds.), Wiley, USA, Springer, ISBN 0-471-95068-8, 1995. Software Fault Tolerance (pp. 211–229). Wiley. ISBN 0-471-95068-8.

Conference Papers and Proceedings (38)

  1. Bloomfield, R.E., Bendele, M.M., Bishop, P.G., Stroud, R.J. and Tonks, S. (2016). The risk assessment of ERTMS-based railway systems from a cyber security perspective: Methodology and lessons learned. Reliability, Safety and Security of Railway Systems (RSSRail 2016) 28-30 June, Paris.
  2. Bishop, P. (2015). Modeling the impact of testing on diverse programs. .
  3. Bishop, P.G. and Strigini, L.S. (2014). Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function. 33rd International Conference, SAFECOMP 2014 10-12 September, Florence, Italy.
  4. Bishop, P. and Strigini, L. (2014). Estimating worst case failure dependency with partial knowledge of the difficulty function. .
  5. Bishop, P.G., Bloomfiel, R.E. and Cyra, L. (2013). Combining Testing and Proof to Gain High Assurance in Software: a Case Study. (ISSRE 2013) IEEE International Symposium on Software Reliability Engineering 4-7 November, Pasadena, CA, USA.
  6. Bishop, P.G. (2013). Does software have to be ultra reliable in safety critical systems? SAFECOMP 2013, 32nd International Conference on Computer Safety, Reliability and Security 24-17 September, Toulouse, France.
  7. Bishop, P.G. and Cyra, L. (2012). Overcoming Non-determinism in Testing Smart Devices: How to Build Models of Device Behaviour. 11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference 2012 (PSAM11 ESREL 2012) 25-29 June, Helsinki, Finland.
  8. Bishop, P., Bloomfield, R., Gashi, I. and Stankovic, V. (2012). Diverse protection systems for improving
    security: a study with AntiVirus engines.
    .
  9. Stankovic, V., Bloomfield, R., Bishop, P. and Gashi, I. (2011). Diversity for Security: a Study with Off-The-Shelf AntiVirus Engines. 21st International Symposium on Software Reliability Engineering (ISSRE 2011) Hiroshima, Japan.
  10. Bishop, P., Tourlas, K. and Chozos, N. (2010). An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems. .
  11. Bloomfield, R. and Bishop, P. (2010). Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective. .
  12. Bishop, P., Gashi, I., Littlewood, B. and Wright, D. (2007). Reliability modeling of a 1-out-of-2 system: Research with diverse Off-the-shelf SQL database servers. .
  13. Bishop, P.G. (2005). SILS and Software. UK Safety Critical Systems Newsletter .
  14. Bishop, P.G. (2004). Estimating PLC logic program reliability. .
  15. Bentley, J.G.W., Bishop, P.G. and Van Meulen, M.D. (2004). An empirical exploration of the difficulty function. .
  16. Van Der Meulen, M.J.P., Bishop, P.G. and Revilla, M. (2004). An exploration of software faults and failure behaviour in a large population of programs. .
  17. 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.
  18. Bishop, P.G. and Bloomfield, R.E. (2003). Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction. 14th IEEE International Symposium on Software Reliability Engineering (ISSRE 2003) 17-20 November, Denver, Colorado.
  19. Bishop, P.G. (2003). MC/DC based estimation and detection of residual faults in PLC logic networks. 14th IEEE International Symposium on Software Reliability Engineering ISSRE 2003 17-20 November, Denver, Colorado.
  20. Bishop, P., Bloomfield, R., Clement, T., Guerra, S. and Jones, C. (2003). Integrity static analysis of COTS/SOUP. .
  21. Bishop, P., Bloomfield, R., Clement, T. and Guerra, S. (2003). Software criticality analysis of COTS/SOUP. .
  22. Bishop, P.G. and Bloomfield, R.E. (2002). Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects. Thirteenth International Symposium on Software Reliability Engineering (ISSRE '02) 12-15 November, Annapolis, Maryland.
  23. Bishop, P.G. (2002). Estimating Residual Faults from Code Coverage. SAFECOMP 2002 10-13 September, Catania, Italy.
  24. Bishop, P.G., Bloomfield, R.E., Clement, T. and Guerra, S. (2002). Software Criticality Analysis of COTS/SOUP. .
  25. Bishop, P.G., Penny, J., Eaton, A. and Bloomfield, R. (2001). The Practicalities of Goal-Based Safety Regulation. Ninth Safety-Critical Systems Symposium 6-8 February, Bristol, UK.
  26. Bishop, P.G. and Bloomfield, R.E. (1998). A Methodology for Safety Case Development. Safety-critical Systems Symposium 98 February, Birmingham, UK.
  27. Bishop, P.G. (1997). Using reversible computing to achieve fail-safety. .
  28. Bishop, P.G. and Bloomfield, R.E. (1996). Conservative theory for long term reliability growth prediction. .
  29. Bishop, P.G. and Bloomfield, R.E. (1995). The SHIP Safety Case - A Combination of System and Software Methods. 14th IFAC Conf. on Computer Safety, Reliability and Security (SafeComp95) 11-13 October, Belgirate, Italy.
  30. Bishop, P.G. and Bloomfield, R.E. (1995). The SHIP Safety Case. SafeComp 95, Proc. 14th IFAC Conf. on Computer Safety, Reliability and Security 11-13 October, Belgirate, Italy,.
  31. Bishop, P.G., Burns, G. and Anderson, S.O. (1993). Stepwise Development and Verification of a Boiler System Specification. International Workshop on the Design and Review of Software Controlled Safety-related Systems 28-29 June, National Research Council, Ottawa, Canada.
  32. Bishop, P.G. and Pullen, F.D. (1991). A Random Walk through Software Reliability Theory. Mathematical Structures for Software Engineering .
  33. Bishop, P.G. and Pullen, F.D. (1989). Failure Masking - A Source of Dependency in Multi-Version Programming. Int. Working Conference on Dependable Computing Applications August, Santa Barbara, USA.
  34. Bishop, P.G. and Pullen, F.D. (1989). Failure Masking - A Source of Dependency in Multi-Version Programming. Int. Working Conference on Dependable Computing Applications August, Santa Barbara, USA.
  35. Bishop, P.G. and Pullen, F.D. (1988). Probabilistic Modelling of Software Failure Characteristics. SAFECOMP 88 November, Fulda, Germany.
  36. Bishop, P.G. and Pullen, F.D. (1988). PODS Revisited - A Study of Software Failure Behaviour. Eighteenth Fault Tolerant Computing Symposium (FTCS-18) June, Tokyo.
  37. Bishop, P.G. and et al, (1987). STEM: a Project on Software Test and Evaluation Methods. Safety and Reliability Society Symposium 1987 (SARS 87) Altrincham, Manchester.
  38. Bishop, P.G. (1987). The PODS Diversity Experiment. Dependable Computing and Fault Tolerant Systems .

Journal Articles (9)

  1. 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.
  2. 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.
  3. 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.
  4. Guerra, S., Bishop, P., Bloomfield, R. and Sheridan, D. (2010). Assessment and qualification of smart sensors. 7th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2010, NPIC and HMIT 2010, 1, pp. 499–510.
  5. Bishop, P. and Cyra, L. (2010). Overcoming non-determinism in testing smart devices: A case study. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6351 LNCS, pp. 237–250. doi:10.1007/978-3-642-15651-9_18.
  6. Bishop, P., Bloomfield, R., Guerra, S. and Tourlas, K. (2005). Justification of smart sensors for nuclear applications. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3688 LNCS, pp. 194–207. doi:10.1007/11563228_15.
  7. Bishop, P. and Bloomfield, R. (1996). A conservative theory for long-term reliability-growth prediction. IEEE TRANSACTIONS ON RELIABILITY, 45(4), pp. 550–560. doi:10.1109/24.556578.
  8. Bishop, P.G. (1993). Variation of software survival time for different operational input profiles. Digest of Papers - International Symposium on Fault-Tolerant Computing pp. 98–107.
  9. Bishop, P.G. (1986). PODS a Project on Diverse Software. IEEE Transactions on Software Engineering, 12(9), pp. 929–940.

Reports (5)

  1. Bishop, P.G., Bloomfield, R.E., Emmet, L.O., Johnson, C., Black, W., Hamilton, V. and Koorneef, F. (2003). Learning from incidents involving E/E/PE systems, Part 1: Review of methods and industry practice. http://www.hse.gov.uk/research/rrhtm/rr179.htm. ISBN 0-7176-2787-X.
  2. Bishop, P.G., Emmet, L.O., Johnson, C. and Black, W. (2003). Learning from incidents involving E/E/PE systems, Part 2: Recommended scheme. http://www.hse.gov.uk/research/rrhtm/rr181.htm. ISBN 0-7176-2789-6.
  3. Bishop, P.G., Emmet, L.O., Johnson, C. and Black, W. (2003). Learning from incidents involving E/E/PE systems, Part 3: Guidance examples and rationale. http://www.hse.gov.uk/research/rrhtm/rr182.htm. ISBN 0-7176-2790-X.
  4. Bishop, P.G., Jones, C.C.M., Bloomfield, R.E. and Froome, P.K.D. (2001). Methods for assessing the safety integrity of safety-related software of uncertain pedigree (SOUP).. ISBN 0-7176-2011-5.
  5. Bishop, P.G., Bloomfield, R.E. and Froome, P.K.D. Justifying the use of software of uncertain pedigree (SOUP) in safety-related applications. May 2001. ISBN 0-7176-2010-7.

Other Activities

Keynote Lectures/Speeches (2)

  1. Philips Software Conference Tutorial. Eindhoven, Netherlands (2005). Invited Tutorial on software reliability
  2. Invited Talk on:"General Requirements on
    Certification" for the Vienna Summer School.
    Baden Wien, Austria (2005). An invited contribution to the Vienna Summer School on the topic of "Architectural Paradigms for Dependable Embedded Systems", 12 - 16 September 2005

Other (2)

  1. Member of the College of Reviewers for the Canada Research Chairs Program. There are two types of Chairs: Tier 1 Chairs (seven year term, renewable indefinitely, $200K per annum) are offered to outstanding researchers recognized as world leaders in their field; Tier 2 Chairs (five year term, renewable once, $100K per annum) are offered to exceptional emerging researchers. For more information, please visit our Web site at www.chairs-chaires.gc.ca.
  2. Member IET (Institution of Engineering and Technology)

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.