Çankaya GCRIS Standart veritabanının içerik oluşturulması ve kurulumu Research Ecosystems (https://www.researchecosystems.com) tarafından devam etmektedir. Bu süreçte gördüğünüz verilerde eksikler olabilir.
 

Modeling distributed real-time systems in TIOA and UPPAAL

Simple item page
dc.contributor.authorKartal, Yusuf Bora
dc.contributor.authorSchmidt, Ece Güran
dc.contributor.authorSchmidt, Klaus Werner
dc.contributor.authorID17337tr_TR
dc.date.accessioned2017-06-07T08:09:22Z
dc.date.available2017-06-07T08:09:22Z
dc.date.issued2016
dc.departmentÇankaya Üniversitesi, Mühendislik Fakültesi, Mekatronik Mühendisliği Bölümüen_US
dc.description.abstractThe 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 TIOAen_US
dc.description.publishedMonth11
dc.identifier.citationKartal, 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/2964202en_US
dc.identifier.doi10.1145/2964202
dc.identifier.issn1539-9087
dc.identifier.issue1en_US
dc.identifier.urihttp://hdl.handle.net/20.500.12416/1587
dc.identifier.volume16en_US
dc.language.isoenen_US
dc.publisherAssoc Computing Machineryen_US
dc.relation.ispartofACM Transactions On Embedded Computing Systemsen_US
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.subjectDistributed Real-Time Systemsen_US
dc.subjectTimed Input/output Automataen_US
dc.subjectUPPAALen_US
dc.subjectFormal Verificationen_US
dc.titleModeling distributed real-time systems in TIOA and UPPAALtr_TR
dc.titleModeling Distributed Real-Time Systems in Tioa and Uppaalen_US
dc.typeArticleen_US
dspace.entity.typePublication

Files

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Mekatronik Mühendisliği Bölümü Yayın Koleksiyonu