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.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.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.relation.ispartof | ACM Transactions on Embedded Computing Systems | |
| 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.scopusid | 57211691392 | |
| gdc.author.scopusid | 56212013600 | |
| gdc.author.scopusid | 55464613900 | |
| gdc.author.wosid | Schmidt, Klaus/Abb-8956-2020 | |
| gdc.author.yokid | 17337 | |
| gdc.bip.impulseclass | C4 | |
| gdc.bip.influenceclass | C5 | |
| gdc.bip.popularityclass | C5 | |
| gdc.coar.access | metadata only access | |
| gdc.coar.type | text::journal::journal article | |
| gdc.collaboration.industrial | false | |
| 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.endpage | 26 | |
| gdc.description.issue | 1 | en_US |
| gdc.description.publicationcategory | Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı | en_US |
| gdc.description.scopusquality | Q2 | |
| gdc.description.startpage | 1 | |
| gdc.description.volume | 16 | en_US |
| gdc.description.woscitationindex | Science Citation Index Expanded | |
| gdc.description.wosquality | Q2 | |
| gdc.identifier.openalex | W2535640593 | |
| gdc.identifier.wos | WOS:000391441900022 | |
| gdc.index.type | WoS | |
| gdc.index.type | Scopus | |
| gdc.oaire.diamondjournal | false | |
| gdc.oaire.downloads | 4 | |
| gdc.oaire.impulse | 5.0 | |
| gdc.oaire.influence | 3.020543E-9 | |
| gdc.oaire.isgreen | true | |
| gdc.oaire.popularity | 1.7897612E-9 | |
| gdc.oaire.publicfunded | false | |
| gdc.oaire.sciencefields | 0202 electrical engineering, electronic engineering, information engineering | |
| gdc.oaire.sciencefields | 02 engineering and technology | |
| gdc.oaire.views | 11 | |
| gdc.openalex.collaboration | National | |
| gdc.openalex.fwci | 1.49760886 | |
| gdc.openalex.normalizedpercentile | 0.88 | |
| gdc.opencitations.count | 7 | |
| gdc.plumx.crossrefcites | 7 | |
| gdc.plumx.mendeley | 10 | |
| gdc.plumx.scopuscites | 7 | |
| gdc.publishedmonth | 11 | |
| gdc.scopus.citedcount | 7 | |
| gdc.virtual.author | Schmıdt, Klaus Werner | |
| 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 |