Skip to main content

Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges

  • Conference paper
Computer Safety, Reliability, and Security (SAFECOMP 2007)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4680))

Included in the following conference series:

Abstract

In virtually all safety-critical industries the operators of systems have to demonstrate a systematic and thorough consideration of safety. This is increasingly being done by demonstrating that certain goals have been achieved, rather than by simply following prescriptive standards. Such goal-based safety cases could be a valuable tool for reasoning about safety in healthcare organisations, such as hospitals. System-wide safety cases are very complex, and a reasonable approach is to break down the safety argument into sub-system safety cases. In this paper we outline the development of a goal-based top-level argument for demonstrating the safety of a particular class of medical devices (medical beds). We review relevant standards both from healthcare and from other industries, and illustrate how these can inform the development of an appropriate safety argument. Finally, we discuss opportunities and challenges for the development and use of goal-based safety cases in healthcare.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Kelly, T.: A Systematic Approach to Safety Case Management. In: Kelly, T. (ed.) Proc. of SAE 2004 World Congress (2004)

    Google Scholar 

  2. Bishop, P., Bloomfield, R., Guerra, S.: The Future of Goal-Based Assurance Cases. In: Proc. Workshop on Assurance Cases, pp. 390–395 (2004)

    Google Scholar 

  3. Toulmin, S.: The Uses of Argument. Cambridge University Press, Cambridge (1958)

    Google Scholar 

  4. DS 00-56 Issue 3: Safety Management Requirements for Defence Systems, Ministry of Defence (2004)

    Google Scholar 

  5. Kelly, T., McDermid, J., Weaver, R.: Goal-Based Safety Standards : Opportunities and Challenges. In: Proc. of the 23rd International System Safety Conference (2005)

    Google Scholar 

  6. Kelly, T., McDermid, J.: A Systematic Approach to Safety Case Maintenance. Reliability Engineering and System Safety 71, 271–284 (2001)

    Article  Google Scholar 

  7. Kelly, T.: Arguing Safety, DPhil Thesis, University of York (1998)

    Google Scholar 

  8. Bloomfield, R., Bishop, P., Jones, C., Froome, P.: ASCAD – Adelard Safety Case Development Manual, Adelard (1998)

    Google Scholar 

  9. McDermid, J.: Support for safety cases and safety argument using SAM. Reliability Engineering and System Safety 43(2), 111–127 (1994)

    Article  Google Scholar 

  10. Emmet, L., Cleland, G.: Graphical Notations, Narratives and Persuasion: a Pliant Approach to Hypertext Tool Design. In: Proc. of ACM Hypertext  (2002)

    Google Scholar 

  11. Chinneck, P., Pumfrey, D., McDermid, J.: The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation. In: 9th Australian Workshop on Safety Related Programmable Systems (2004)

    Google Scholar 

  12. Sujan, M., Harrison, M., Pearson, P., Steven, A., Vernon, S.: Demonstration of Safety in Healthcare Organisations. In: Górski, J. (ed.) SAFECOMP 2006. LNCS, vol. 4166, Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  13. Medical Devices Regulations 2002. The Stationery Office Limited, London (2002)

    Google Scholar 

  14. European Council: Council Directive 93/42/EEC of 14 June 1993 concerning medical devices. Official Journal L 169, 12/07/1993, pp. 0001 – 0043 (1993)

    Google Scholar 

  15. Standards for Better Health, UK Department of Health (2004)

    Google Scholar 

  16. Bloomfield, R., Littlewood, B.: On the use of diverse arguments to increase confidence in dependability claims. In: Besnard, D., Gacek, C., Jones, C.B. (eds.) Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, pp. 254–268. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  17. IEC 60601-1 – Ed. 3.0 – Medical electrical equipment – Part 1: General requirements for basic safety and essential performance. IEC Geneva (2005)

    Google Scholar 

  18. ISO 14971:2007 – Application of risk management to medical devices. ISO Geneva (2007)

    Google Scholar 

  19. IEC 62304 – Ed. 1.0 – Medical device software – Software life cycle processes. IEC Geneva (2006)

    Google Scholar 

  20. IEC 62366 – Ed. 1.0 – Medical devices – Application of usability engineering to medical devices. Draft. IEC Geneva (2006)

    Google Scholar 

  21. 2nd EWICS MeD Workshop, Edinburgh (unpublished report) (2004)

    Google Scholar 

  22. Moore, S.: Integrating the Healthcare Enterprise - IHE NA 2007 Connectathon Fact Sheet (2006) Retrieved from (accessed 2007-03-19), www.ihe.net/Connectathon/upload/NA_2007_Connectathon_Fact_Sheet_1.pdf

  23. IEC 60601-2-52 – Ed. 1.0 – Medical electrical equipment – Part 2-52: Particular requirements for basic safety and essential performance of medical beds. Draft. IEC Geneva (2006)

    Google Scholar 

  24. RVSM Pre-Implementation Safety Case, Eurocontrol (2001)

    Google Scholar 

  25. CENELEC EN 50129 – Railway Applications – Safety related electronic systems for signaling, CENELEC Brussels (2003)

    Google Scholar 

  26. Nordland, O.: Safety Case Categories – Which One When? In: Redmill, F., Anderson, T. (eds.) Current issues in security-critical systems, pp. 163–172. Springer, Heidelberg (2003)

    Google Scholar 

  27. Kelly, T.: Managing Complex Safety Cases. In: Proc. 11th Safety Critical Systems Symposium, Springer, Heidelberg (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Francesca Saglietti Norbert Oster

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sujan, MA., Koornneef, F., Voges, U. (2007). Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges. In: Saglietti, F., Oster, N. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2007. Lecture Notes in Computer Science, vol 4680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75101-4_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-75101-4_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-75100-7

  • Online ISBN: 978-3-540-75101-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics