A Proven Translation from a UML State Machine Subset to Timed Automata

被引：0
|
作者：
Peres, Florent [1 ]
Ghazel, Mohamed [1 ]
机构：
[1] Université Gustave Eiffel, COSYS-ESTAS, Campus de Lille, 20 rue Élisée Reclus, 59666 Villeneuve d'Ascq cedex, Villeneuve d'Ascq,F-59650, France
来源：
ACM Transactions on Embedded Computing Systems | 2024年 / 23卷 / 05期
关键词：
All Open Access; Bronze;
D O I：
10.1145/3581771
中图分类号：
学科分类号：
摘要：
39
引用
收藏
相关论文
共 50 条
  • [1] A Compositional Translation of Timed Automata with Deadlines to UPPAAL Timed Automata
    Gomez, Rodolfo
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2009, 5813 : 179 - 194
  • [2] An Efficient Translation Method from Timed Petri Nets to Timed Automata
    Nakano, Shota
    Yamaguchi, Shingo
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2012, E95A (08) : 1402 - 1411
  • [3] MIGHTYL: A Compositional Translation from MITL to Timed Automata
    Brihaye, Thomas
    Geeraerts, Gilles
    Ho, Hsi-Ming
    Monmege, Benjamin
    COMPUTER AIDED VERIFICATION, CAV 2017, PT I, 2017, 10426 : 421 - 440
  • [4] Translation of Timed Promela to Timed Automata with Discrete Data
    Nabialek, Wojciech
    Janowska, Agata
    Janowski, Pawel
    FUNDAMENTA INFORMATICAE, 2008, 85 (1-4) : 409 - 424
  • [5] Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
    Zhou, Yu
    Baresi, Luciano
    Rossi, Matteo
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2013, 28 (01) : 188 - 202
  • [6] Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
    Yu Zhou
    Luciano Baresi
    Matteo Rossi
    Journal of Computer Science and Technology, 2013, 28 : 188 - 202
  • [7] Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
    周宇
    Luciano Baresi
    Matteo Rossi
    Journal of Computer Science & Technology, 2013, 28 (01) : 188 - 202
  • [8] Structural Translation from Time Petri Nets to Timed Automata
    Cassez, Franck
    Roux, Olivier-H.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (06) : 145 - 160
  • [9] Structural translation from Time Petri Nets to Timed Automata
    Cassez, Franck
    Roux, Olivier H.
    JOURNAL OF SYSTEMS AND SOFTWARE, 2006, 79 (10) : 1456 - 1468
  • [10] A timed automata semantics for real-time UML specifications
    Toetenel, H
    Roubtsova, E
    van Katwijk, J
    IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 88 - 95
12345