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 条
  • [21] STATE - a SystemC to Timed Automata Transformation Engine
    Herber, Paula
    Pockrandt, Marcel
    Glesner, Sabine
    2015 IEEE 17TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2015 IEEE 7TH INTERNATIONAL SYMPOSIUM ON CYBERSPACE SAFETY AND SECURITY, AND 2015 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS), 2015, : 1074 - 1077
  • [22] A concurrency-preserving translation from time Petri nets to networks of timed automata
    Balaguer, Sandie
    Chatain, Thomas
    Haar, Stefan
    FORMAL METHODS IN SYSTEM DESIGN, 2012, 40 (03) : 330 - 355
  • [23] A concurrency-preserving translation from time Petri nets to networks of timed automata
    Sandie Balaguer
    Thomas Chatain
    Stefan Haar
    Formal Methods in System Design, 2012, 40 : 330 - 355
  • [24] From Timed Automata to Timed Failure Propagation Graphs
    Priesterjahn, Claudia
    Heinzemann, Christian
    Schaefer, Wilhelm
    2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2013,
  • [25] From Timed Reo Networks to Networks of Timed Automata
    Kokash, Natallia
    Jaghoori, Mohammad Mahdi
    Arbab, Farhad
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2013, 295 : 11 - 29
  • [26] Automatic translation of WS-CDL choreographies to timed automata
    Diaz, G
    Pardo, JJ
    Cambronero, ME
    Valero, V
    Cuartero, F
    FORMAL TECHNIQUES FOR COMPUTER SYSTEMS AND BUSINESS PROCESSES, PROCEEDINGS, 2005, 3670 : 230 - 242
  • [27] Complete Code Generation from UML State Machine
    Van Cam Pham
    Radermacher, Ansgar
    Gerard, Sebastien
    Li, Shuai
    MODELSWARD: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2017, : 208 - 219
  • [28] Pushdown Automata in Statistical Machine Translation
    Allauzen, Cyril
    Byrne, Bill
    de Gispert, Adria
    Iglesias, Gonzalo
    Riley, Michael
    COMPUTATIONAL LINGUISTICS, 2014, 40 (03) : 687 - 723
  • [29] From MTL to Deterministic Timed Automata
    Nickovic, Dejan
    Piterman, Nir
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2010, 6246 : 152 - +
  • [30] From timed automata to DEVS models
    Giambiasi, N
    Paillet, JL
    Châne, F
    PROCEEDINGS OF THE 2003 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2003, : 923 - 931
12345