Adelard > Peter Bishop

Specialist Areas

All staff

Publications

"The future of goal-based assurance cases "

P.G. Bishop, Robin Bloomfield and Sofia 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"

Bishop, P.G., Bloomfield, R.E., Clement, T.P, Guerra, A.S.L. and Jones, C.C.M., SAFECOMP 2003, pp. 63-76, 21-25 Sep, Edinburgh, UK, 2003

"Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction"

Bishop, P.G., Bloomfield, R.E., 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"

Bishop, P.G, 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"

Bishop, P.G., Bloomfield, R.E., Thirteenth International Symposium on Software Reliability Engineering (ISSRE '02), November 12-15, Annapolis, Maryland, USA, 2002

"Software Criticality Analysis of COTS/SOUP"

Bishop, P.G., Bloomfield, R.E., Clement,T.P., Guerra, A.S.L., SAFECOMP 2002, 10-13 September Catania, Italy, 2002

"Estimating Residual Faults from Code Coverage"

Bishop, P.G., 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)"

Bishop, P.G., Rome, Italy, July 22-24, 2001

"Justifying the use of software of uncertain pedigree (SOUP) in safety related applications"

Bishop, P.G. 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, P. Bishop and R. Bloomfield, Safety Critical Systems Symposium '01, Jan 2001

"A Methodology for Safety Case Development"

P G Bishop and R E Bloomfield, Safety-critical Systems Symposium, Birmingham, UK, Feb 1998

"Using Reversible Computing to Achieve Fail-safety"

P G Bishop, ISSRE 97, Nov 1997, Alberquerque, New Mexico, USA

"A Conservative Theory for Long-Term Reliability Growth Prediction"

P.G. Bishop and R.E. Bloomfield, IEEE Trans. Reliability, Vol 45, No 4, December 1996

"A Conservative Theory for Long-Term Reliability Growth Prediction"

P.G. Bishop and R.E. Bloomfield, ISSRE 96, White Plains, NY, USA, Oct 1996

"Software Fault Tolerance by Design Diversity, in Software Fault Tolerance (ed. M. Lyu)"

P.G. Bishop, Wiley, USA, 1995

"The SHIP Safety Case - A Combination of System and Software Methods"

P.G. Bishop and R.E. 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)"

P.G. Bishop and R.E. Bloomfield, Belgirate, Italy, 11-13 October 1995, Springer, ISBN 3-540-19962-4.

"The Variation of Software Survival Times for Different Operational Input Profiles"

Bishop, P.G., 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,"

Bishop, P.G., Bruns, G., Anderson S.O., National Research Council, Ottawa, Canada, June 28-29, 1993.

"Software Diversity: Way to enhance Safety?"

Dahll, G., Barnes M., Bishop, P.G., Information and Software Technology, Vol. 32, no 10, , 1991.

"A Random Walk through Software Reliability Theory"

Bishop P.G, Pullen F.D, Paper in: Mathematical Structures for Software Engineering, Clarendon Press, Oxford, ISBN 0-19-853627-5, 1991.

"Dependability of Critical Computer Applications -- 3: Techniques Directory"

Bishop P.G. (ed), Elsevier Applied Science, ISBN 1-85166-544-7, 1990.

"Failure Masking - A Source of Dependency in Multi-Version Programming"

Bishop P.G., Pullen F.D., Int. Working Conference on Dependable Computing Applications, Santa Barbara, USA, IEEE Computer Society Press, August 1989.

"Chapter on Safety Critical Software"

(Contributer), in STARTS Purchasers Handbook NCC Publications, ISBN 0 85012 799 8, 1989.

"PODS Revisited - A Study of Software Failure Behaviour"

Bishop P.G., Pullen F.D., 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"

Bishop P.G., Pullen F.D, SAFECOMP 88, November 1988, Fulda, Germany, Pergamon Press, ISBN 0-08-036389-X.

"STEM: a Project on Software Test and Evaluation Methods"

Bishop P.G. 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)"

Bishop P.G., pringer Verlag, ISBN 0-387-82014, New York-Wien. 1987

"PODS a Project on Diverse Software"

Bishop P.G., 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"

Bishop, P.G, ISSRE 2003, Fast Abstracts, Supplementary Proceedings, pp. 297-298, 17-20 November, Denver, Colorado, USA, 2003

"Co-ordinated Substation Control and Monitoring"

Bishop P.G., Pullen F.D., 1986, CIGRE 86 Conference, Paris, August 1986.

"The PODS Diversity Experiment IFIP Workshop on Design Diversity"

Bishop P.G., 1986, Baden-Wien, June 1986

"Techniques for Verification and Validation of Safety-related Software."

(Contributor) European Workshop on Industrial Computing Systems - Technical Committee 7, Position Paper No. 5, 1985.

"Project on Diverse Software"

P.G. Bishop, et al, IFAC Safecomp 85, Como, Oct 1985

"Guideline on Documentation of Safety Related Computer Systems"

(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"

(Contributor) European Workshop on Industrial Computing Systems - Technical Committee 7, Position Paper No. 3, 1983.

"Fault Detection and Recovery Techniques in CUTLASS"

P.G. Bishop, SAFECOMP 83, Cambridge University, Sept 1983.

"Guideline on the Development of Safety-related Software European Workshop on Industrial Computing Systems."

(Contributor) Technical Committee 7, Position Paper No. 2, 1981

"Distributed Data Handling in a CUTLASS Network."

P.G. Bishop, IEE Colloquium on Distributed Systems, May 1980.