Ethernet is increasingly recognized as the future communication standard for distributed embedded systems in multiple domains such as industrial automation, automotive and avionics. A main motivation for this is cost and available data rate. A critical issue in the adoption of Ethernet in these domains is the timing of frame transfers, as many relevant applications require a guaranteed low-latency communication in order to meet real-time constraints. Ethernet AVB is an upcoming standard which addresses the timing issues by extending the existing strict-priority arbitration. Still, it needs to be evaluated whether these mechanism suffice for the targeted applications. For safety-critical applications, this can not only be done using intuition or simulation but requires a formal approach to assure the coverage of all worst-case corner cases. Hence, we present in this paper a formal worst-case analysis of the timing properties of Ethernet AVB and strict-priority Ethernet. This analysis mathematically determines safe upper bounds on the latency of frame transfers. Using this approach, we evaluate different topologies for a typical use-case in industrial automation.
Beschreibung
IEEE Xplore Abstract - Formal worst-case timing analysis of Ethernet topologies with strict-priority and AVB switching
%0 Conference Paper
%1 diemer2012formal
%A Diemer, J.
%A Thiele, D.
%A Ernst, R.
%B Industrial Embedded Systems (SIES), 2012 7th IEEE International Symposium on
%D 2012
%K analysis avb ethernet formal worst
%P 1-10
%R 10.1109/SIES.2012.6356564
%T Formal worst-case timing analysis of Ethernet topologies with strict-priority and AVB switching
%U http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6356564&tag=1
%X Ethernet is increasingly recognized as the future communication standard for distributed embedded systems in multiple domains such as industrial automation, automotive and avionics. A main motivation for this is cost and available data rate. A critical issue in the adoption of Ethernet in these domains is the timing of frame transfers, as many relevant applications require a guaranteed low-latency communication in order to meet real-time constraints. Ethernet AVB is an upcoming standard which addresses the timing issues by extending the existing strict-priority arbitration. Still, it needs to be evaluated whether these mechanism suffice for the targeted applications. For safety-critical applications, this can not only be done using intuition or simulation but requires a formal approach to assure the coverage of all worst-case corner cases. Hence, we present in this paper a formal worst-case analysis of the timing properties of Ethernet AVB and strict-priority Ethernet. This analysis mathematically determines safe upper bounds on the latency of frame transfers. Using this approach, we evaluate different topologies for a typical use-case in industrial automation.
@inproceedings{diemer2012formal,
abstract = {Ethernet is increasingly recognized as the future communication standard for distributed embedded systems in multiple domains such as industrial automation, automotive and avionics. A main motivation for this is cost and available data rate. A critical issue in the adoption of Ethernet in these domains is the timing of frame transfers, as many relevant applications require a guaranteed low-latency communication in order to meet real-time constraints. Ethernet AVB is an upcoming standard which addresses the timing issues by extending the existing strict-priority arbitration. Still, it needs to be evaluated whether these mechanism suffice for the targeted applications. For safety-critical applications, this can not only be done using intuition or simulation but requires a formal approach to assure the coverage of all worst-case corner cases. Hence, we present in this paper a formal worst-case analysis of the timing properties of Ethernet AVB and strict-priority Ethernet. This analysis mathematically determines safe upper bounds on the latency of frame transfers. Using this approach, we evaluate different topologies for a typical use-case in industrial automation.},
added-at = {2014-06-12T18:02:38.000+0200},
author = {Diemer, J. and Thiele, D. and Ernst, R.},
biburl = {https://www.bibsonomy.org/bibtex/27f3fe4c9d536f63b5359f2f5c5fc0e4a/eberle18},
booktitle = {Industrial Embedded Systems (SIES), 2012 7th IEEE International Symposium on},
description = {IEEE Xplore Abstract - Formal worst-case timing analysis of Ethernet topologies with strict-priority and AVB switching},
doi = {10.1109/SIES.2012.6356564},
interhash = {ad6e5f44cfe349062e656461135fd7a9},
intrahash = {7f3fe4c9d536f63b5359f2f5c5fc0e4a},
keywords = {analysis avb ethernet formal worst},
month = {June},
pages = {1-10},
timestamp = {2014-06-12T18:02:38.000+0200},
title = {Formal worst-case timing analysis of Ethernet topologies with strict-priority and AVB switching},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6356564&tag=1},
year = 2012
}