Skip to:

  • Skip to main content
  • Skip to accessibility
City, University of London
  • Student Hub
  • Staff Hub
Search
Menu
Home
  • Prospective students
    • Courses
      • Undergraduate degrees
      • Foundation courses
      • Postgraduate taught degrees
      • Postgraduate research degrees
      • Short courses
      • Professional development courses
      • City Health courses
    • Apply
      • Entry requirements
      • How to apply
        • Undergraduate
        • Information for teachers
        • Postgraduate taught
        • Postgraduate research
          • Preparing your application
            • Preparing your research proposal
        • Short courses
          • The Novel Studio Published Alumni
      • Prospectus
        • Undergraduate
        • Postgraduate
        • Short courses
      • Visas
        • Student visas
          • Applying from outside the UK
          • Applying from within the UK
          • Applying for a dependant visa
          • Preparing your application
          • Working in the UK
        • Standard Visitor visas
          • How to apply for a Standard Visitor Visa
          • Non-visa nationals
        • ATAS certificates
        • Brexit and European nationals
      • Study abroad programmes
        • Partnership programme
        • Study abroad modules
      • Clearing and Adjustment
        • Applying through Clearing
        • Applying through Adjustment
      • Alternative entry routes
        • Foundation courses
        • Second-year students
        • Work experience
      • Contact Admissions
    • Finance
      • Funding options
      • Earn while you learn
      • How to pay
        • Payment methods
        • Fee schedules
        • Deposit refunds
    • Accommodation and housing
      • Compare residential halls
      • Applying for halls
        • Undergraduate
        • Postgraduate
        • Clearing
      • Paying for halls
      • Private accommodation
        • Finding a place to live
        • Accommodation for families
      • Short-term accommodation
    • Open events and fairs
      • Campus tours
      • Online chats
        • Undergraduate online events
        • Postgraduate online events
        • Ask a student
      • University fairs
    • Student life
      • London experience
      • Local area
      • Sports
        • Sport clubs
        • Non-competitive sport
        • Competitive sport
      • Social activities and groups
      • Religion
      • Lesbian, gay, bisexual, transgender and queer plus
      • Volunteering
      • Student wellbeing
        • Mental health counselling
        • Learning support
        • Young, estranged students
        • Care leavers
        • Young adult carers
        • Personal tutoring programme
      • Learn another language
    • Career development
      • Internships and employment opportunities
        • Micro-placements
      • Career pathways
      • Job prospects and graduate destinations
      • Careers team
    • Subjects
  • Research
    • Research impact
      • Research Excellence Framework
      • Research case studies
    • Research strategy
    • Research support
      • Grants and funding
      • Integrity and ethics
        • Research ethics
          • Principles
          • Approval process
          • Approval outcomes and appeals
          • External ethics approvals
        • Ethics guidance and resources
          • Participant information and consent
          • Recruiting participants from City
          • Records management
          • Research conducted abroad
          • FAQ
        • Research integrity
          • Framework for good practice in research
          • Research misconduct
      • Research data
        • Managing active research data
        • Digital research data and Figshare
      • Researcher development
    • Research centres and groups
  • For businesses
    • Start your business
      • Develop your startup idea
        • One-to-one startup advice
        • The Good Entrepreneur Festival
        • Startup camp
        • Startup seminars
        • Side hustle
        • CitySpark workshops
      • Launch your startup
        • Start-up visa
        • Launch Lab
    • Grow your business
      • Fund your business
      • Hire an academic consultant
      • Purchase our intellectual property
      • Purchase a company
    • Develop your people
      • Bespoke training
    • Business impact case studies
    • Access our student talent
      • Recruit with us
        • Santander employability programme
      • Meet and support our students
        • Become a mentor
      • Placement partners and trusts
  • Alumni and supporters
    • Alumni benefits
    • Global alumni network
      • Networks and Groups
        • City Alumni LinkedIn groups
      • Alumni ambassadors
      • Special interest groups
    • Contact Alumni Relations
    • Support City
      • Donate to City
      • Volunteering
      • Your impact
  • News and events
    • News
    • Events
    • Social media directory
      • City social accounts
      • School and Departmental accounts
  • About us
    • Schools and Departments
      • School of Arts and Social Sciences
        • About the School
          • Athena SWAN
          • Employability, placements and internships
            • English for academic purposes (EAP)
          • Research and Enterprise
        • Department of Economics
          • Research
            • Discussion pages
        • Department of English
        • Department of International Politics
          • Examples of research projects
          • Research
        • Department of Journalism
          • Where our graduates work
          • James Cameron Memorial Lecture
            • Lectures
            • Special awards
            • Winners
          • Journalism scholarships
          • Stern Bryan Fellowship
        • Department of Music
          • 40th anniversary
          • Composition at City
          • Department ensembles
          • Ensembles in residence
          • Industry visitors
          • Placement opportunities
          • Research in the Department of Music
            • The Shahnameh Project: Disseminating Iranian musical culture in Britain
            • Middle East and Central Asia Music Forum
            • Staff Research Interests
        • Department of Psychology
          • Research in the Department of Psychology
            • Staff publications
        • Department of Sociology
          • City Q-Step Centre
        • Centre for Language Studies
      • The Business School (formerly Cass)
      • School of Health Sciences
        • About the school
          • Athena SWAN
          • Community Engagement Committee
          • Enterprise
          • Senior Management Team
          • Selection Day
          • City Health bespoke training
          • Courses
            • Undergraduate and pre-registration courses
            • Postgraduate study
            • Continuing Personal and Professional Development
            • Fees and funding
            • Information for placement partners
            • Occupational Health Checks
            • Contact the School of Health Sciences
            • Disclosure and Barring Service (DBS) enhanced check (formerly CRB)
            • NHS finance and grants
          • Internationalisation
            • SHS International Excellence Scholarship
          • Optical Appliance Testing Service
          • Ready to mentor
          • Reference request
          • Research
            • Doctoral Studentships
            • Research ethics
          • Student life
            • Placement partners and trusts
            • Why choose a career in the health sector
        • Division of Health Services Research and Management
        • Division of Language and Communication Science
        • Division of Midwifery and Radiography
          • Radiography undergraduate learning contract
          • Midwifery at City
          • Radiography at City
        • Division of Nursing
        • Division of Optometry and Visual Sciences
        • Disability and Social Inclusion Seminars
      • School of Mathematics, Computer Science and Engineering
        • About the school
          • Athena SWAN
          • Our London location
          • Placements and internships
            • About Professional Liaison Unit
            • Awards and Prizes
            • Employer information
            • Placement and internship schemes
            • Professional development
          • Preparing your research proposal
          • Aviation Management at City
          • Business and Information Systems
          • Civil Engineering at City
          • Computer Science at City
          • Energy MSc courses at City
          • Library and Information Science at City
          • Maritime Greece
          • Maritime Management at City
          • European Micro Gas Turbine Forum
          • European Global Product Realisation
            • The EGPR course
            • The EGPR history
            • The universities
          • Wind turbine design challenge
        • Department of Civil Engineering
          • Placements and Internships
        • Department of Computer Science
          • Data Science - an emerging discipline
          • Research Ethics
          • Student projects
          • Video gallery
          • Cyber Security MSc courses at City
          • Technical skills for MSc Data Science
          • Placements and Internships
            • Professional Pathway scheme
            • Postgraduate internships
        • Department of Electrical and Electronic Engineering
          • Chocoholic Safe
          • Control system for central heating
          • Placements and Internships
        • Department of Library and Information Science
          • Definition of Library and Information Science
          • CityLIS Courses
        • Department of Mathematics
          • Potential PhD projects
          • Placements and Internships
        • Department of Mechanical Engineering and Aeronautics
          • City Racing Team
            • Building the car
            • Joining and competing
            • Meet the team
          • Placements and Internships
      • The City Law School
        • Academic programmes
        • Professional programmes
        • About the School
          • Contact the City Law School
          • How to find us
          • Free Legal Advice Clinic
            • The School Exclusion Project
            • Pro-Bono
            • Start-Ed Commercial Law Clinic
          • Legal careers
          • Careers advice
            • Pupillage Advice Service
            • Training Contract Advisory Service
          • Courses
            • Undergraduate
            • Professional courses
            • Master of Laws (LLM)
            • The Solicitor’s Qualifying Exam (SQE)
            • Continuing Professional Development courses
          • International
          • Research
            • Working Paper Series
            • ESRC Project
            • Ethics
            • Global Law@City
            • The Critical Corporation Project
            • Academic Visitor Programme
          • Support
            • Athena SWAN in the Law School
            • Financing your study
      • Doctoral College
        • Funding and scholarships
        • Essential information
        • Meet the Team
        • Research Supervisors
    • History
    • People
      • Academics
      • Research students
      • Students
      • Honorary graduates
      • Past students
      • Professional Services staff
      • International agents and representatives
      • Senior people
    • Facilities
      • Campuses
      • Libraries
      • Gym
      • University of London facilities
      • Specialist facilities
    • Work for us
      • Apply
      • Benefits
      • Career development
    • Vision and Strategy
      • Vision
      • Strategy
        • Better
        • Bigger
        • Partnerships
        • Living the values
      • Performance
      • Academic excellence
        • Rankings
        • Education
          • Flexible learning spaces
          • Active and collaborative learning
          • Term dates
        • Student statistics
      • Equality, diversity and inclusion
        • Equality, Diversity and Inclusion Strategy
        • Data and objectives
        • Staff networks
      • Sustainable development
        • Energy management
        • Waste management
        • Biodiversity conservation
        • Green travel
        • Education
        • Sustainable food
        • Get involved
      • Civic engagement
    • Governance and legal
      • Charter and Statutes
      • Rector
      • Council
        • Audit and Risk Committee
        • Corporate Governance and Nominations Committee
        • Remuneration Committee
        • Strategy, Implementation and Performance Committee
      • Senate
        • Board of Studies
        • Collaborative Provision Committee
        • Educational Quality Committee
        • Research and Enterprise Committee
        • Senate Research Ethics Committee
      • Executive leadership
        • President
          • Mansion House speeches
      • Financial statements
        • Financial Summary
      • Legal documents and policies
      • Committees
    • Global City
    • Contact us and find us
      • Find us
      • Contact us
      • Staff directory
    • Guidance on Coronavirus
      • Coronavirus guidance for research
      • Admissions advice during coronavirus
        • Coronavirus accommodation information
        • Visa and Immigration advice during coronavirus
      • Student and staff coronavirus statistics
  • Student Hub
  • Staff Hub
  • Prospective students
    Prospective students
    • Courses
      • Undergraduate degrees
      • Foundation courses
      • Postgraduate taught degrees
      • Postgraduate research degrees
      • Short courses
      • Professional development courses
      • City Health courses
    • Apply
      • Entry requirements
      • How to apply
      • Prospectus
      • Visas
      • Study abroad programmes
      • Clearing and Adjustment
      • Alternative entry routes
      • Contact Admissions
    • Finance
      • Funding options
      • Earn while you learn
      • How to pay
    • Accommodation and housing
      • Compare residential halls
      • Applying for halls
      • Paying for halls
      • Private accommodation
      • Short-term accommodation
    • Open events and fairs
      • Campus tours
      • Online chats
      • University fairs
    • Student life
      • London experience
      • Local area
      • Sports
      • Social activities and groups
      • Religion
      • Lesbian, gay, bisexual, transgender and queer plus
      • Volunteering
      • Student wellbeing
      • Learn another language
    • Career development
      • Internships and employment opportunities
      • Career pathways
      • Job prospects and graduate destinations
      • Careers team
    • Subjects
  • Research
    Research
    • Research impact
      • Research Excellence Framework
      • Research case studies
    • Research strategy
    • Research support
      • Grants and funding
      • Integrity and ethics
      • Research data
      • Researcher development
    • Research centres and groups
  • For businesses
    For businesses
    • Start your business
      • Develop your startup idea
      • Launch your startup
    • Grow your business
      • Fund your business
      • Hire an academic consultant
      • Purchase our intellectual property
      • Purchase a company
    • Develop your people
      • Bespoke training
    • Business impact case studies
    • Access our student talent
      • Recruit with us
      • Meet and support our students
      • Placement partners and trusts
  • Alumni and supporters
    Alumni and supporters
    • Alumni benefits
    • Global alumni network
      • Networks and Groups
      • Alumni ambassadors
      • Special interest groups
    • Contact Alumni Relations
    • Support City
      • Donate to City
      • Volunteering
      • Your impact
  • News and events
    News and events
    • News
    • Events
    • Social media directory
      • City social accounts
      • School and Departmental accounts
  • About us
    About us
    • Schools and Departments
      • School of Arts and Social Sciences
      • The Business School (formerly Cass)
      • School of Health Sciences
      • School of Mathematics, Computer Science and Engineering
      • The City Law School
      • Doctoral College
    • History
    • People
      • Academics
      • Research students
      • Students
      • Honorary graduates
      • Past students
      • Professional Services staff
      • International agents and representatives
      • Senior people
    • Facilities
      • Campuses
      • Libraries
      • Gym
      • University of London facilities
      • Specialist facilities
    • Work for us
      • Apply
      • Benefits
      • Career development
    • Vision and Strategy
      • Vision
      • Strategy
      • Performance
      • Academic excellence
      • Equality, diversity and inclusion
      • Sustainable development
      • Civic engagement
    • Governance and legal
      • Charter and Statutes
      • Rector
      • Council
      • Senate
      • Executive leadership
      • Financial statements
      • Legal documents and policies
      • Committees
    • Global City
    • Contact us and find us
      • Find us
      • Contact us
      • Staff directory
    • Guidance on Coronavirus
      • Coronavirus guidance for research
      • Admissions advice during coronavirus
      • Student and staff coronavirus statistics
Coronavirus, latest information for staff and students.
  1. Home
  2. …
  3. People
  4. Academics
  5. Professor Peter Bishop
People
  • Academics
  • Research students
  • Students
  • Honorary graduates
  • Past students
  • Professional Services staff
  • International agents and representatives
  • Senior people
photo of Peter Bishop

Professor Peter Bishop

Professor

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

Contact details

  • +44 (0)20 7040 0274
  • p.bishop@city.ac.uk

Address

Professor Peter Bishop A304I, College Building
City, University of London
Northampton Square
London EC1V 0HB
United Kingdom
  • About
  • Research
  • Publications
  • Professional activities

About

Overview

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 LLP 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 software fault tolerance, design diversity, software reliability prediction and statistical testing, system safety and security, assurance case methodologies and their application in a range of industrial contexts (including the assurance strategies for autonomous vehicles).

At Adelard LLP, he undertakes research for the UK nuclear industry on a range of topics including smart device assessment. He has participated in a number of European research projects on assuring the safety of critical control systems. His consultancy work includes software assessment, security-informed safety assessment and assurance case construction for a range of clients in the nuclear, defence, transport, medical and financial sectors. He is currently involved safety assurance activities for the UK Nuclear New Build programme.

He was formerly employed in the research laboratories of the CEGB and National Power. Initially he was involved in the development of process automation. 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.

Research

Research interests

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

Projects

- DISPO
- DIRC (2000-2006)

Publications

Featured 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. (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.
  3. 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.
  4. Bishop, P.G. (1997). Using reversible computing to achieve fail-safety.
  5. van der Meulen, M.J.P., Bishop, P.G. and Revilla, M. An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs. 15th International Symposium on Software Reliability Engineering.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. Bishop, P.G. (1993). The Variation of Software Survival Time for Different Operational Input Profiles. FTCS pp. 98–107.

    [publisher’s website]

  11. BISHOP, P.G., ESP, D.G., BARNES, M., HUMPHREYS, P., DAHLL, G. and LAHTI, J. (1986). PODS - A PROJECT ON DIVERSE SOFTWARE. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 12(9), pp. 929–940. doi:10.1109/TSE.1986.6313048.
  12. Bishop, P.G. (1986). PODS a Project on Diverse Software. IEEE Transactions on Software Engineering, 12(9), pp. 929–940.

Publications by category

Chapter

  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.

Conference papers and proceedings (35)

  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. (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.
  6. 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.
  7. Bishop, P., Bloomfield, R., Gashi, I. and Stankovic, V. (2012). Diverse protection systems for improving
    security: a study with AntiVirus engines.
  8. 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.
  9. Bishop, P., Tourlas, K. and Chozos, N. (2010). An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems.
  10. Bloomfield, R. and Bishop, P. (2010). Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective.
  11. 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.
  12. Bishop, P.G. (2005). SILS and Software. UK Safety Critical Systems Newsletter.
  13. Bishop, P.G. (2004). Estimating PLC logic program reliability.
  14. Bentley, J.G.W., Bishop, P.G. and van der Meulen, M. (2004). An empirical exploration of the difficulty function.
  15. 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.
  16. 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.
  17. 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.
  18. Bishop, P., Bloomfield, R., Clement, T., Guerra, S. and Jones, C. (2003). Integrity static analysis of COTS/SOUP.
  19. Bishop, P., Bloomfield, R., Clement, T. and Guerra, S. (2003). Software criticality analysis of COTS/SOUP.
  20. 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.
  21. Bishop, P.G. (2002). Estimating Residual Faults from Code Coverage. SAFECOMP 2002 10-13 September, Catania, Italy.
  22. Bishop, P.G., Bloomfield, R.E., Clement, T. and Guerra, S. (2002). Software Criticality Analysis of COTS/SOUP.
  23. 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.
  24. Bishop, P.G. and Bloomfield, R.E. (1998). A Methodology for Safety Case Development. Safety-critical Systems Symposium 98 February, Birmingham, UK.
  25. 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.
  26. 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,.
  27. 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.
  28. Bishop, P.G. and Pullen, F.D. (1991). A Random Walk through Software Reliability Theory. Mathematical Structures for Software Engineering.
  29. 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.
  30. 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.
  31. Bishop, P.G. and Pullen, F.D. (1988). Probabilistic Modelling of Software Failure Characteristics. SAFECOMP 88 November, Fulda, Germany.
  32. 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.
  33. 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.
  34. Bishop, P.G. (1987). The PODS Diversity Experiment. Dependable Computing and Fault Tolerant Systems.
  35. Bishop, P.G. and Bloomfield, R.E. A conservative theory for long term reliability growth prediction. ISSRE '96: 7th International Symposium on Software Reliability Engineering.

Journal articles (6)

  1. Bishop, P. and Povyakalo, A. (2020). A conservative confidence bound for the probability of failure on demand of a software-based system based on failure-free tests of its components. Reliability Engineering and System Safety, 203, pp. 1–1.
  2. Bloomfield, R., Bishop, P., Butler, E. and Stroud, R. (2018). Security-Informed Safety: Supporting Stakeholders with Codes of Practice. Computer, 51(8), pp. 60–65. doi:10.1109/MC.2018.3191260.
  3. Bloomfield, R., Bishop, P., Butler, E. and Netkachova, K. (2017). Using an assurance case framework to develop security strategy and policies. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10489 LNCS, pp. 27–28. doi:10.1007/978-3-319-66284-8_3.
  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. 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.

Reports (5)

  1. Bishop, P.G., Bloomfield, R.E., Emmet, L.O., Johnson, C., Black, W., Hamilton, V. … 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.

Professional activities

Keynote lectures/speeches (2)

  1. 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
  2. Philips Software Conference Tutorial. Eindhoven, Netherlands (2005). Invited Tutorial on software reliability

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).

Help us to improve this page

City, University of London

  • Library Services
  • Moodle
  • Email
  • Staff directory
  • Term dates
  • Book a room
  • Schools and departments

Back to top

Contact us

+44 (0)20 7040 5060
Make an enquiry

  • Twitter
  • Facebook
  • Instagram
  • LinkedIn
  • YouTube
  • Weibo
  • Youku
Social media directory

Find us

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

Campus map

Our global campuses

  • London
  • Dubai
  • Teaching Excellence Framework: Silver Award
  • Athena SWAN: Bronze Award

Useful links

  • Accessibility
  • Privacy policy
  • Cookies
  • City Store
  • Support City
  • Work for City

© 2021 City, University of London

University of London