Scheduling real-time communication in IEEE 802.1Qbv time sensitive networks

ACM International Conference Proceeding Series

Volumn 19-21-October-2016, Issue , 2016, Pages 183-192

  Craciunas, Silviu S ^a   Serna, Ramon ^a   Martin, Oliver ^a   Steiner, Chmelík Wilfried ^a  

^a TTTech North America   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ECONOMIC AND SOCIAL EFFECTS;

COMPUTATION TIME; END TO END LATENCIES; FUNCTIONAL PARAMETERS; IEEE 802.1; NETWORK CONFIGURATION; REAL-TIME COMMUNICATION; SYNTHETIC NETWORKS; TASK GROUPS;

REAL TIME SYSTEMS;

EID: 84997078987     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2997465.2997470     Document Type: Conference Paper

References (37)

1. Abraham, E., and Kremer, G. Satisability checking: The-ory 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 trac over IEEE audio video bridging networks. In Proc. ETFA (2013), IEEE Computer Society.
3. Barrett, C., Sebastiani, R., Seshia, S., and Tinelli, C. Satisability modulo theories. In Handbook of Satisability, 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. Bjrner, N., Phan, A., and Fleckenstein, L. z-An optimizing SMT solver. In Proc. TACAS (2015), Springer.
6. Bordoloi, U. D., Aminifar, A., Eles, P., and Peng, Z. Schedulability analysis of ethernet avb switches. In Proc. RTCSA (2014), IEEE Computer Society.
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.
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.
9. De Azua, J. A. R., and Boyer, M. Complete modelling of AVB in network calculus framework. In Proc. RTNS (2014), ACM.
10. De Moura, L., and Bjrner, N. Z3: An ecient SMT solver. In Proc. TACAS (2008), Springer-Verlag.
11. De Moura, L., and Bjrner, N. Satisability modulo the-ories: Introduction and applications. Commun. ACM 54, 9 (2011), 69-77.
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 So-ciety.
13. Dutertre, B. Yices 2.2. In Proc. CAV (2014), vol. 8559 of Lecture Notes in Computer Science, Springer, pp. 737-744.
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 man-ual, version 6.0, 2014. retrieved 12-Jan-2015.
17. Hanzalek, Z., Burget, P., and Sucha, P. Pronet IO IRT message scheduling. In Proc. ECRTS (2009), IEEE.
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.
19. Institute of Electrical and Electronics Engineers, Inc. 802.1Qbv-Enhancements for Scheduled Trac. 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 architec-Ture. 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 Comput-ing (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).
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 trac. In Proc. VNC (2013), IEEE Computer Society.
26. Pop, P., Eles, P., and Peng, Z. Schedulability-driven com-munication synthesis for time triggered embedded systems. Real-Time Syst. 26, 3 (2004), 297-325.
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 net-works using network calculus. In Proc. ICVES (2012), IEEE Computer Society.
29. Sebastiani, R. Lazy satisability 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 inter-connect? 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 synthe-sis for time-Triggered multi-hop networks. In Proc. RTSS (2010), IEEE Computer Society.
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 synchro-nisation protocols and their formal verication. Int. J. Crit. Comput.-Based Syst. 4, 3 (2013).
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.
37. Zeng, H., Zheng, W., Di Natale, M., Ghosal, A., Giusto, P., and Sangiovanni-Vincentelli, A. Schedul-ing the exray bus using optimization techniques. In Proc. DAC (2009), ACM.