Departmental Papers (CIS)
Date of this Version
4-2012
Document Type
Conference Paper
Recommended Citation
Anaheed Ayoub, BaekGyu Kim, Insup Lee, and Oleg Sokolsky, "A Safety Case Pattern for Model-Based Development Approach", Lecture Notes in Computer Science: NASA Formal Methods 7226, 141-146. April 2012. http://dx.doi.org/10.1007/978-3-642-28891-3_14
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.
Subject Area
CPS Model-Based Design
Publication Source
Lecture Notes in Computer Science: NASA Formal Methods
Volume
7226
Start Page
141
Last Page
146
DOI
10.1007/978-3-642-28891-3_14
Copyright/Permission Statement
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-28891-3_14
Keywords
safety cases, safety case patterns, model-based development approach, PCA infusion pump
Date Posted: 09 March 2012
This document has been peer reviewed.
Comments
NASA Formal Methods Symposium (NFM), Norfolk, VA, April 2012.