Timed Automata Semantics for Analyzing Creol

被引：2
|
作者：
Jaghoori, Mohammad Mahdi [1 ,2 ]
Chothia, Tom [3 ]
机构：
[1] Leiden Univ, LIACS, Leiden, Netherlands
[2] CWI, Amsterdam, Netherlands
[3] Univ Birmingham, Sch Comp Sci, Birmingham, W Midlands, England
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2010年 / 30期
关键词：
D O I：
10.4204/EPTCS.30.8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We give a real-time semantics for the concurrent, object-oriented modeling language Creol, by mapping Creol processes to a network of timed automata. We can use our semantics to verify real time properties of Creol objects, in particular to see whether processes can be scheduled correctly and meet their end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
引用
收藏
页码：108 / 122
页数：15
相关论文
共 50 条
  • [1] SAMPLED SEMANTICS OF TIMED AUTOMATA
    Abdulla, Parosh Aziz
    Krcal, Pavel
    Yi, Wang
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2010, 6 (03)
  • [2] Timed automata: Semantics, algorithms and tools
    Bengtsson, J
    Yi, W
    [J]. LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 87 - 124
  • [3] Probabilistic and topological semantics for timed automata
    Baier, Christel
    Bertrand, Nathalie
    Bouyer, Patricia
    Brihaye, Thomas
    Groesser, Marcus
    [J]. FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 179 - +
  • [4] Implementation of timed automata: An issue of semantics or modeling?
    Altisen, K
    Tripakis, S
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 273 - 288
  • [5] Resource Modeling for Timed Creol Models
    Schlatte, Rudolf
    Aichernig, Bernhard
    Griesmayer, Andreas
    Kyas, Marcel
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 266 : 63 - 75
  • [6] Analyzing an Embedded Sensor with Timed Automata in Uppaal
    Bourke, Timothy
    Sowmya, Arcot
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 13 (03)
  • [7] Analyzing SystemCFL designs using timed automata
    Man, KL
    [J]. BEC 2004: Proceeding of the 9th Biennial Baltic Electronics Conference, 2004, : 155 - 158
  • [8] ANALYZING TIMED SYSTEMS USING TREE AUTOMATA
    Akshay, S.
    Gastin, Paul
    Krishna, Shankara Narayanan
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (02)
  • [9] Timed Automata Semantics for Visual e-Contracts
    Martinez, Enrique
    Cambronero, M. Emilia
    Diaz, Gregorio
    Schneider, Gerardo
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (68): : 7 - 21
  • [10] Lightweight Time Modeling in Timed Creol
    Bjork, Joakim
    Johnsen, Einar Broch
    Owe, Olaf
    Schlatte, Rudolf
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (36): : 67 - 81
12345