A Safety Case Pattern for Model-Based Development Approach

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Model-Based Design
safety cases
safety case patterns
model-based development approach
PCA infusion pump
Funder
Grant number
License
Copyright date
Distributor
Related resources
Contributor
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.

Advisor
Date of presentation
2012-04-01
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-17T06:52:27.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
NASA Formal Methods Symposium (NFM), Norfolk, VA, April 2012.
Recommended citation
Collection