Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities

: Reich, Jan; Frey, Joshua; Cioroaica, Emilia; Zeller, Marc; Rothfelder, Martin


Zeller, Marc (Ed.):
Model-Based Safety and Assessment. 7th International Symposium, IMBSA 2020. Proceedings : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, virtual conference
Cham: Springer Nature, 2020 (Lecture Notes in Computer Science 12297)
ISBN: 978-3-030-58919-6 (Print)
ISBN: 978-3-030-58920-2 (Online)
International Symposium on Model-Based Safety and Assessment (IMBSA) <7, 2020, Online>
Fraunhofer IESE ()
Formal concept analysis; Safety factor; Risk assessment; Product development process

Creating a sound argumentation of why a system is sufficiently safe is a major part of the assurance process. Today, compiling a safety case and maintaining its validity after changes are time-consuming manual work. By using the concept provided by Digital Dependability Identities (DDI), we present a systematic approach for creating a model-connected safety argument that is formally related to safety models such as hazard and risk assessment, safety analysis, architecture, safety requirements or validation. The comprehensively traced DDI model provides the traceability basis to guide argument-driven safety engineering processes. Flaws in arguments or evidence emerging through changes in the product development process are addressed by DDI-based automation. The case study described in this paper evaluates the DDI approach based on the publicly available safety assurance documentation of a Generic Infusion Pump (GIP) system. The evaluation demonstrates that DDIs can capture the relevant safety aspects of the GIP system.