A safety case pattern for model-based development approach

Anaheed Ayoub; Baek Gyu Kim; Insup Lee; Oleg Sokolsky

doi:10.1007/978-3-642-28891-3_14

A safety case pattern for model-based development approach

Anaheed Ayoub, Baek Gyu Kim, Insup Lee, Oleg Sokolsky

Department of Electrical Engineering and Computer Science

University of Pennsylvania

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

22 Scopus citations

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.

Original language	English
Title of host publication	NASA Formal Methods - 4th International Symposium, NFM 2012, Proceedings
Pages	141-146
Number of pages	6
DOIs	https://doi.org/10.1007/978-3-642-28891-3_14
State	Published - 2012
Event	4th NASA Formal Methods Symposium, NFM 2012 - Norfolk, VA, United States Duration: 3 Apr 2012 → 5 Apr 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7226 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th NASA Formal Methods Symposium, NFM 2012
Country/Territory	United States
City	Norfolk, VA
Period	3/04/12 → 5/04/12

Bibliographical note

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

Keywords

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

Access to Document

10.1007/978-3-642-28891-3_14

Cite this

Ayoub, A., Kim, B. G., Lee, I., & Sokolsky, O. (2012). A safety case pattern for model-based development approach. In NASA Formal Methods - 4th International Symposium, NFM 2012, Proceedings (pp. 141-146). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7226 LNCS). https://doi.org/10.1007/978-3-642-28891-3_14

@inproceedings{dbcbd70a223a4bcb8d91abb93e45bd93,

title = "A safety case pattern for model-based development approach",

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 = "PCA infusion pump, model-based development approach, safety case patterns, safety cases",

author = "Anaheed Ayoub and Kim, {Baek Gyu} and Insup Lee and Oleg Sokolsky",

note = "Funding Information: This research was supported in part by NSF CNS-0930647, NSF CNS-1035715, and NSF CNS-1042829.; 4th NASA Formal Methods Symposium, NFM 2012 ; Conference date: 03-04-2012 Through 05-04-2012",

year = "2012",

doi = "10.1007/978-3-642-28891-3_14",

language = "English",

isbn = "9783642288906",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "141--146",

booktitle = "NASA Formal Methods - 4th International Symposium, NFM 2012, Proceedings",

}

Ayoub, A, Kim, BG, Lee, I & Sokolsky, O 2012, A safety case pattern for model-based development approach. in NASA Formal Methods - 4th International Symposium, NFM 2012, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7226 LNCS, pp. 141-146, 4th NASA Formal Methods Symposium, NFM 2012, Norfolk, VA, United States, 3/04/12. https://doi.org/10.1007/978-3-642-28891-3_14

A safety case pattern for model-based development approach. / Ayoub, Anaheed; Kim, Baek Gyu; Lee, Insup et al.
NASA Formal Methods - 4th International Symposium, NFM 2012, Proceedings. 2012. p. 141-146 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7226 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A safety case pattern for model-based development approach

AU - Ayoub, Anaheed

AU - Kim, Baek Gyu

AU - Lee, Insup

AU - Sokolsky, Oleg

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

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

KW - PCA infusion pump

KW - model-based development approach

KW - safety case patterns

KW - safety cases

UR - http://www.scopus.com/inward/record.url?scp=84859460659&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-28891-3_14

DO - 10.1007/978-3-642-28891-3_14

M3 - Conference contribution

AN - SCOPUS:84859460659

SN - 9783642288906

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 141

EP - 146

BT - NASA Formal Methods - 4th International Symposium, NFM 2012, Proceedings

T2 - 4th NASA Formal Methods Symposium, NFM 2012

Y2 - 3 April 2012 through 5 April 2012

ER -

A safety case pattern for model-based development approach

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this