Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

On the transition from design time to runtime model-based assurance cases

 
: Wei, Ran; Kelly, Tim P.; Reich, Jan; Gerasimou, Simos

:
Fulltext ()

Hebig, R.:
Models Workshops 2018: Co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems. Proceedings : Copenhagen, Denmark, October, 14, 2018
La Clusaz: CEUR, 2018 (CEUR Workshop Proceedings 2245)
pp.56-61
European Commission EC
H2020; 732242; DEIS
Dependability Engineering Innovation for CPS
English
Conference Paper, Electronic Publication
Fraunhofer IESE ()
model driven engineering; model at runtime; structured assurance case metamodel; system assurance

Abstract
System assurance cases are used to demonstrate confidence in system properties of interest (e.g. safety and/or security). They are key artefacts for safety and/or security acceptance for systems before they become operational. Cyber-Physical Systems (CPS) form a new technological frontier for their vast economic and societal potentials in various domains. CPS are often safety-critical systems. Thus, their safety and/or security need to be assured using system assurance cases. However, due to the open and adaptive nature of CPS, the need for system assurance at runtime is imperative. Therefore, assurance cases are expected to be exchanged, integrated and verified at runtime to ensure the dependability of CPS when they intend to execute a cooperative behaviour. In this position paper, we identify the importance of model-based system assurance, we discuss the paradigm shift of assurance cases from being manually created artefacts to (semi-)automatically created models. We discuss the application of model-based assurance cases in ensuring the dependability of CPS.

: http://publica.fraunhofer.de/documents/N-540887.html