Yosab Bebawy, Houssem Guissouma, Sebastian Vander Maelen, Janis Kröger, Georg Hake, Ingo Stierand, Martin Fränzle, Eric Sax, Axel Hahn
The 2020 International Conference on Computational Science and Computational Intelligence (CSCI'20)
Software updates are indispensable for the continuous development of Cyber Physical Systems (CPS): They allow for low-cost bug-ﬁxing, fast adaptation to new or changing environments, or adding new functionality throughout the CPS’s life-cycle. Due to the urgent need for some safety-critical updates, their veriﬁcation and validation may need to happen as fast as possible without loss of quality. For this reason, incremental checks targeting speciﬁcally the introduced changes and their impact on the system are essential as they speed up the validation process. In this paper, we introduce a concept for such an incremental veriﬁcation for different types of updates by using contract-based design and verifying the integration of the introduced changes by checking their compliance with the contractually agreed assumptions and guarantees. We demonstrate our approach by applying two update types to an Adaptive Cruise Control (ACC) system and verifying the impact of the changes within the environment of the changed module(s).
12 / 2020
Step-Up!CPS Software-Methoden und Technologien für Modulare Updates von Cyber-Physischen Systemen