Measurement-based Online Verification of Timing Properties in Distributed Systems

BIB
Günter Ehmen and Björn Koopmann and Yosab Bebawy and Philipp Ittershagen
Proceedings of the 2nd IEEE International Conference on Omni-layer Intelligent Systems (COINS'20)
In this paper, we present a novel concept for the measurement-based online verification of timing properties in distributed systems. Based on a methodology for the consistent real-time handling in advanced driver assistance systems and automated driving functions, it incorporates a measurement infrastructure with generic interfaces, event recorders, and timing monitors generated directly from timing specifications. The primary goal is to detect specified events at subsystem interfaces and to calculate signal propagation times. Following a prototypical implementation, the accuracy of a concrete instance of our concept is evaluated. A demonstration including a realistic hardware-in-the-loop simulation proves the practical applicability and shows conceivable extensions for future activities.
09 / 2020
inproceedings
IEEE
93-98
Digitaler Knoten 4.0

Step-Up!CPS
Software-Methoden und Technologien für Modulare Updates von Cyber-Physischen Systemen