WoS İndeksli Yayınlar Koleksiyonu

Permanent URI for this collectionhttps://hdl.handle.net/20.500.12416/8653

Browse

Filters

20161

Settings

Publisher: search.filters.publisher.Assoc Computing MachineryScopus Q: search.filters.scopusQuartile.Q2

Search Results

Now showing 1 - 1 of 1
  • Article
    Citation - WoS: 6
    Citation - Scopus: 7
    Modeling Distributed Real-Time Systems in Tioa and Uppaal
    (Assoc Computing Machinery, 2016) Kartal, Yusuf Bora; Schmidt, Ece Guran; Schmidt, Klaus Werner
    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.