@inproceedings{Ehm2020,Author = {Ehmen, Günter and Koopmann, Björn and Bebawy, Yosab and Ittershagen, Philipp},Title = {Measurement-based Online Verification of Timing Properties in Distributed Systems},Year = {2020},Pages = {93-98},Month = {09},Publisher = {IEEE},Booktitle = {Proceedings of the 2nd IEEE International Conference on Omni-layer Intelligent Systems (COINS'20)},Doi = {10.1109/COINS49042.2020.9191647},type = {inproceedings},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.}}@COMMENT{Bibtex file generated on }