DSpace Repository

Modeling distributed real-time systems in TIOA and UPPAAL

Show simple item record

dc.contributor.author Kartal, Yusuf Bora
dc.contributor.author Schmidt, Ece Güran
dc.contributor.author Schmidt, Klaus Werner
dc.date.accessioned 2017-06-07T08:09:22Z
dc.date.available 2017-06-07T08:09:22Z
dc.date.issued 2016-11
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 tr_TR
dc.identifier.issn 1539-9087
dc.identifier.uri http://hdl.handle.net/20.500.12416/1587
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 tr_TR
dc.language.iso eng tr_TR
dc.publisher Assoc Computing Machinery tr_TR
dc.relation.isversionof 10.1145/2964202 tr_TR
dc.rights info:eu-repo/semantics/closedAccess
dc.subject Distributed Real-Time Systems tr_TR
dc.subject Timed Input/output Automata tr_TR
dc.subject UPPAAL tr_TR
dc.subject Formal Verification tr_TR
dc.title Modeling distributed real-time systems in TIOA and UPPAAL tr_TR
dc.type article tr_TR
dc.relation.journal ACM Transactions On Embedded Computing Systems tr_TR
dc.contributor.authorID 17337 tr_TR
dc.identifier.volume 16 tr_TR
dc.identifier.issue 1 tr_TR
dc.contributor.department Çankaya Üniversitesi, Mühendislik Fakültesi, Mekatronik Mühendisliği Bölümü tr_TR


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record