Project Overview for Step-Up!CPS – Process, Methods and Technologies for Updating Safety-critical Cyber-physical Systems
Thomas Strathmann1,a, Georg Hake2, Houssem Guissouma3, Carl Philipp Hohl4, Yosab Bebawy1,b, Sebastian Vander Maelen1,c and Andrew Koerner5
1Transportation Division OFFIS e.V. Oldenburg, Germany
athomas.strathmann@offis.de
byosab.bebawy@offis.de
csvm@offis.de
2Department of Computing Science University of Oldenburg Oldenburg, Germany
georg.hake@uni-oldenburg.de
3ITIV Institute Karlsruhe Institute of Technology (KIT) Karlsruhe, Germany
houssem.guissouma@kit.edu
4ESS-ESM FZI Forschungszentrum Informatik Karlsruhe, Germany
hohl@fzi.de
5Institute of Transportation Systems German Aerospace Centre (DLR) Braunschweig, Germany
andrew.koerner@dlr.de
ABSTRACT
We describe the challenges addressed by the three year German national collaborative research project Step- Up!CPS that is currently in its third year. The goal of the project is to develop software methods and technologies for modular updates of safety-critical cyber-physical systems. To make this possible, contracts are utilized, which formally describe the behaviour of an update and make it verifiable at different times of the update life cycle. We have defined a development process that allows for a continuous improvement of such systems by monitoring their operation, identifying the need for updates, and development and deploying these updates in a safe and secure manner. We highlight the points along the update process that are necessary for a secure update and show how we counteract them in a contractually secured update process.
Keywords: Cyber-physical Systems, Safety and Security, Contract-based Design, Online Monitoring, Variant Management.
