Updates at Runtime for Cyber Physical Systems. A Game Theoretic Approach

Abstract

Updates are becoming increasingly important in the field of cyber physical systems in order to increase the lifetime of these systems and to save resources and costs. One way to achieve this is to update the system at runtime. This paper describes our vision of a game-theoretic approach to determine when an update is possible at runtime, taking into account the system behavior. This ensures that the system behaves safely at all points in time. For this purpose we use so-called timed games and synthesize a strategy under which the update can be performed. We sketch the approach and illustrate its application on an automotive example of an autopilot.