Measurement-based Online Verification of Timing Properties in Distributed Systems

Abstract

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.