Skip to main content

A Safety Case Pattern for Model-Based Development Approach

  • Conference paper

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

Abstract

In this paper, a safety case pattern is introduced to facilitate the presentation of a correctness argument for a system implemented using formal methods in the development process. We took advantage of our experience in constructing a safety case for the Patient Controlled Analgesic (PCA) infusion pump, to define this safety case pattern. The proposed pattern is appropriate to be instantiated within the safety cases constructed for systems that are developed by applying model-based approaches.

Keywords

  • safety cases
  • safety case patterns
  • model-based development approach
  • PCA infusion pump

This research was supported in part by NSF CNS-0930647, NSF CNS-1035715, and NSF CNS-1042829.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • 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. Safety Requirements for the Generic Patient Controlled Analgesia Pump, http://rtg.cis.upenn.edu/gip.php3

  2. The Generic Patient Controlled Analgesia Pump Model, http://rtg.cis.upenn.edu/gip.php3

  3. Alexander, R., Kelly, T., Kurd, Z., McDermid, J.: Safety Cases for Advanced Control Software: Safety Case Patterns. Technical report, University of York (2007)

    Google Scholar 

  4. Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200–236. Springer, Heidelberg (2004)

    CrossRef  Google Scholar 

  5. Graydon, P., Knight, J., Strunk, E.: Assurance Based Development of Critical Systems. In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, Washington, DC, USA, pp. 347–357 (2007)

    Google Scholar 

  6. Hawkins, R., Clegg, K., Alexander, R., Kelly, T.: Using a Software Safety Argument Pattern Catalogue: Two Case Studies. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 185–198. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  7. Hawkins, R., Kelly, T.: A Systematic Approach for Developing Software Safety Arguments. Journal of System Safety 46, 25–33 (2009)

    Google Scholar 

  8. Hawkins, R., Kelly, T.: Software Safety Assurance – What is Sufficient? In: The 4th IET International Conference of System Safety, London (2009)

    Google Scholar 

  9. Hawkins, R., Kelly, T., Knight, J., Graydon, P.: A New Approach to creating Clear Safety Arguments. In: The 19th Safety Critical Systems Symposium (SSS 2011), pp. 3–23. Springer, London (2011)

    Google Scholar 

  10. Jee, E., Lee, I., Sokolsky, O.: Assurance Cases in Model-Driven Development of the Pacemaker Software. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol. 6416, pp. 343–356. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  11. Kelly, T.: Arguing Safety – A Systematic Approach to Safety Cases Management. PhD thesis, Department of Computer Science, University of York (1999)

    Google Scholar 

  12. Kelly, T., McDermid, J.: Safety Case Construction and Reuse using Patterns. In: SAFECOMP, pp. 55–96. Springer, Heidelberg (1997)

    Google Scholar 

  13. Kim, B., Ayoub, A., Sokolsky, O., Jones, P., Zhang, Y., Jetley, R., Lee, I.: Safety-Assured Development of the GPCA Infusion Pump Software. In: EMSOFT, Taipei, Taiwan, pp. 155–164 (2011)

    Google Scholar 

  14. U.S. Food and Drug Administration, Center for Devices and Radiological Health. Guidance for Industry and FDA Staff - Total Product Life Cycle: Infusion Pump - Premarket Notification (510(k)) Submissions (April 2010)

    Google Scholar 

  15. U.S. Food and Drug Administration, Center for Devices and Radiological Health. White Paper: Infusion Pump Improvement Initiative (April 2010)

    Google Scholar 

  16. Wagner, S., Schätz, B., Puchner, S., Kock, P.: A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models. In: ISSRE, pp. 269–278 (2010)

    Google Scholar 

  17. Weaver, R.: The Safety of Software - Constructing and Assuring Arguments. PhD thesis, Department of Computer Science, University of York (2003)

    Google Scholar 

  18. Weinstock, C., Goodenough, J.: Towards an Assurance Case Practice for Medical Device. Technical report, CMU/SEI-2009-TN-018 (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ayoub, A., Kim, B., Lee, I., Sokolsky, O. (2012). A Safety Case Pattern for Model-Based Development Approach. In: Goodloe, A.E., Person, S. (eds) NASA Formal Methods. NFM 2012. Lecture Notes in Computer Science, vol 7226. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28891-3_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-28891-3_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-28890-6

  • Online ISBN: 978-3-642-28891-3

  • eBook Packages: Computer ScienceComputer Science (R0)