DSpace@Çankaya

The verification of a novel framework for real-time shared medium communication network protocols

Basit öğe kaydını göster

dc.contributor.author Kartal, Yusuf Bora
dc.contributor.author Schmidt, Ece Güran
dc.contributor.author Schmidt, Klaus Werner
dc.date.accessioned 2023-02-09T08:25:13Z
dc.date.available 2023-02-09T08:25:13Z
dc.date.issued 2012
dc.identifier.citation Kartal, 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. tr_TR
dc.identifier.isbn 9781467300568
dc.identifier.uri http://hdl.handle.net/20.500.12416/6163
dc.description.abstract 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. tr_TR
dc.language.iso eng tr_TR
dc.relation.isversionof 10.1109/SIU.2012.6204581 tr_TR
dc.rights info:eu-repo/semantics/closedAccess tr_TR
dc.title The verification of a novel framework for real-time shared medium communication network protocols tr_TR
dc.title.alternative Paylaşımlı ethernet üzeri̇nde çalışan özgün bi̇r gerçek-zamanlı haberleşme protokolü i̇şçerçevesi̇ni̇n doǧrulanması tr_TR
dc.type conferenceObject tr_TR
dc.relation.journal 2012 20th Signal Processing and Communications Applications Conference, SIU 2012, Proceedings tr_TR
dc.contributor.department Çankaya Üniversitesi, Mühendislik Fakültesi, Mekatronik Mühendisliği Bölümü tr_TR


Bu öğenin dosyaları:

Dosyalar Boyut Biçim Göster

Bu öğe ile ilişkili dosya yok.

Bu öğe aşağıdaki koleksiyon(lar)da görünmektedir.

Basit öğe kaydını göster