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.
This research was supported in part by NSF CNS-0930647, NSF CNS-1035715, and NSF CNS-1042829.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Safety Requirements for the Generic Patient Controlled Analgesia Pump, http://rtg.cis.upenn.edu/gip.php3
The Generic Patient Controlled Analgesia Pump Model, http://rtg.cis.upenn.edu/gip.php3
Alexander, R., Kelly, T., Kurd, Z., McDermid, J.: Safety Cases for Advanced Control Software: Safety Case Patterns. Technical report, University of York (2007)
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)
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)
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)
Hawkins, R., Kelly, T.: A Systematic Approach for Developing Software Safety Arguments. Journal of System Safety 46, 25–33 (2009)
Hawkins, R., Kelly, T.: Software Safety Assurance – What is Sufficient? In: The 4th IET International Conference of System Safety, London (2009)
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)
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)
Kelly, T.: Arguing Safety – A Systematic Approach to Safety Cases Management. PhD thesis, Department of Computer Science, University of York (1999)
Kelly, T., McDermid, J.: Safety Case Construction and Reuse using Patterns. In: SAFECOMP, pp. 55–96. Springer, Heidelberg (1997)
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)
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)
U.S. Food and Drug Administration, Center for Devices and Radiological Health. White Paper: Infusion Pump Improvement Initiative (April 2010)
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)
Weaver, R.: The Safety of Software - Constructing and Assuring Arguments. PhD thesis, Department of Computer Science, University of York (2003)
Weinstock, C., Goodenough, J.: Towards an Assurance Case Practice for Medical Device. Technical report, CMU/SEI-2009-TN-018 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)