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
      • Apprenticeships
      • Foundation courses
      • Postgraduate taught degrees
      • Postgraduate research degrees
      • Short courses
      • Professional development courses
      • City Health courses
    • Apply
      • Entry requirements
      • How to apply
        • Undergraduate
        • Apprenticeship
        • Information for teachers
        • Postgraduate taught
        • Postgraduate research
          • Preparing your application
            • Preparing your research proposal
          • All PhD research projects
        • Booking Short Courses
          • Business and Management Short Courses
          • Computing Short Courses
          • Creative Industry Short Courses
          • Creative Writing Short Courses
            • The Novel Studio published alumni
          • Law Short Courses
          • Modern Languages Short Courses
      • Prospectus
        • Undergraduate
        • Postgraduate
      • 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
        • Study abroad programme
        • Partnership programme
      • Clearing
        • Applying through Clearing
      • Alternative entry routes
        • Foundation programmes
        • Second-year students
        • Work experience
      • Contact Admissions
    • Finance
      • Funding options
      • Earn while you learn
      • How to pay
        • Payment methods
        • Fee schedules
        • Deposit refunds
      • Additional expenses
    • 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
      • Placements, internships and employment opportunities
        • Micro-placements
      • Career pathways
      • Job prospects and graduate destinations
      • Careers team
    • Subjects
  • Research
    • Research centres and groups
    • 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
    • Doctoral College
      • Funding and scholarships
      • Essential information
      • Meet the Team
      • Training and Development
        • Researcher Development Programme (DRDP)
      • Research Supervisors
  • 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
      • Companies formed
    • Develop your people
      • Bespoke training
      • My Home Life England
      • Degree apprenticeships for business
        • What is the apprenticeship levy?
    • Business impact case studies
    • Access our student talent
      • Recruit with us
      • Meet and support our students
        • Become a mentor
        • Employer engagement events
        • Micro-Placements
        • Industry Led Projects
      • Information for placement partners
        • Speech and Language Therapy training
  • Alumni and supporters
    • Alumni benefits
    • Global alumni network
      • Networks and Groups
        • City Alumni LinkedIn groups
        • MENA Alumni Board
        • US Alumni Board
      • Alumni Ambassadors
      • Special Interest Groups
      • Alumni News and stories
      • Alumni Events
    • Contact Alumni Relations
    • Support City
      • Donate to City
      • Volunteering
      • Your impact
  • News and events
    • News
    • Events
    • Social media directory
      • City social accounts
        • WeChat social accounts
      • School and Departmental accounts
  • About us
    • Schools and Departments
      • School of Policy & Global Affairs
        • About the School
          • Athena Swan
        • Department of Economics
        • Department of International Politics
        • Department of Sociology and Criminology
          • Postgraduate Sociology at City
      • School of Communication & Creativity
        • About the School
          • Athena Swan
          • Creatives in Residence
        • Department of Journalism
          • James Cameron Memorial Lecture
            • Lectures
            • Special awards
            • Winners
        • Department of Media, Culture and Creative Industries
          • English, Publishing and Creative Writing
          • Culture and the Creative Industries
          • Library and Information Science
          • Media and Communications
        • Department of Performing Arts
        • The Centre for Language Studies
      • Bayes Business School
      • School of Health & Psychological Sciences
        • About the School
          • Athena SWAN
          • Selection Process
          • Occupational Health Checks
          • Disclosure and Barring Service (DBS) enhanced check (formerly CRB)
          • MSc Nursing - RPL
          • Reference request
        • Department of Health Services Research and Management
          • Health Services Management at City
        • Department of Language and Communication Science
        • Department of Midwifery and Radiography
          • Radiography undergraduate learning contract
          • Postgraduate Midwifery at City
          • Radiography at City
        • Department of Nursing
        • Department of Optometry and Visual Sciences
        • Department of Psychology
      • School of Science & Technology
        • About the School
          • Athena SWAN
          • Aviation Management at City
          • Civil Engineering at City
          • Computer Science at City
          • Cyber Security MSc courses at City
          • Energy MSc courses at City
          • Library and Information Science at City
          • Maritime Management at City
          • Placements and internships
            • Placement and internship schemes
        • Department of Computer Science
        • Department of Mathematics
          • Potential PhD projects
        • Department of Engineering
      • The City Law School
        • Academic programmes
          • Undergraduate degree LLB
          • Graduate Entry Law GE LLB
          • Graduate Diploma in Law GDL
          • Master of Laws (LLM)
        • Professional programmes
        • Research and Scholarships
        • Athena Swan in The City Law School
        • Equality, Diversity and Inclusion at The City Law School
        • Barrister training
          • Bar Training
          • Pupillage Advice Service
        • Solicitor training
          • Future Solicitors Careers Advice Service (FSCAS)
          • The Solicitors' Qualifying Exam (SQE)
        • Law in real life (Law IRL)
          • Legal work placements
          • Court visits
          • Mock Trials
        • About The School
          • Prizes from The City Law School
          • Global Engagement
      • Dubai Centre
    • History
    • People
      • Academics
      • Research students
      • Students
      • Honorary graduates
      • Past students
      • Professional Services staff
      • International agents and representatives
      • Senior people
      • Extraordinary women
    • Facilities
      • Campuses
      • Libraries
      • Gym
      • University of London facilities
      • Specialist facilities
    • Work for us
      • Apply
      • Benefits
      • Career development
    • Vision and Strategy
      • 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
        • Digital Accessibility
      • Sustainable development
        • Get involved
        • Environmental Impact and Performance
      • Civic engagement
      • Social responsibility
        • Social responsibility in our outreach
        • Social responsibility in action
    • Governance and legal
      • Charter and Statutes
      • Rector
      • Council
        • Audit and Risk Committee
        • Corporate Governance and Nominations Committee
        • Remuneration Committee
        • Strategy and Finance Committee
        • Development Committee
      • Senate
        • Board of Studies
        • Collaborative Provision Committee
        • Educational Quality Committee
        • Research and Enterprise Committee
        • Senate Research Ethics Committee
      • Executive leadership
      • 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
      • Admissions advice during coronavirus
        • Coronavirus accommodation information
      • Latest updates
      • Advice for visitors to our campus
  • Student Hub
  • Staff Hub
  • Prospective students
    Prospective students
    • Courses
      • Undergraduate degrees
      • Apprenticeships
      • 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
      • Alternative entry routes
      • Contact Admissions
    • Finance
      • Funding options
      • Earn while you learn
      • How to pay
      • Additional expenses
    • 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
      • Placements, internships and employment opportunities
      • Career pathways
      • Job prospects and graduate destinations
      • Careers team
    • Subjects
  • Research
    Research
    • Research centres and groups
    • Research impact
      • Research Excellence Framework
      • Research case studies
    • Research strategy
    • Research support
      • Grants and funding
      • Integrity and ethics
      • Research data
      • Researcher development
    • Doctoral College
      • Funding and scholarships
      • Essential information
      • Meet the Team
      • Training and Development
      • Research Supervisors
  • 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
      • Companies formed
    • Develop your people
      • Bespoke training
      • My Home Life England
      • Degree apprenticeships for business
    • Business impact case studies
    • Access our student talent
      • Recruit with us
      • Meet and support our students
      • Information for placement partners
  • Alumni and supporters
    Alumni and supporters
    • Alumni benefits
    • Global alumni network
      • Networks and Groups
      • Alumni Ambassadors
      • Special Interest Groups
      • Alumni News and stories
      • Alumni Events
    • 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 Policy & Global Affairs
      • School of Communication & Creativity
      • Bayes Business School
      • School of Health & Psychological Sciences
      • School of Science & Technology
      • The City Law School
      • Dubai Centre
    • History
    • People
      • Academics
      • Research students
      • Students
      • Honorary graduates
      • Past students
      • Professional Services staff
      • International agents and representatives
      • Senior people
      • Extraordinary women
    • Facilities
      • Campuses
      • Libraries
      • Gym
      • University of London facilities
      • Specialist facilities
    • Work for us
      • Apply
      • Benefits
      • Career development
    • Vision and Strategy
      • Academic excellence
      • Equality, diversity and inclusion
      • Sustainable development
      • Civic engagement
      • Social responsibility
    • 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
      • Admissions advice during coronavirus
      • Latest updates
      • Advice for visitors to our campus
  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
  • Extraordinary women
photo of Peter Bishop

Professor Peter Bishop

Professor

School of Science & Technology Department of Computer Science

Contact details

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

Address

Professor Peter Bishop A304I, College Building [A]
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 Chief Scientist at Adelard (part of NCC Group) 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 IET.

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. doi:10.1109/issre.2004.7
  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.

    [publisher’s website]

  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.

    [publisher’s website]

  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

  • 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 (42)

  • Bishop, P., Povyakalo, A. and Strigini, L. (2022). Bootstrapping confidence in future safety from past safe operation. 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) 31 Oct 2022 – 3 Nov 2022. doi:10.1109/issre55969.2022.00020
  • 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. doi:10.1007/978-3-319-33951-1_1
  • Bishop, P. (2015). Modeling the Impact of Testing on Diverse Programs. doi:10.1007/978-3-319-24255-2_22
  • 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. doi:10.1007/978-3-319-10506-1
  • Bishop, P. and Strigini, L. (2014). Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function. doi:10.1007/978-3-319-10506-2_13
  • 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.
  • 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.
  • Bishop, P., Bloomfield, R., Gashi, I. and Stankovic, V. (2012). Diverse protection systems for improving
    security: a study with AntiVirus engines.
  • Holmberg, J.E., Bishop, P., Guerra, S. and Thuy, N. (2012). Safety case framework to provide justifiable reliability numbers for software systems.
  • 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.
  • Bishop, P., Tourlas, K. and Chozos, N. (2010). An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems.
  • Bloomfield, R. and Bishop, P. (2010). Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective. doi:10.1007/978-1-84996-086-1_4
  • 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.
  • Bishop, P.G. (2005). SILS and Software. UK Safety Critical Systems Newsletter.
  • Bishop, P.G. (2004). Estimating PLC logic program reliability.
  • Bentley, J.G.W., Bishop, P.G. and van der Meulen, M. (2004). An empirical exploration of the difficulty function.
  • 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.
  • 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.
  • 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.
  • Bishop, P., Bloomfield, R., Clement, T., Guerra, S. and Jones, C. (2003). Integrity static analysis of COTS/SOUP.
  • Bishop, P., Bloomfield, R., Clement, T. and Guerra, S. (2003). Software criticality analysis of COTS/SOUP. doi:10.1016/s0951-8320(03)00093-0
  • 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.
  • Bishop, P.G. (2002). Estimating Residual Faults from Code Coverage. SAFECOMP 2002 10-13 September, Catania, Italy.
  • Bishop, P.G., Bloomfield, R.E., Clement, T. and Guerra, S. (2002). Software Criticality Analysis of COTS/SOUP.
  • 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.
  • Bishop, P.G. and Bloomfield, R.E. (1998). A Methodology for Safety Case Development. Safety-critical Systems Symposium 98 February, Birmingham, UK.
  • 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.
  • 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,.
  • 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.
  • Bishop, P.G. and Pullen, F.D. (1991). A Random Walk through Software Reliability Theory. Mathematical Structures for Software Engineering.
  • 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.
  • 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.
  • Bishop, P.G. and Pullen, F.D. (1988). Probabilistic Modelling of Software Failure Characteristics. SAFECOMP 88 November, Fulda, Germany.
  • 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.
  • 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.
  • Bishop, P.G. (1987). The PODS Diversity Experiment. Dependable Computing and Fault Tolerant Systems.
  • Lilley, R.A., Seymour, C., Bishop, P.G. and Pullen, F.D. (1986). CO-ORDINATED SUBSTATION CONTROL AND MONITORING.
  • Bishop, P., Esp, D., Barnes, M., Humphreys, P., Dahll, G., Lahti, J. … Yoshimura, S. (1985). Project on Diverse Software — An Experiment in Software Reliability. doi:10.1016/s1474-6670(17)60099-5
  • Bishop, P.G., Brewer, C. and Jervis, P. (1979). DESIGN OF SOFTWARE FOR DISTRIBUTED COMPUTER CONTROL SYSTEMS.
  • Bishop, P.G. (1977). MULTI-PROCESSOR SIMULATOR FOR A NETWORK OF CO-OPERATING MICROPROCESSORS.
  • Bishop, P.G. (1973). DESIGN OF AN INPUT/OUTPUT SCHEDULER WRITTEN IN A HIGH LEVEL LANGUAGE.
  • 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. doi:10.1109/issre.1996.558887

Journal articles (10)

  • 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 & System Safety, 203, pp. 107060–107060. doi:10.1016/j.ress.2020.107060.

    [publisher’s website]

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

    [publisher’s website]

  • Bloomfield, R., Bishop, P., Butler, E. and Netkachova, K. (2017). Using an Assurance Case Framework to Develop Security Strategy and Policies. pp. 27–38. doi:10.1007/978-3-319-66284-8_3.

    [publisher’s website]

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

    [publisher’s website]

  • 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.
  • Dahll, G., Barnes, M. and Bishop, P. (1990). Software diversity: Way to enhance safety? Information and Software Technology, 32(10), pp. 677–685. doi:10.1016/0950-5849(90)90100-6.

    [publisher’s website]

  • Bishop, P.G. (1979). The design of software for distributed control systems. Microprocessing and Microprogramming, 5(6), pp. 358–362. doi:10.1016/0165-6074(79)90080-2.

    [publisher’s website]

  • Bishop, P.G. (1979). The design of software for distributed control systems. Euromicro Newsletter, 5(6), pp. 358–362. doi:10.1016/0303-1268(79)90152-4.

    [publisher’s website]

  • Bishop, P.G. (1976). Microprocessors: Computing in miniature. Physics in Technology, 7(2), pp. 47–53. doi:10.1088/0305-4624/7/2/301.

    [publisher’s website]

Reports (6)

  • Bishop, P. and Povyakalo, A. (2022). Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components. Springer International Publishing. ISBN 978-3-031-14834-7.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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)

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

Other (2)

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

Make an enquiry

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

Find us

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

Campus map

Our global campuses

  • London
  • Dubai
  • Athena SWAN: Bronze Award
  • UKRI Research England logo

Useful links

  • Accessibility
  • Privacy policy
  • Cookies
  • City Store
  • Support City
  • Work for City
  • City Magazine
  • 中文

© 2023 City, University of London

University of London