Home


Publications

"Reliability Modeling of a 1-Out-Of-2 System: Research with Diverse Off-The-Shelf SQL Database Servers"
PG Bishop, I Gashi, B Littlewood and D Wright, ISSRE 2007, Trollhättan, Sweden, 5-9 Nov. 2007.

"Safety justification of low integrity systems containing off-the-shelf components"
PG Bishop, K Tourlas, 6th International Conference on Control and Instrumentation in Nuclear Installations, Manchester, 11th - 13th September 2007.

"A Formalism for Conservative Claims about Dependability"
PG Bishop, RE Bloomfield, B Littlewood, A Povyakalo, D Wright, 6th International Conference on Control and Instrumentation in Nuclear Installations, Manchester, 11th - 13th September 2007.

"Justification of smart sensors for nuclear applications"
PG Bishop, RE Bloomfield, ASL Guerra and K Tourlas, Safecomp 2005, Fredrikstad, Norway, 28 - 30 September 2005.

"SILS and Software"
PG Bishop, Article in the UK Safety Critical Systems Newsletter, Jan 2005.

"An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs"
PG Bishop, MJP van der Meulen, M Revilla, ISSRE 2004, St Malo, France, November 2-5, 2004, vol.15 pp 101-112, ISBN 0-7695-2215-7.

"An Empirical Exploration of the Difficulty Function"
PG Bishop, JGW Bentley, MJP van der Meulen, Safecomp 2004, Potsdam, Germany, Sept 2004, published in Lecture Notes on Computer Science (LNCS), No. 3219, pp. 60-71, ISBN 3-540-23176-5.

"The future of goal-based assurance cases"
PG Bishop, RE Bloomfield and ASL Guerra, in Proceedings of Workshop on Assurance Cases. Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks, pp. 390-395, Florence, Italy, June 2004.

"Estimating PLC logic program reliability"
PG Bishop, Safety Critical Systems Symposium, Birmingham, pp 179-193, Springer, 17th-19th February, 2004

"Integrity Static Analysis of COTS/SOUP"
PG Bishop, RE Bloomfield, TP Clement, ASL Guerra and CCM Jones, SAFECOMP 2003, pp. 63-76, 21-25 Sep, Edinburgh, UK, 2003

"Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction"
PG Bishop, RE Bloomfield, ISSRE 2003, pp. 237-245, 17-20 November, Denver, Colorado, USA, 2003

"MC/DC based estimation and detection of residual faults in PLC logic networks"
PG Bishop, ISSRE 2003, Fast Abstracts, Supplementary Proceedings, pp. 297-298, 17-20 November, Denver, Colorado, USA, 2003

"Learning from incidents involving E/E/PE systems, Part 1: Review of methods and industry practice"
PG Bishop, RE Bloomfield, LO Emmet, C Johnson, W Black, V Hamilton, F Koorneef, HSE Contract Research Reports RR179 December 2003, ISBN 0-7176-2787-X, http://www.hse.gov.uk/research/rrhtm/rr179.htm

"Learning from incidents involving E/E/PE systems, Part 2: Recommended scheme"
PG Bishop, LO Emmet, C Johnson, W Black, HSE Contract Research Reports RR181, December 2003, ISBN 0-7176-2789-6, http://www.hse.gov.uk/research/rrhtm/rr181.htm

"Learning from incidents involving E/E/PE systems, Part 3: Guidance examples and rationale"
PG Bishop, LO Emmet, C Johnson, W Black, HSE Contract Research Reports RR182, December 2003, ISBN 0-7176-2790-X, http://www.hse.gov.uk/research/rrhtm/rr182.htm

"Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects"
PG Bishop, RE Bloomfield, Thirteenth International Symposium on Software Reliability Engineering (ISSRE '02), November 12-15, Annapolis, Maryland, USA, 2002

"Software Criticality Analysis of COTS/SOUP"
PG Bishop, RE Bloomfield, TP Clement, ASL Guerra, SAFECOMP 2002, 10-13 September Catania, Italy, 2002

"Estimating Residual Faults from Code Coverage"
PG Bishop, SAFECOMP 2002, 10-13 September, Catania, Italy, 2002

"Rescaling Reliability Bounds for a New Operational Profile, International Symposium on Software Testing and Analysis (ISSTA 2002)"
PG Bishop, Rome, Italy, July 22-24, 2001

"Justifying the use of software of uncertain pedigree (SOUP) in safety related applications"
PG Bishop, RE Bloomfield, 5th International Symposium: Programmable Electronic Systems in Safety Related Applications, Cologne, 7th to 8th May 2002

"Safety Cases and Safety Management Systems in the Regulation of Air Traffic Management"
J Penny, A Eaton, PG Bishop and RE Bloomfield, Safety Critical Systems Symposium '01, Jan 2001

"A Methodology for Safety Case Development"
PG Bishop and RE Bloomfield, Safety-critical Systems Symposium, Birmingham, UK, Feb 1998

"Using Reversible Computing to Achieve Fail-safety"
PG Bishop, ISSRE 97, Nov 1997, Alberquerque, New Mexico, USA

"A Conservative Theory for Long-Term Reliability Growth Prediction"
PG Bishop and RE Bloomfield, IEEE Trans. Reliability, Vol 45, No 4, December 1996

"A Conservative Theory for Long-Term Reliability Growth Prediction"
PG Bishop and RE Bloomfield, ISSRE 96, White Plains, NY, USA, Oct 1996

"Software Fault Tolerance by Design Diversity, in Software Fault Tolerance (ed. M. Lyu)"
PG Bishop, Wiley, USA, 1995

"The SHIP Safety Case - A Combination of System and Software Methods"
PG Bishop and RE Bloomfield, SRSS 95, Proc. 14th IFAC Conf. on Safety and Reliability of Software-based Systems, Brugge, Belgium, 12-15 September 1995.

"The SHIP Safety Case, SafeComp 95, Proc. 14th IFAC Conf. on Computer Safety, Reliability and Security (ed. G. Rabe)"
PG Bishop and RE Bloomfield, Belgirate, Italy, 11-13 October 1995, Springer, ISBN 3-540-19962-4.

"The Variation of Software Survival Times for Different Operational Input Profiles"
PG Bishop, FTCS-23, Toulouse, June 22-24, 1993, IEEE Computer Society Press, ISBN 0-8186-3680-7

"Stepwise Development and Verification of a Boiler System Specification, International Workshop on the Design and Review of Software Controlled Safety-related Systems,"
PG Bishop, G Bruns, SO Anderson, National Research Council, Ottawa, Canada, June 28-29, 1993.

"Software Diversity: Way to enhance Safety?"
G Dahll, M Barnes, PG Bishop, Information and Software Technology, Vol. 32, no 10, , 1991.

"A Random Walk through Software Reliability Theory"
PG Bishop, FD Pullen, Paper in: Mathematical Structures for Software Engineering, Clarendon Press, Oxford, ISBN 0-19-853627-5, 1991.

"Dependability of Critical Computer Applications -- 3: Techniques Directory"
PG Bishop (ed), Elsevier Applied Science, ISBN 1-85166-544-7, 1990.

"Failure Masking - A Source of Dependency in Multi-Version Programming"
PG Bishop, FD Pullen, Int. Working Conference on Dependable Computing Applications, Santa Barbara, USA, IEEE Computer Society Press, August 1989.

"Chapter on Safety Critical Software"
PG Bishop (Contributer), in STARTS Purchasers Handbook NCC Publications, ISBN 0 85012 799 8, 1989.

"PODS Revisited - A Study of Software Failure Behaviour"
PG Bishop, FD Pullen, Eighteenth Fault Tolerant Computing Symposium (FTCS-18), Tokyo, June 1988, IEEE Computer Society Press, ISBN 0-8186-0867-6.

"Probabilistic Modelling of Software Failure Characteristics"
PG Bishop, FD Pullen, SAFECOMP 88, November 1988, Fulda, Germany, Pergamon Press, ISBN 0-08-036389-X.

"STEM: a Project on Software Test and Evaluation Methods"
PG Bishop, et al, Safety and Reliability Society Symposium 1987 (SARS 87), Altrincham, Manchester, Elsevier Applied Science, ISBN 1-85166-167-0, 1987.

"The PODS Diversity Experiment, Dependable Computing and Fault Tolerant Systems, Vol. 2, (ed. U. Voges)"
PG Bishop, pringer Verlag, ISBN 0-387-82014, New York-Wien. 1987

"PODS a Project on Diverse Software"
PG Bishop, et al, IEEE Trans. Software Engineering, Vol. SE-12, No. 9, 929-940.

"MC/DC based estimation and detection of residual faults in PLC logic networks"
PG Bishop, ISSRE 2003, Fast Abstracts, Supplementary Proceedings, pp. 297-298, 17-20 November, Denver, Colorado, USA, 2003

"Co-ordinated Substation Control and Monitoring"
PG Bishop, FD Pullen, 1986, CIGRE 86 Conference, Paris, August 1986.

"The PODS Diversity Experiment IFIP Workshop on Design Diversity"
PG Bishop, 1986, Baden-Wien, June 1986

"Techniques for Verification and Validation of Safety-related Software."
PG Bishop (Contributor) European Workshop on Industrial Computing Systems - Technical Committee 7, Position Paper No. 5, 1985.

"Project on Diverse Software"
PG Bishop, et al, IFAC Safecomp 85, Como, Oct 1985

"Guideline on Documentation of Safety Related Computer Systems"
PG Bishop (Contributor) European Workshop on Industrial Computing Systems - Technical Committee 7, Position Paper No. 4, 1984.

"Guideline on the Verification and Validation of Safety-related Software"
PG Bishop (Contributor) European Workshop on Industrial Computing Systems - Technical Committee 7, Position Paper No. 3, 1983.

"Fault Detection and Recovery Techniques in CUTLASS"
PG Bishop, SAFECOMP 83, Cambridge University, Sept 1983.

"Guideline on the Development of Safety-related Software European Workshop on Industrial Computing Systems."
PG Bishop (Contributor) Technical Committee 7, Position Paper No. 2, 1981

"Distributed Data Handling in a CUTLASS Network."
PG Bishop, IEE Colloquium on Distributed Systems, May 1980.