Çankaya GCRIS Standart veritabanının içerik oluşturulması ve kurulumu Research Ecosystems (https://www.researchecosystems.com) tarafından devam etmektedir. Bu süreçte gördüğünüz verilerde eksikler olabilir.

Browsing by Author "Kartal, Y.B."

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Conference Object
    Citation - Scopus: 0
    The verification of a novel framework for real-time shared medium communication network protocols
    (2012) Kartal, Y.B.; Schmidt, E.G.; Schmidt, K.W.
    The 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.