The verification of a novel framework for real-time shared medium communication network protocols
| dc.authorscopusid | 57211691392 | |
| dc.authorscopusid | 56212013600 | |
| dc.authorscopusid | 55464613900 | |
| dc.contributor.author | Kartal, Y.B. | |
| dc.contributor.author | Schmidt, E.G. | |
| dc.contributor.author | Schmidt, K.W. | |
| dc.contributor.other | Mekatronik Mühendisliği | |
| dc.date.accessioned | 2023-02-09T08:25:13Z | |
| dc.date.available | 2023-02-09T08:25:13Z | |
| dc.date.issued | 2012 | |
| dc.department | Çankaya University | en_US |
| dc.department-temp | 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 |
| 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.scopusquality | N/A | |
| dc.identifier.uri | https://doi.org/10.1109/SIU.2012.6204581 | |
| dc.identifier.wosquality | N/A | |
| dc.institutionauthor | Schmıdt, Klaus Werner | |
| 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.relation.publicationcategory | Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı | en_US |
| dc.rights | info:eu-repo/semantics/closedAccess | en_US |
| dc.scopus.citedbyCount | 0 | |
| dc.title | The verification of a novel framework for real-time shared medium communication network protocols | tr_TR |
| dc.title | The Verification of a Novel Framework for Real-Time Shared Medium Communication Network Protocols | en_US |
| dc.type | Conference Object | en_US |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | ec56c293-1f64-49af-b5ae-5ae41cb32f1b | |
| relation.isAuthorOfPublication.latestForDiscovery | ec56c293-1f64-49af-b5ae-5ae41cb32f1b | |
| relation.isOrgUnitOfPublication | 5b0b2c59-0735-4593-b820-ff3847d58827 | |
| relation.isOrgUnitOfPublication.latestForDiscovery | 5b0b2c59-0735-4593-b820-ff3847d58827 |
Files
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: