Kartal, Y.B.Schmidt, E.G.Schmidt, K.W.2023-02-092023-02-092012Kartal, Yusuf Bora; Schmidt, Ece Güran; Schmidt, Klaus Werner (2012). "The verification of a novel framework for real-time shared medium communication network protocols", 2012 20th Signal Processing and Communications Applications Conference, SIU 2012, Proceedings.9781467300568https://doi.org/10.1109/SIU.2012.6204581The subject of this work is the real-time communication of the distributed industrial control applications over shared-medium Ethernet. We developed a framework for the real-time communication protocols over shared-medium Ethernet in our previous work. The framework is designed using the Timed Input/Output Automata formalism to serve the changing real-time communication needs of the embedded control applications. In this paper we present the modeling, simulation and formal verification process of the proposed framework using UPPAAL toolbox. © 2012 IEEE.trinfo:eu-repo/semantics/closedAccessConference Object10.1109/SIU.2012.62045812-s2.0-84863453857N/AN/A