The Verification of a Novel Framework for Real-Time Shared Medium Communication Network Protocols
| dc.contributor.author | Kartal, Y.B. | |
| dc.contributor.author | Schmidt, E.G. | |
| dc.contributor.author | Schmidt, K.W. | |
| dc.contributor.other | 06.08. Mekatronik Mühendisliği | |
| dc.contributor.other | 06. Mühendislik Fakültesi | |
| dc.contributor.other | 01. Çankaya Üniversitesi | |
| dc.date.accessioned | 2023-02-09T08:25:13Z | |
| dc.date.accessioned | 2025-09-18T13:27:10Z | |
| dc.date.available | 2023-02-09T08:25:13Z | |
| dc.date.available | 2025-09-18T13:27:10Z | |
| dc.date.issued | 2012 | |
| 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. © 2012 IEEE. | en_US |
| 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. | en_US |
| dc.identifier.doi | 10.1109/SIU.2012.6204581 | |
| dc.identifier.isbn | 9781467300568 | |
| dc.identifier.scopus | 2-s2.0-84863453857 | |
| dc.identifier.uri | https://doi.org/10.1109/SIU.2012.6204581 | |
| dc.identifier.uri | https://hdl.handle.net/123456789/12851 | |
| dc.language.iso | tr | en_US |
| dc.relation.ispartof | 2012 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 -- 90786 | en_US |
| dc.rights | info:eu-repo/semantics/closedAccess | en_US |
| dc.title | The Verification of a Novel Framework for Real-Time Shared Medium Communication Network Protocols | en_US |
| dc.title | The verification of a novel framework for real-time shared medium communication network protocols | tr_TR |
| dc.type | Conference Object | en_US |
| dspace.entity.type | Publication | |
| gdc.author.institutional | Schmıdt, Klaus Werner | |
| gdc.author.scopusid | 57211691392 | |
| gdc.author.scopusid | 56212013600 | |
| gdc.author.scopusid | 55464613900 | |
| gdc.description.department | Çankaya University | en_US |
| gdc.description.departmenttemp | Kartal 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, Turkey | en_US |
| gdc.description.publicationcategory | Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı | en_US |
| gdc.identifier.openalex | W1967585190 | |
| gdc.openalex.fwci | 0.0 | |
| gdc.openalex.normalizedpercentile | 0.05 | |
| gdc.opencitations.count | 0 | |
| gdc.plumx.mendeley | 1 | |
| gdc.plumx.scopuscites | 0 | |
| gdc.scopus.citedcount | 0 | |
| relation.isAuthorOfPublication | ec56c293-1f64-49af-b5ae-5ae41cb32f1b | |
| relation.isAuthorOfPublication.latestForDiscovery | ec56c293-1f64-49af-b5ae-5ae41cb32f1b | |
| relation.isOrgUnitOfPublication | 5b0b2c59-0735-4593-b820-ff3847d58827 | |
| relation.isOrgUnitOfPublication | 43797d4e-4177-4b74-bd9b-38623b8aeefa | |
| relation.isOrgUnitOfPublication | 0b9123e4-4136-493b-9ffd-be856af2cdb1 | |
| relation.isOrgUnitOfPublication.latestForDiscovery | 5b0b2c59-0735-4593-b820-ff3847d58827 |