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.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/20.500.12416/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.scopusid | 57211691392 | |
| gdc.author.scopusid | 56212013600 | |
| gdc.author.scopusid | 55464613900 | |
| gdc.bip.impulseclass | C5 | |
| gdc.bip.influenceclass | C5 | |
| gdc.bip.popularityclass | C5 | |
| gdc.coar.access | metadata only access | |
| gdc.coar.type | text::conference output | |
| gdc.collaboration.industrial | true | |
| 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.endpage | 4 | |
| gdc.description.publicationcategory | Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı | en_US |
| gdc.description.startpage | 1 | |
| gdc.identifier.openalex | W1967585190 | |
| gdc.index.type | Scopus | |
| gdc.oaire.diamondjournal | false | |
| gdc.oaire.impulse | 0.0 | |
| gdc.oaire.influence | 2.4895952E-9 | |
| gdc.oaire.isgreen | false | |
| gdc.oaire.popularity | 5.260503E-10 | |
| gdc.oaire.publicfunded | false | |
| gdc.oaire.sciencefields | 0202 electrical engineering, electronic engineering, information engineering | |
| gdc.oaire.sciencefields | 02 engineering and technology | |
| gdc.openalex.collaboration | National | |
| 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 | |
| gdc.virtual.author | Schmıdt, Klaus Werner | |
| 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 |