Modeling Distributed Real-Time Systems in Tioa and Uppaal
| dc.contributor.author | Kartal, Yusuf Bora | |
| dc.contributor.author | Schmidt, Ece Guran | |
| dc.contributor.author | Schmidt, Klaus Werner | |
| dc.contributor.authorID | 17337 | tr_TR |
| 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 | 2017-06-07T08:09:22Z | |
| dc.date.accessioned | 2025-09-18T15:43:36Z | |
| dc.date.available | 2017-06-07T08:09:22Z | |
| dc.date.available | 2025-09-18T15:43:36Z | |
| dc.date.issued | 2016 | |
| dc.description | Schmidt, Ece Guran/0000-0002-4062-389X | en_US |
| dc.description.abstract | The mission- and life-critical properties of distributed real-time systems require concurrent modeling, analysis, and formal verification in the design stage. The timed input/output automata (TIOA) framework and the UPPAAL software package are two widely used modeling and verification tools for this purpose. To this end, we develop the algorithm TUConvert for converting distributed TIOA models to UPPAAL behavioral models and formally prove its correctness. We demonstrate the applicability of our algorithm by the formal verification of a distributed real-time industrial communication protocol that is modeled by TIOA. | en_US |
| dc.description.publishedMonth | 11 | |
| dc.description.sponsorship | Scientific and Technological Research Council of Turkey (TUBITAK) [Career Award] [109E261] | en_US |
| dc.description.sponsorship | This work was supported by the Scientific and Technological Research Council of Turkey (TUBITAK) [Career Award 109E261]. | en_US |
| dc.identifier.citation | Kartal, Y.B., Schmidt, E.G., Schmidt, K.W. (2016). Modeling distributed real-time systems in TIOA and UPPAAL. ACM Transactions On Embedded Computing Systems, 16(1). http://dx.doi.org/10.1145/2964202 | en_US |
| dc.identifier.doi | 10.1145/2964202 | |
| dc.identifier.issn | 1539-9087 | |
| dc.identifier.issn | 1558-3465 | |
| dc.identifier.scopus | 2-s2.0-84994495031 | |
| dc.identifier.uri | https://doi.org/10.1145/2964202 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.12416/13975 | |
| dc.language.iso | en | en_US |
| dc.publisher | Assoc Computing Machinery | en_US |
| dc.rights | info:eu-repo/semantics/closedAccess | en_US |
| dc.subject | Distributed Real-Time Systems | en_US |
| dc.subject | Timed Input/Output Automata | en_US |
| dc.subject | Uppaal | en_US |
| dc.subject | Formal Verification | en_US |
| dc.title | Modeling Distributed Real-Time Systems in Tioa and Uppaal | en_US |
| dc.title | Modeling distributed real-time systems in TIOA and UPPAAL | tr_TR |
| dc.type | Article | en_US |
| dspace.entity.type | Publication | |
| gdc.author.id | Schmidt, Ece Guran/0000-0002-4062-389X | |
| gdc.author.institutional | Schmıdt, Klaus Werner | |
| gdc.author.scopusid | 57211691392 | |
| gdc.author.scopusid | 56212013600 | |
| gdc.author.scopusid | 55464613900 | |
| gdc.author.wosid | Schmidt, Klaus/Abb-8956-2020 | |
| gdc.description.department | Çankaya University | en_US |
| gdc.description.departmenttemp | [Kartal, Yusuf Bora; Schmidt, Ece Guran] Middle East Tech Univ, Dept Elect & Elect Engn, Dumlupinar Bulvari 1, TR-06800 Cankaya, Turkey; [Schmidt, Klaus Werner] Cankaya Univ, Dept Mechatron Engn, Mahallesi Mimar Sinan Caddesi 4, TR-06790 Etimesgut Ankara, Turkey | en_US |
| gdc.description.issue | 1 | en_US |
| gdc.description.publicationcategory | Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı | en_US |
| gdc.description.scopusquality | Q3 | |
| gdc.description.volume | 16 | en_US |
| gdc.description.woscitationindex | Science Citation Index Expanded | |
| gdc.description.wosquality | Q3 | |
| gdc.identifier.openalex | W2535640593 | |
| gdc.identifier.wos | WOS:000391441900022 | |
| gdc.openalex.fwci | 1.49760886 | |
| gdc.openalex.normalizedpercentile | 0.89 | |
| gdc.opencitations.count | 7 | |
| gdc.plumx.crossrefcites | 7 | |
| gdc.plumx.mendeley | 10 | |
| gdc.plumx.scopuscites | 7 | |
| gdc.scopus.citedcount | 7 | |
| gdc.wos.citedcount | 6 | |
| 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 |