research-article

Scheduling Real-Time Communication in IEEE 802.1Qbv Time Sensitive Networks

Authors:

Silviu S. Craciunas,

Ramon Serna Oliver,

Martin Chmelík, and

Wilfried SteinerAuthors Info & Claims

RTNS '16: Proceedings of the 24th International Conference on Real-Time Networks and Systems

October 2016

Pages 183 - 192

https://doi.org/10.1145/2997465.2997470

Published: 19 October 2016 Publication History

Abstract

The enhancements being developed by the Time-Sensitive Networking Task Group as part of IEEE 802.1 emerge as the future of real-time communication over Ethernet networks for automotive and industrial application domains. In particular IEEE 802.1Qbv is key to enabling timeliness guarantees via so-called time-aware shapers. In this paper, we address the computation of fully deterministic schedules for 802.1Qbv-compliant multi-hop switched networks. We identify and analyze key functional parameters affecting the deterministic behaviour of real-time communication under 802.1Qbv and, based on a generalized configuration of these parameters, derive the required constraints for computing offline schedules guaranteeing low and bounded jitter and deterministic end-to-end latency for critical communication flows. Furthermore, we discuss several optimization directions and concrete configurations exposing trade-offs against the required computation time. We also show the performance of our approach via synthetic network workloads on top of different network configurations.

References

[1]

Abraham, E., and Kremer, G. Satisfiability checking: Theory and applications. In Proc. SEFM (2016), vol. 9763 of LNCS, Springer International Publishing.

[2]

Alderisi, G., Patti, G., and Bello, L. L. Introducing support for scheduled traffic over IEEE audio video bridging networks. In Proc. ETFA (2013), IEEE Computer Society.

[3]

Barrett, C., Sebastiani, R., Seshia, S., and Tinelli, C. Satisfiability modulo theories. In Handbook of Satisfiability, vol. 185. IOS Press, 2009.

[4]

Bauer, H., Scharbarg, J., and Fraboul, C. Improving the worst-case delay analysis of an AFDX network using an optimized trajectory approach. Industrial Informatics, IEEE Transactions on 6, 4 (2010).

[5]

Bjørner, N., Phan, A., and Fleckenstein, L. νz - an optimizing SMT solver. In Proc. TACAS (2015), Springer.

Digital Library

[6]

Bordoloi, U. D., Aminifar, A., Eles, P., and Peng, Z. Schedulability analysis of ethernet avb switches. In Proc. RTCSA (2014), IEEE Computer Society.

Digital Library

[7]

Craciunas, S. S., and Serna Oliver, R. SMT-based task- and network-level static schedule generation for time-triggered networked systems. In Proc. RTNS (2014), ACM.

Digital Library

[8]

Craciunas, S. S., and Serna Oliver, R. Combined task-and network-level scheduling for distributed time-triggered systems. Real-Time Systems 52, 2 (2016), 161--200.

Digital Library

[9]

De Azua, J. A. R., and Boyer, M. Complete modelling of AVB in network calculus framework. In Proc. RTNS (2014), ACM.

Digital Library

[10]

De Moura, L., and Bjørner, N. Z3: An efficient SMT solver. In Proc. TACAS (2008), Springer-Verlag.

Digital Library

[11]

De Moura, L., and Bjørner, N. Satisfiability modulo theories: Introduction and applications. Commun. ACM 54, 9 (2011), 69--77.

Digital Library

[12]

Diemer, J., Thiele, D., and Ernst, R. Formal worst-case timing analysis of ethernet topologies with strict-priority and AVB switching. In Proc. SIES (2012), IEEE Computer Society.

[13]

Dutertre, B. Yices 2.2. In Proc. CAV (2014), vol. 8559 of Lecture Notes in Computer Science, Springer, pp. 737--744.

Digital Library

[14]

Frances, F., Fraboul, C., and Grieu, J. Using network calculus to optimize the AFDX network. In Proc. ERTS (2006).

[15]

GLPK. GNU Linear Programming Kit. http://www.gnu.org/software/glpk/. retrieved 20-Jul-2016.

[16]

Gurobi Optimization, I. Gurobi optimizer reference manual, version 6.0, 2014. retrieved 12-Jan-2015.

[17]

Hanzalek, Z., Burget, P., and Šucha, P. Profinet IO IRT message scheduling. In Proc. ECRTS (2009), IEEE.

Digital Library

[18]

Huang, J., Blech, J. O., Raabe, A., Buckl, C., and Knoll, A. Static scheduling of a time-triggered network-on-chip based on SMT solving. In Proc. DATE (2012), IEEE.

Digital Library

[19]

Institute of Electrical and Electronics Engineers, Inc. 802.1Qbv - Enhancements for Scheduled Traffic. http://www.ieee802.org/1/pages/802.1bv.html, 2016. Draft 3.1.

[20]

Institute of Electrical and Electronics Engineers, Inc. Time-Sensitive Networking Task Group. http://www.ieee802.org/1/pages/tsn.html, 2016. retrieved 06-Jul-2016.

[21]

Issuing Committee: As-2d2 Deterministic Ethernet And Unified Networking. SAE AS6802 Time-Triggered Ethernet. http://standards.sae.org/as6802/, 2011. retrieved 20-May-2014.

[22]

Kopetz, H., and Bauer, G. The time-triggered architecture. Proceedings of the IEEE 91, 1 (2003), 112--126.

[23]

Kopetz, H., and Grunsteidl, G. TTP - a time-triggered protocol for fault-tolerant real-time systems. In Proc. 23rd IEEE International Symposium on Fault-Tolerant Computing (FTCS-23) (June 1993), pp. 524--533.

[24]

Li, Y., Albarghouthi, A., Kincaid, Z., Gurfinkel, A., and Chechik, M. Symbolic optimization with SMT solvers. SIGPLAN Not. 49, 1 (Jan. 2014).

Digital Library

[25]

Meyer, P., Steinbach, T., Korf, F., and Schmidt, T. Extending IEEE 802.1 AVB with time-triggered scheduling: A simulation study of the coexistence of synchronous and asynchronous traffic. In Proc. VNC (2013), IEEE Computer Society.

[26]

Pop, P., Eles, P., and Peng, Z. Schedulability-driven communication synthesis for time triggered embedded systems. Real-Time Syst. 26, 3 (2004), 297--325.

Digital Library

[27]

Prytz, G. A performance analysis of EtherCAT and PROFINET IRT. In Proc. ETFA (2008), IEEE Computer Society.

[28]

Queck, R. Analysis of ethernet AVB for automotive networks using network calculus. In Proc. ICVES (2012), IEEE Computer Society.

[29]

Sebastiani, R. Lazy satisfiability modulo theories. JSAT 3, 3-4 (2007), 141--224.

[30]

Sebastiani, R., and Trentin, P. OptiMathSAT: A Tool for Optimization Modulo Theories. In Proc. CAV (2015), vol. 9206 of LNCS, Springer.

[31]

Specht, J., and Samii, S. Urgency-based scheduler for time-sensitive switched ethernet networks. In Proc. ECRTS (2016), IEEE Computer Society.

[32]

Steinbach, T., Lim, H.-T., Korf, F., Schmidt, T., Herrscher, D., and Wolisz, A. Tomorrow's in-car interconnect? a competitive evaluation of IEEE 802.1 AVB and Time-Triggered Ethernet (AS6802). In Proc. VTC (2012), IEEE Computer Society.

[33]

Steiner, W. An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks. In Proc. RTSS (2010), IEEE Computer Society.

Digital Library

[34]

Steiner, W., Bauer, G., Hall, B., and Paulitsch, M. TTEthernet: Time-Triggered Ethernet. In Time-Triggered Communication, R. Obermaisser, Ed. CRC Press, Aug 2011.

[35]

Steiner, W., and Dutertre, B. The TTEthernet synchronisation protocols and their formal verification. Int. J. Crit. Comput.-Based Syst. 4, 3 (2013).

Digital Library

[36]

Tamas-Selicean, D., Pop, P., and Steiner, W. Synthesis of communication schedules for TTEthernet-based mixed-criticality systems. In Proc. CODES+ISSS (2012), ACM.

Digital Library

[37]

Zeng, H., Zheng, W., Di Natale, M., Ghosal, A., Giusto, P., and Sangiovanni-Vincentelli, A. Scheduling the flexray bus using optimization techniques. In Proc. DAC (2009), ACM.

Digital Library

Cited By

Li ZYang JGuo CXiao JTao TLi C(2024)A Joint Scheduling Scheme for WiFi Access TSNSensors10.3390/s2408255424:8(2554)Online publication date: 16-Apr-2024
https://doi.org/10.3390/s24082554
Guo MShou GLiu YHu Y(2024)Software-Defined Time-Sensitive Networking for Cross-Domain Deterministic TransmissionElectronics10.3390/electronics1307124613:7(1246)Online publication date: 27-Mar-2024
https://doi.org/10.3390/electronics13071246
Christodoulopoulos KBidkar SLautenschlaeger WPfeiffer TBonk R(2024)Deterministic passive optical networkingJournal of Optical Communications and Networking10.1364/JOCN.50222716:2(180)Online publication date: 29-Jan-2024
https://doi.org/10.1364/JOCN.502227
Show More Cited By

Recommendations

Real-Time Communication in IEEE 802.11 Networks: Timing Analysis and a Ring Management Scheme for the VTP-CSMA Architecture
LCN '07: Proceedings of the 32nd IEEE Conference on Local Computer Networks

Keeping up with the timing constraints of real-time traffic in wireless environments is a hard task. One of the reasons is that the real-time stations have to share the same communication medium with stations that are out of the sphere-ofcontrol of the ...
Read More
Real-time communication in FieldBus multiaccess networks
RTAS '95: Proceedings of the Real-Time Technology and Applications Symposium

There has been an increasing need of timely and predictable communication services for embedded real-time systems in automated factories and industrial process controls. Work has been done on real-time communication with deadline guarantees in point-to-...
Read More
Deferring Real-Time Traffic for Improved Non-Real-Time Communication in FDDI Networks

The fiber distributed data interface (FDDI) is suitable for real-time communication because of the high speed and the performance guarantees it provides. However, these guarantees are achieved at the expense of non-real-time traffic because the real-...
Read More

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

RTNS '16: Proceedings of the 24th International Conference on Real-Time Networks and Systems

October 2016

353 pages

ISBN:9781450347877

DOI:10.1145/2997465

General Chairs:
Alain Plantec
Université de Bretagne Occidentale/Lab-STICC, France
,
Frank Singhoff
Université de Bretagne Occidentale/Lab-STICC, France
,
Program Chairs:
Sébastien Faucou
Université de Nantes, France
,
Luis Miguel Pinho
School of Engineering, Polytechnic of Porto, Portugal

Copyright © 2016 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

REGIONB: Region Bretagne

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 October 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Research
Refereed limited

Funding Sources

Horizon 2020

Conference

RTNS '16

RTNS '16: 24th International Conference on Real-Time Networks and Systems

October 19 - 21, 2016

Brest, France

Acceptance Rates

RTNS '16 Paper Acceptance Rate 34 of 75 submissions, 45%;

Overall Acceptance Rate 119 of 255 submissions, 47%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

259
Total Citations
View Citations
3,244
Total Downloads

Downloads (Last 12 months)554
Downloads (Last 6 weeks)57

Other Metrics

View Author Metrics

Citations

Cited By

Li ZYang JGuo CXiao JTao TLi C(2024)A Joint Scheduling Scheme for WiFi Access TSNSensors10.3390/s2408255424:8(2554)Online publication date: 16-Apr-2024
https://doi.org/10.3390/s24082554
Guo MShou GLiu YHu Y(2024)Software-Defined Time-Sensitive Networking for Cross-Domain Deterministic TransmissionElectronics10.3390/electronics1307124613:7(1246)Online publication date: 27-Mar-2024
https://doi.org/10.3390/electronics13071246
Christodoulopoulos KBidkar SLautenschlaeger WPfeiffer TBonk R(2024)Deterministic passive optical networkingJournal of Optical Communications and Networking10.1364/JOCN.50222716:2(180)Online publication date: 29-Jan-2024
https://doi.org/10.1364/JOCN.502227
Deng LZeng GKurachi RTakada HXiao XLi RXie G(2024)Enhanced Real-time Scheduling of AVB Flows in Time-Sensitive NetworkingACM Transactions on Design Automation of Electronic Systems10.1145/363787829:2(1-26)Online publication date: 15-Feb-2024
https://dl.acm.org/doi/10.1145/3637878
Li YDong YWang JShim B(2024)On-Time Communications Over Fading ChannelsIEEE Transactions on Vehicular Technology10.1109/TVT.2023.330357073:1(605-619)Online publication date: Jan-2024
https://doi.org/10.1109/TVT.2023.3303570
Xue JShou GLiu YHu Y(2024)Scheduling Time-Critical Traffic With Virtual Queues in Software-Defined Time-Sensitive NetworkingIEEE Transactions on Network and Service Management10.1109/TNSM.2023.328763421:1(967-978)Online publication date: Feb-2024
https://doi.org/10.1109/TNSM.2023.3287634
Nie TYao HWang ZGuo JWang XMai TWu DGuo S(2024)Hierarchical Scheduling Mechanism Based on Relaxed Constraints for Complex Industrial ScenesIEEE Transactions on Network Science and Engineering10.1109/TNSE.2024.336691711:3(3237-3249)Online publication date: May-2024
https://doi.org/10.1109/TNSE.2024.3366917
Guidolin--Pina DBoyer MLe Boudec J(2024)Configuration of Guard Band and Offsets in Cyclic Queuing and ForwardingIEEE/ACM Transactions on Networking10.1109/TNET.2023.329305032:1(598-612)Online publication date: 1-Feb-2024
https://dl.acm.org/doi/10.1109/TNET.2023.3293050
Peng YWang CWen WWen SXiong X(2024)An Online Scheduling Framework for Multiple TBD Flows in Intelligent Transportation SystemsIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2023.331293625:1(1054-1068)Online publication date: Jan-2024
https://doi.org/10.1109/TITS.2023.3312936
Xu LXu QChen CZhang YWang SGuan X(2024)Efficient Task-Network Scheduling With Task Conflict Metric in Time-Sensitive NetworkingIEEE Transactions on Industrial Informatics10.1109/TII.2023.327888320:2(1528-1538)Online publication date: Feb-2024
https://doi.org/10.1109/TII.2023.3278883
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents