Bilgilendirme: Sürüm Güncellemesi ve versiyon yükseltmesi nedeniyle, geçici süreyle zaman zaman kesintiler yaşanabilir ve veri içeriğinde değişkenlikler gözlemlenebilir. Göstereceğiniz anlayış için teşekkür ederiz.

Browsing by Author "Kartal, Y.B."

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Conference Object
    The Verification of a Novel Framework for Real-Time Shared Medium Communication Network Protocols
    (2012) Kartal, Y.B.; Schmidt, E.G.; Schmidt, K.W.; 06.08. Mekatronik Mühendisliği; 06. Mühendislik Fakültesi; 01. Çankaya Üniversitesi
    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.