A safety case pattern for model-based development approach

Authors:
Anaheed Ayoub;BaekGyu Kim;Insup Lee;Oleg Sokolsky
Affiliations:
Department of Computer and Information Science, University of Pennsylvania, United States;Department of Computer and Information Science, University of Pennsylvania, United States;Department of Computer and Information Science, University of Pennsylvania, United States;Department of Computer and Information Science, University of Pennsylvania, United States
Venue:
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Year:
2012

Citing 5
Cited 1

Assurance Based Development of Critical Systems

DSN '07 Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models

ISSRE '10 Proceedings of the 2010 IEEE 21st International Symposium on Software Reliability Engineering
Assurance cases in model-driven development of the pacemaker software

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Safety-assured development of the GPCA infusion pump software

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Using a software safety argument pattern catalogue: two case studies

SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security

A systematic approach to justifying sufficient confidence in software safety arguments

SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security

Quantified Score

Hi-index	0.00

Visualization

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.