18 Sep UP2DATE TechTalk 2: MULTIC Timing Monitors
In this second TechTalk Yosab Bebawy from OFFIS provided an introduction in Timing Monitors, which can directly be obtained from MULTIC Timing Contracts (see MULTIC TechTalk 1).
In this talk 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.
Watch the recorded presentation at:
It was originally given at IEEE COINS Conference 2020, see https://ieeexplore.ieee.org/document/9191647