Skip to main content
SpringerLink
Log in
Book cover

Safer Systems pp 38–55Cite as

Designing for Safety: Current Activities at the University of Bristol and Future Directions

  • Conference paper

Abstract

The University of Bristol has recently established a Safety Systems Research Centre (SSRC) to form a focus for safety-related work by bringing together the existing multi-disciplinary strengths from different departments. The Centre has founding sponsorship from the Civil Aviation Authority, Lloyd’s Register, Nuclear/Magnox Electric and Railtrack. This funding has been used to develop an underlying research programme on fundamental safety design issues. The programme is intended to provide a point of interaction with other related research covering, aerospace, transport, computer science, communications, medical devices, earthquake engineering, engineering mathematics, process modelling, organisational structure/ management, human factors and psychology. The paper considers what are the important design issues, provides a view of past successes, current activities and future hopes in the area of integrated safety research.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Beasley M. Reliability for Engineers, Macmillan, London 1991

    Google Scholar 

  2. Blockley D.I. Engineering from Reflective Practice, Research in Engineering Design, 4, 13–22 1992

    Article  Google Scholar 

  3. Blockley D. I. Computers in Engineering Risk and Hazard Management, Archives of Computational Methods in Engineering, Vol. 2,2,67–94, 1995.

    Article  Google Scholar 

  4. Brett P.N., Baker D.A. and Blanshard J.A. Precision control of an automatic tool for micro-drilling a stapedotomy, ProclMechE, part H, vol 209, pp255–262, Dec 1995.

    Article  Google Scholar 

  5. Cottam M., May J. et al Fault Analysis of the Software Generation Process - The FASGEP Project, Proceedings of the Safety and Reliability Society Symposium: Risk Management and Critical Protective Systems, Altrincham, UK October 1994

    Google Scholar 

  6. Daly K., Jeziorski A. and Sedbon G. Intelligent conversation, Flight International, 24–30th August, 25–27 1994.

    Google Scholar 

  7. Handy C.B. Understanding Organisations, 3rd Ed, Penguin Books, London, 1985.

    Google Scholar 

  8. Organisational Management and Human factors in Quantified risk Assessment, Reports 33/1992 & 34/1992.

    Google Scholar 

  9. Successful Health and Safety Management

    Google Scholar 

  10. The International Atomic Energy Agency Guide to Safety Culture, (Safety Series no. 75-INSAG-4; STI/PUB/882.)

    Google Scholar 

  11. Guide to FMEA and 1 EMCA/ BS 5760 Pt 5. 1985.

    Google Scholar 

  12. Guide to fault Tree Analysis/ BS 5760 pt 7, 1990.

    Google Scholar 

  13. Guide to the Block Diagram Technique/ BS 5760 Pt 9, 1991.

    Google Scholar 

  14. James M., Mcclumpha A., Green R. Wilson P. and Belyavin A. Pilot attitudes to automation, In Proceedings of the Sixth International Symposium on Aviation Psychology, (Ohio State University, Columbus), 192–197, 1991

    Google Scholar 

  15. Johnson D.M. Increasing software integrity using functionally dissimilar monitoring, This Volume, 1997.

    Google Scholar 

  16. Kitchenham B.A. and Walker J.G. A quantitative approach to monitoring software development, Software Engineering Journal, Jan 1989.

    Google Scholar 

  17. Lauritzen S.L. and Spiegelhalter D.J. Local Computations with Probabilities on Graphical Structures and Their Application to Expert Systems, J. Royal Statistical Society B, v50 n2 1988

    MathSciNet  Google Scholar 

  18. Learmount D. Lessons from the cockpit, Flight International, 1117th January, 24–27, 1995.

    Google Scholar 

  19. Leveson N.G. Cha S. and Shimeall T.J. Safety verification of Ada programs using software fault trees, IEEE Software SE-17, July 1991

    Google Scholar 

  20. Littlewood B. Software reliability model for modular program structure, IEEE Trans. on Reliability v R-30 1981

    Google Scholar 

  21. Littlewood B. and Wright D. Some conservative stopping rules for the operational testing of safety-critical software, IEEE Trans on Fault Tolerant Computing Syposium, pp 444–451, Pasedena, 1995.

    Google Scholar 

  22. Lloyd J.W. Declarative Programming in Escher, CSTR-95–013, Department of Computer Science, University of Bristol, 1995.

    Google Scholar 

  23. Lowson M.V. and Medus C. An initial study of Personal Rapid Transport (PRT) Safety, This Volume, 1997.

    Google Scholar 

  24. May J. et al. Fault Prediction for Software Development Processes, Proceedings of Institute of Mathematics and its Applications Conference on the Mathematics of Dependable Systems, Royal Holloway, Univ. of London, Egham, Surrey 1–3 Sept. 1993

    Google Scholar 

  25. May J., Hughes G and Lunn A.D. Reliability Estimation from Appropriate Testing of Plant Protection Software, IEE Software Engineering Journal, Nov. 1995

    Google Scholar 

  26. May J.H.R and Lunn A.D. New Statistics for Demand-Based Software Testing, Information Processing Letters 53, 1995

    Google Scholar 

  27. May J.H.R & Lunn A.D A Model of Code Sharing for Estimating Software Failure on Demand Probabilities, IEEE Trans. on Software Engineering SE-21(9) 1995

    Google Scholar 

  28. McCormick N.J. Reliability and Risk Analysis, Academic Press, New York 1981

    Google Scholar 

  29. McDermid J. Issues in the development of safety-critical systems, in Safety-critical Systems: current issues, techniques and standards, Eds. F Redmill & T Anderson, Chapman & Hall, London 1993

    Google Scholar 

  30. Mearns K. and Flin R., Risk perception in hazardous industries, The Psychologist, 9(9), 401–404, 1996

    Google Scholar 

  31. Miller W.M., More11 L.J., Noonan R.E., Park S.K., Nicol D.M., Murrill B.W. and Voas J.M. Estimating the probability of failure when testing reveals no failures, IEEE Trans. on Software Engineering v18 nl 1992

    Google Scholar 

  32. Musa J.D. Operational profiles in software reliability engineering, IEEE Software 10(2) 1993

    Google Scholar 

  33. Noyes J.M., Starr A.F., Frankish C R and Rankin J.A. Aircraft warning systems: Application of model-based reasoning techniques, Ergonomics, 38(11), 2432–2445, 1995

    Article  Google Scholar 

  34. Pearl J. Probabilistic Reasoning in Intelligent Systems, Morgan Kaufmann, San Mateo 1988

    Google Scholar 

  35. Perrow C., Normal Accidents: Living with High Risk Technology, (Basic Books, New York), 1984.

    Google Scholar 

  36. Pew R.W. Situation awareness: The buzzword of the `90s, CSERIAC Gateway, 5(1), 1–16, 1994

    Google Scholar 

  37. Satchell P. Cockpit Monitoring and Alerting Systems, (Ashgate, Aldershot), 1993

    Google Scholar 

  38. Senge P. The Fifth Discipline: The Art and Practice of the Learning Organisation, Century Business Books, 1990

    Google Scholar 

  39. Severn R.T. The European Shaking Table Programme, Keynote Address, SECED Conference on European Design Practice, Chester UK, September 95, Elesvier.

    Google Scholar 

  40. Spiegelhalter D.J, and Lauritzen S.L. Sequential updating of conditional probabilities on directed graphical structures, Networks 20, 1990

    Google Scholar 

  41. Thayer R., Lipow M and Nelson E. Software Reliability, North-Holland, Amsterdam 1978

    Google Scholar 

  42. Wickens C.D. Engineering psychology and human performance. Columbus, Ohio: Charles E. Merrill, 1984.

    Google Scholar 

  43. Wickens E. L. Management of human error by design, In Proceedings of the 1st Conference on Human Error Avoidance Techniques, Paper 872505, (SAE International. Warrendale, PA), 7–11, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Engineering, Safety Systems Research Centre, University of Bristol, UK

    G. Hughes & J. H. R. May

  2. Department of Psychology, Safety Systems Research Centre, University of Bristol, UK

    J. Noyes

Authors
  1. G. Hughes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. H. R. May
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J. Noyes
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Redmill Consultancy, 22 Onslow Gardens, London, N10 3JU, UK

    Felix Redmill

  2. Centre for Software Reliability, University of Newcastle-upon-Tyne, Newcastle-upon-Tyne, NE1 7RU, UK

    Tom Anderson

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag London Limited

About this paper

Cite this paper

Hughes, G., May, J.H.R., Noyes, J. (1997). Designing for Safety: Current Activities at the University of Bristol and Future Directions. In: Redmill, F., Anderson, T. (eds) Safer Systems. Springer, London. https://doi.org/10.1007/978-1-4471-0975-4_2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-0975-4_2

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-76134-1

  • Online ISBN: 978-1-4471-0975-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation