Am Montag, den 02. Dezember 2024, um 16:00 Uhr hält
Janis Kröger
Universität Oldenburg
im Rahmen seiner beabsichtigten Dissertation einen Vortrag mit dem Titel
Safe-guarding updates at runtime for critical cyber-physical systems
 

Der Vortrag findet im OFFIS, Escherweg 2, Raum F02 statt.
 

Abstract:
Our society increasingly depends on critical cyber-physical systems (CPSes). Highly automated vehicles,
for example, are employing centralized high-performance computing platforms to execute resource-
intensive and safety-critical software functions such as sensor processing and perception. This
trend, also referred to as “software-defined X”, enables flexible system development along the whole
product lifecycle, where regular software updates enable maintenance and evolution of the system.
But each software update poses potential threats to system safety. Neither the modifications nor the
update process itself may compromise the system’s functionality and safety. Updating systems during
standstill is the current standard and diminishes safety risks, but has drawbacks. System downtime may
not be acceptable to users and is infeasible for vital systems like critical infrastructure, such as energy
grids, industrial production lines, and healthcare systems. To mitigate these issues, updates during system
operation have been proposed.
When pursuing updates in an operational system, the timing of updates is crucial and can significantly
impact system performance and safety. Given that subsystems and components of a system are often
independently developed by different Original Equipment Manufacturers and, with the exception of the
specification, typically have to be seen as a black box, ensuring coordinated and safe updates is complex.
To resolve these issues, our research addresses two primary questions: How can situation dependent
dynamic behavior be specified to facilitates safe updates during operation of safety-critical CPSes? And
how can we identify safe reactive strategies for updates at runtime, ensuring minimal downtime of system
functionality?
Betreuer: Prof. Dr. Martin Fränzle