Abstract | ||
---|---|---|
In the safety critical industries, the manufacturers should provide a compelling and comprehensible argument to demonstrate that their system is well designed so safety concerns either do not exist or can be negligible. These arguments are usually represented by an assurance case. However, one of challenging issues facing the safety critical industry is how to integrate an assurance case into manufacturers' own development process. In this paper, we present how a safety case pattern which captures common structures of successful arguments can be applied as reusing strategies for building a new safety argument. More importantly, the latest development in Model Driven Engineering (MDE) facilitates the automatic integration of an assurance model into a development process. As a case study, we take the Generic Patient Controlled Analgesic (GPCA) Infusion Pump from the medical device industry into account to demonstrate how an assurance model can be generated in a development process via the safety pattern. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/HASE.2015.44 | HASE |
Keywords | Field | DocType |
safety pattern,assurance model,mde,medical device software,safety case pattern,model transformation,gpca infusion pump,safety critical industry,safety critical system,safety-critical software,safety-critical system,model driven engineering,generic patient controlled analgesic,software systems,system analysis and design,hazards | Medical software,Model transformation,System safety,Life-critical system,Computer science,Model-driven architecture,Software system,Safety case,Safety assurance,Reliability engineering | Conference |
ISSN | Citations | PageRank |
1530-2059 | 2 | 0.46 |
References | Authors | |
12 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Chung-Ling Lin | 1 | 5 | 3.20 |
Wuwei Shen | 2 | 139 | 16.29 |