KIT | KIT-Bibliothek | Impressum | Datenschutz

Project Overview for Step-Up!CPS - Process, Methods and Technologies for Updating Safety-critical Cyber-physical Systems

Strathmann, Thomas; Hake, Georg; Guissouma, Houssem; Hohl, Carl Philipp; Bebawy, Yosab; Maelen, Sebastian Vander; Koerner, Andrew


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.

DOI: 10.23919/DATE51398.2021.9474032
Zitationen: 1
Zitationen: 1
Zugehörige Institution(en) am KIT Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
Forschungszentrum Informatik, Karlsruhe (FZI)
Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp Proceedingsbeitrag
Publikationsdatum 16.07.2021
Sprache Englisch
Identifikator ISBN: 978-3-9819263-5-4
KITopen-ID: 1000136610
Erschienen in 2021 Design, Automation Test in Europe Conference Exhibition (DATE)
Veranstaltung Design, Automation & Test in Europe (DATE 2021 2021), Online, 01.02.2021 – 05.02.2021
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Seiten 1326-1329
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page