Ç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.
 

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

Simple item page
dc.authorscopusid57211691392
dc.authorscopusid56212013600
dc.authorscopusid55464613900
dc.contributor.authorKartal, Y.B.
dc.contributor.authorSchmidt, E.G.
dc.contributor.authorSchmidt, K.W.
dc.date.accessioned2023-02-09T08:25:13Z
dc.date.available2023-02-09T08:25:13Z
dc.date.issued2012
dc.departmentÇankaya Universityen_US
dc.department-tempKartal Y.B., REHIS Grup Baskanligi Radar Sistem Muhendisligi Mudurlugu, Aselsan, Ankara, Turkey; Schmidt E.G., Elektrik Elektronik Mühendisliǧi Bölümü, Orta Doǧu Teknik Üniversitesi, Ankara, Turkey; Schmidt K.W., Mekatronik Mühendisliǧi Bölümü, Çankaya Üniversitesi, Ankara, Turkeyen_US
dc.description.abstractThe 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.en_US
dc.identifier.citationKartal, 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.en_US
dc.identifier.doi10.1109/SIU.2012.6204581
dc.identifier.isbn9781467300568
dc.identifier.scopus2-s2.0-84863453857
dc.identifier.scopusqualityN/A
dc.identifier.urihttps://doi.org/10.1109/SIU.2012.6204581
dc.identifier.wosqualityN/A
dc.language.isotren_US
dc.relation.ispartof2012 20th Signal Processing and Communications Applications Conference, SIU 2012, Proceedings -- 2012 20th Signal Processing and Communications Applications Conference, SIU 2012 -- 18 April 2012 through 20 April 2012 -- Fethiye, Mugla -- 90786en_US
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.scopus.citedbyCount0
dc.titleThe verification of a novel framework for real-time shared medium communication network protocolstr_TR
dc.titleThe Verification of a Novel Framework for Real-Time Shared Medium Communication Network Protocolsen_US
dc.typeConference Objecten_US
dspace.entity.typePublication

Files

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Scopus İndeksli Yayınlar Koleksiyonu
Mekatronik Mühendisliği Bölümü Yayın Koleksiyonu