Abstract
This article describes the real time imitation model of Time-Triggered Ethernet. The model allows us to analyze the algorithm of functioning of a main parts system (synchronization of a global time block, the communication channel, the switch, the client). The model is created using mathematical modeling language hierarchical time colored Petri net and CPN Tools package. The authors propose verification rules for describing the fullness of the work of Time-Triggered Ethernet.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer, Heidelberg (2011)
Kopetz, H., Bauer, G.: The time-triggered architecture. In: Proceedings of the IEEE, pp. 112–126 (2003)
Kopetz, H., Ademaj, A., Grillinger, P., Steinhammer, K.: The time-triggered Ethernet (TTE) design. In: Proceedings of 8th IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC), Seattle, Washington, D.C., May 2005
Grillinger, P., Ademaj, A., Steinhammer, K., Kopetz, H.: Software implementation of a time-triggered Ethernet controller. In: Proceedings of IEEE International Workshop on Factory Communication Systems (2006)
Steinhammer, K., Grillinger, P., Ademaj, A., Kopetz, H.: A time-triggered Ethernet (TTE) switch. In: Design, Automation and Test in Europe (2006)
Zhang, Z., Koutsoukos, X.: Modeling time-triggered Ethernet in systemC/TLM for virtual prototyping of cyber-physical systems. In: Schirner, G., Götz, M., Rettberg, A., Zanella, M.C., Rammig, F.J. (eds.) IESS 2013. IFIP AICT, vol. 403, pp. 318–330. Springer, Heidelberg (2013)
Brau, G., Pagetti, C.: TTEthernet-based architecture simulation with Ptolemy II. In: 6th Junior Researcher Workshop on Real-Time Computing, France, pp. 29–32 (2012)
Steinhammer, K., Ademaj, A.: Hardware implementation of the time-triggered Ethernet controller. In: Rettberg, A., Zanella, M.C., Dömer, R., Gerstlauer, A., Rammig, F.J. (eds.) Embedded System Design: Topics, Techniques and Trends. IFIP, vol. 231, pp. 325–338. Springer, New York (2007)
Zhang, Z., Eyisi, E., Koutsoukos, X., Porter, J., Karsai, G., Sztipanovits, J.: A co-simulation framework for design of time-triggered automotive cyber physical systems. In: Simulation Modelling Practice and Theory, vol. 43, pp. 16–33 (2014)
Nikishin, K.: The perspective of using the technology of Time-Triggered Ethernet. Actual Directions of Scientific Researches of the XXI Century: Theory and Practice. vol. 3, no. 8–1(19–1), pp. 90–92 (2015). Voronezh, 442 pages
Jensen, K., Kristensen, L.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)
Kizilov, E., Konnov, N., Nikishin, K., Pashchenko, D., Trokoz, D.: Scheduling queues in the Ethernet switch, considering the waiting time of frames/MATEC Web of Conferences, vol. 44, Pages 01011-p.1-01011-p (2016)
Kizilov, E., Konnov, N., Pashchenko, D., Trokoz, D.: Modeling of QoS in the industrial Ethernet switches. In: 2015 The 5th International Workshop on Computer Science and Engineering-Information Processing and Control Engineering (WCSE 2015-IPCE), Moscow, Russia, 15–17 April 2015, pp. 185–190 (2015)
Domnin, A., Konnov, N., Mekhanov, V.: Modeling EMA and MA algorithms to estimate the bitrate of data streams in packet switched networks. In: Dudin, A., Nazarov, A., Yakupov, R., Gortsev, A. (eds.) ITMM 2014. CCIS, vol. 487, pp. 91–100. Springer, Heidelberg (2014)
Ammar, M., Ouchani, S., Ait Mohamed, O.: Symmetry reduction of time-triggered Ethernet protocol. Procedia Computer Science 19, 273–280 (2013)
Acknowledgements
This article was written as part of the Federal Targeted Programme “Research and development in priority areas of elaboration of the science and technology complex of Russia for 2014–2020” (agreement of 06.19.2014 14.574.21.0045 UIN: RFMEFI57414X0045).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Nikishin, K., Konnov, N., Pashchenko, D. (2016). Modelling of Systems Using a Time-Triggered Ethernet. In: Dudin, A., Gortsev, A., Nazarov, A., Yakupov, R. (eds) Information Technologies and Mathematical Modelling - Queueing Theory and Applications. ITMM 2016. Communications in Computer and Information Science, vol 638. Springer, Cham. https://doi.org/10.1007/978-3-319-44615-8_27
Download citation
DOI: https://doi.org/10.1007/978-3-319-44615-8_27
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-44614-1
Online ISBN: 978-3-319-44615-8
eBook Packages: Computer ScienceComputer Science (R0)