Modeling distributed real-time systems in TIOA and UPPAAL
| dc.authorid | Schmidt, Ece Guran/0000-0002-4062-389X | |
| dc.authorscopusid | 57211691392 | |
| dc.authorscopusid | 56212013600 | |
| dc.authorscopusid | 55464613900 | |
| dc.authorwosid | Schmidt, Klaus/Abb-8956-2020 | |
| 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 | Mekatronik Mühendisliği | |
| dc.date.accessioned | 2017-06-07T08:09:22Z | |
| dc.date.available | 2017-06-07T08:09:22Z | |
| dc.date.issued | 2016 | |
| dc.department | Çankaya University | en_US |
| dc.department-temp | [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 |
| 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.description.woscitationindex | Science Citation Index Expanded | |
| 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.issue | 1 | en_US |
| dc.identifier.scopus | 2-s2.0-84994495031 | |
| dc.identifier.scopusquality | Q3 | |
| dc.identifier.uri | https://doi.org/10.1145/2964202 | |
| dc.identifier.volume | 16 | en_US |
| dc.identifier.wos | WOS:000391441900022 | |
| dc.identifier.wosquality | Q3 | |
| dc.institutionauthor | Schmıdt, Klaus Werner | |
| dc.language.iso | en | en_US |
| dc.publisher | Assoc Computing Machinery | en_US |
| dc.relation.publicationcategory | Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı | en_US |
| dc.rights | info:eu-repo/semantics/closedAccess | en_US |
| dc.scopus.citedbyCount | 7 | |
| 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 | tr_TR |
| dc.title | Modeling Distributed Real-Time Systems in Tioa and Uppaal | en_US |
| dc.type | Article | en_US |
| dc.wos.citedbyCount | 6 | |
| 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: