Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities

: Reich, Jan; Schneider, Daniel; Sorokos, Ioannis; Papadopoulos, Yiannis; Kelly, Tim; Wei, Ran; Armengaud, Eric; Kaypmaz, Cem


Casimiro, A.:
Computer Safety, Reliability, and Security. 39th International Conference, SAFECOMP 2020. Proceedings : Lisbon, Portugal, 16th - 18th September 2020
Cham: Springer International Publishing, 2020 (Programming and Software Engineering 12234)
ISBN: 978-3-030-54549-9
ISBN: 978-3-030-54548-2
ISBN: 978-3-030-54550-5
International Conference on Computer Safety, Reliability, and Security (SAFECOMP) <39, 2020, Online>
European Commission EC
H2020; 732242; DEIS
Dependability Engineering Innovation for CPS
Fraunhofer IESE ()
Dynamic risk management; Runtime certification; Runtime safety monitor; Model-based safety engineering

Cyber-Physical Systems (CPS) harbor the enormous potential for societal improvement in terms of safety, comfort and economic efficiency. However, these benefits will only be unlocked if the safety of these systems can be assured with a sufficient level of confidence. Traditional safety engineering and assurance approaches alone cannot address the CPS-inherent uncertainties and unknowns induced by openness and adaptivity. Runtime safety assurance approaches such as Conditional Safety Certificates (ConSerts) represent novel means to cope with CPS assurance challenges by introducing modular and formalized safety arguments with variant support, thereby shifting the final safety certification step to runtime. However, the systematic engineering of ConSerts at design-time is a complex task which, up to now, has not been sufficiently addressed. Without systematic safety assurance at both design-time and runtime, CPS will hardly be assurable with acceptable confidence given the uncertainties and unknowns. In this paper, we present an engineering method for synthesizing ConSerts based on Digital Dependability Identities (DDI). The approach is demonstrated for a cooperative vehicle platooning function (CACC) from an industrial case study.