%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 }