Future work

In its current state, the TSN-configuration tool will not assist the user in creating viable schedules.

The user has to consider a lot of information about the network properties and schedule accord-ingly. However, most of these properties are already available inside the TSN-configuration tool.

Automating the planning of schedules would be very useful when working with TSN networks and could be achieved using some form of SMT solver. Furthermore, the tool currently offers a simple way to extract the simulation results for TSN specific statistics. However, this could be possible to automatically analyze these results and provide useful feedback to the user. This feedback could indicate when time-triggered traffic spends a significant amount of time in a queue or suggest changes to improve latency. This could be an opportunity for future work.

Acknowledgements

I am very grateful to my supervisors Bahar Houtan and Mohammad Ashjaei for their guidance, assistance and encouragement throughout this thesis. A special mention to David Hellmanns, Frank D¨urr, Jonathan Falk and Adriaan Nieß at the University of Stuttgart, for taking time to answer my questions about the NeSTiNg framework and presenting information about their internal development for NeSTiNg.

References

[1] F. D¨urr and N. G. Nayak, “No-wait packet scheduling for IEEE time-sensitive networks (TSN),” ACM International Conference Proceeding Series, vol. 19-21-Octo, pp. 203–212, 2016.

[2] S. Corrigan, “Controller Area Network Physical Layer Requirements,” Texas Instruments Application Report , SLLA270-January, pp. 1–15, 2008.

[3] J. D. Decotignie, “Ethernet-based real-time and industrial communications,” Proceedings of the IEEE, vol. 93, no. 6, pp. 1102–1117, 2005.

[4] J. Falk, D. Hellmanns, B. Carabelli, N. Nayak, F. Durr, S. Kehrer, and K. Rothermel, “NeST-iNg: Simulating IEEE Time-sensitive Networking (TSN) in OMNeT++,” Proceedings of the 2019 International Conference on Networked Systems, NetSys 2019, no. February, 2019.

[5] “OMNeT++ discrete event simulator,”https://omnetpp.org/.

[6] J. Jiang, Y. Li, S. H. Hong, A. Xu, and K. Wang, “A time-sensitive networking (TSN) simulation model based on OMNET++,” Proceedings of 2018 IEEE International Conference on Mechatronics and Automation, ICMA 2018, pp. 643–648, 2018.

[7] C. D. Carothers, D. Bauer, and S. Pearce, “Ross: A high-performance, low-memory, modular time warp system,” Journal of Parallel and Distributed Computing, vol. 62, no. 11, pp. 1648 – 1669, 2002.

[8] A. Sobeih, J. Hou, L.-c. Kung, N. Li, H. Zhang, W.-P. Chen, H.-Y. Tyan, and H. Lim, “J-sim:

A simulation and emulation environment for wireless sensor networks,” Wireless Communi-cations, IEEE, vol. 13, pp. 104 – 119, 09 2006.

[9] B. Acun, N. Jain, A. Bhatele, M. Mubarak, C. D. Carothers, and L. V. Kale, “Preliminary evaluation of a parallel trace replay tool for hpc network simulations,” in Euro-Par 2015:

Parallel Processing Workshops, S. Hunold, A. Costan, D. Gim´enez, A. Iosup, L. Ricci, M. E.

G´omez Requena, V. Scarano, A. L. Varbanescu, S. L. Scott, S. Lankes, J. Weidendorfer, and M. Alexander, Eds. Cham: Springer International Publishing, 2015, pp. 417–429.

[10] K. G. Shin and P. Ramanathan, “Real-Time Computing: A New Discipline of Computer Science and Engineering,” Proceedings of the IEEE, vol. 82, no. 1, pp. 6–24, 1994.

[11] Z. Ullah, “Use of Ethernet Technology in Computer Network Use of Ethernet Technology in Computer Network Use of Ethernet Technology in Computer Network,” Type: Double Blind Peer Reviewed International Research Journal Publisher: Global Journals Inc, vol. 12, no. 14, pp. 1–4, 2012.

[12] R. M. Metcalfe and D. R. Boggs, “Ethernet: Distributed Packet Switching for Local Computer Networks,” Commun. ACM, vol. 19, no. 7, pp. 395–404, 1976.

[13] P. Winzer, “Beyond 100G ethernet,” IEEE Communications Magazine, vol. 48, no. 7, pp.

26–30, 2010.

[14] “IEEE Standard for Ethernet - Amendment 10: Media Access Control Parameters, Physical Layers, and Management Parameters for 200 Gb/s and 400 Gb/s Operation,” IEEE Std 802.3bs-2017 (Amendment to IEEE 802.3-2015 as amended by IEEE’s 802.3bw-2015, 802.3by-2016, 802.3bq-802.3by-2016, 802.3bp-802.3by-2016, 802.3br-802.3by-2016, 802.3bn-802.3by-2016, 802.3bz-802.3by-2016, 802.3bu-802.3by-2016, 802.3bv-2017, and IEEE 802.3-2015/Cor1-2017), pp. 1–372, dec 2017.

[15] K. C. Lee and S. Lee, “Performance evaluation of switched Ethernet for real-time industrial communications,” Computer Standards & Interfaces, vol. 24, no. 5, pp. 411–423, nov 2002.

[16] P. Danielis, J. Skodzik, V. Altmann, E. B. Schweissguth, F. Golatowski, D. Timmermann, and J. Schacht, “Survey on real-time communication via ethernet in industrial automation environments,” 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014, pp. 1–8, 2014.

[17] N. Finn, “Introduction to Time-Sensitive Networking,” IEEE Communications Standards Magazine, vol. 2, no. 2, pp. 22–28, 2018.

[18] IEEE, “IEEE Standard for Local and metropolitan area networks–Bridges and Bridged Net-works,” IEEE Std 802.1Q-2014 (Revision of IEEE Std 802.1Q-2011), vol. 2014, pp. 1–1832, dec 2014.

[19] W. Jia, G. Liu, and Y. Chen, “Performance evaluation of ieee 802.1qbu: Experimental and simulation results,” in 38th Annual IEEE Conference on Local Computer Networks, 2013, pp.

659–662.

[20] A. C. T. Santos, B. Schneider, and V. Nigam, “TSNSCHED: Automated schedule generation for time sensitive networking,” Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019, pp. 69–77, 2019.

[21] L. De Moura and N. Bjørner, “Z3: An efficient SMT Solver,” in Lecture Notes in Com-puter Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), C. R. Ramakrishnan and J. Rehof, Eds., vol. 4963 LNCS. Berlin, Hei-delberg: Springer Berlin Heidelberg, 2008, pp. 337–340.

[22] S. S. Craciunas, R. Serna, O. Martin, and C. W. Steiner, “Scheduling real-time communication in IEEE 802.1Qbv time sensitive networks,” ACM International Conference Proceeding Series, vol. 19-21-October-2016, pp. 183–192, 2016.

[23] E. ´Abrah´am and G. Kremer, “Satisfiability Checking: Theory and Applications,” in Soft-ware Engineering and Formal Methods, R. De Nicola and E. K¨uhn, Eds. Cham: Springer International Publishing, 2016, pp. 9–23.

[24] N. Bjorner and L. D. Moura, “Satisfiability Modulo Theories: Introduction and Applications,”

Communications of the ACM, pp. 69–77, 2011.

[25] W. Steiner, “An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks,” in Proceedings - Real-Time Systems Symposium, 2010, pp. 375–384.

[26] Y. Li, A. Albarghouthi, Z. Kincaid, A. Gurfinkel, and M. Chechik, “Symbolic optimization with smt solvers,” in Conference Record of the Annual ACM Symposium on Principles of Programming Languages, vol. 49, 01 2014, pp. 607–618.

[27] R. Serna Oliver, S. S. Craciunas, and W. Steiner, “IEEE 802.1Qbv gate control list synthesis using array theory encoding,” Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, pp. 13–24, 2018.

[28] M. H. Farzaneh, S. Kugele, and A. Knoll, “A graphical modeling tool supporting automated schedule synthesis for time-sensitive networking,” IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, pp. 1–8, 2017.

[29] M. H. Farzaneh, S. Shafaei, and A. Knoll, “Formally verifiable modeling of in-vehicle time-sensitive networks (TSN) based on logic programming,” IEEE Vehicular Networking Confer-ence, VNC, pp. 1–4, 2016.

[30] J. Jiang, Y. Li, S. H. Hong, M. Yu, A. Xu, and M. Wei, “A Simulation Model for Time-sensitive Networking (TSN) with Experimental Validation,” IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, vol. 2019-September, pp. 153–160, 2019.

[31] J. F. Nunamaker, M. Chen, and T. D. Purdin, “Systems development in information systems research,” Journal of Management Information Systems, vol. 7, no. 3, pp. 89–106, 1990.

[32] H.-T. Lim, K. Weckemann, and D. Herrscher, “Performance Study of an In-Car Switched Ethernet Network without Prioritization,” in Communication Technologies for Vehicles, T. Strang, A. Festag, A. Vinel, R. Mehmood, C. Rico Garcia, and M. R¨ockl, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011, pp. 165–175.

[33] M. Ashjaei, G. Patti, M. Behnam, T. Nolte, G. Alderisi, and L. L. Bello, “Schedulability analysis of ethernet audio video bridging networks with scheduled traffic support,” Real-Time Systems, vol. 54, pp. 1–10, January 2017.

[34] M. Ashjaei, S. Mubeen, J. Lundb¨ack, M. G˚alnander, K. Lundb¨ack, and T. Nolte, “Modeling and timing analysis of vehicle functions distributed over switched ethernet,” in 43rd Annual Conference of the IEEE Industrial Electronics Society, 2017, pp. 8419–8424.

[35] S. Mubeen, M. Ashjaei, and M. Sj¨odin, “Holistic modeling of time sensitive networking in component-based vehicular embedded systems,” in 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2019, pp. 131–139.

A Installation guidelines

This section provided instruction on how to install OMNeT++, NeSTiNg and the TSN configura-tion plug-in. The instrucconfigura-tions given here use OMNeT++ version 5.4.1 as this was the version used during the TSN-configuration plug-in tool implementation. However, the tool and instructions given in this section should still work on more recent versions of OMNeT++ and NeSTiNg. Linux (Ubuntu version 16.04) was the operating system used for this work.

1.1 OMNeT++

In the case you are installing OMNeT++ on a Linux distributing or macOS, you will also need to install additional packages described in the user manual¹⁴. Otherwise, do the following steps:

1. Download the 5.4.1 version of OMNeT++¹⁵.

2. Extract the omnetpp-5.4.1 folder where you want to install it.

3. Open a bash prompt and navigate to the folder.

4. type ”. setenv” in the terminal.

5. type ”./configure” in the terminal.

6. type ”make” in the terminal.

7. If everything was correctly installed, type ”omnetpp” into the terminal to start OMNeT++.

8. Close the welcome screen and go to the workbench. You will be prompted to make a folder for the workbench. Then, continue with making a new folder.

9. After creating a folder for the workbench, you should be prompted to install INET along with an example project, deselect both.

Done, you should now have OMNeT++ installed with an empty workspace.