Departmental Papers (CIS)

Date of this Version

4-2012

Document Type

Conference Paper

Comments

NASA Formal Methods Symposium (NFM), Norfolk, VA, April 2012.

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

Share

COinS
 

Date Posted: 09 March 2012

This document has been peer reviewed.