Quantitative Analysis of Real-Time Systems Using Priced Timed Automata

被引：31
|
作者：
Bouyer, Patricia [1 ,2 ]
Fahrenberg, Uli [3 ]
Larsen, Kim G. [3 ]
Markey, Nicolas [1 ,2 ]
机构：
[1] LSV CNRS, Paris, France
[2] ENS Cachan, Cachan, France
[3] Aalborg Univ, Dept Comp Sci, Aalborg, Denmark
来源：
COMMUNICATIONS OF THE ACM | 2011年 / 54卷 / 09期
关键词：
OPTIMAL REACHABILITY; CONTROLLER SYNTHESIS;
D O I：
10.1145/1995376.1995396
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Timed automata and their extensions allow for analysis of a wide range of performance and optimization problems. © 2011 ACM.
引用
收藏
页码：78 / 87
页数：10
相关论文
共 50 条
  • [21] Priced Timed Automata Model for Schedulability Analysis of MPSoC
    Wang, Qunbo
    Zhao, Zhengwen
    Zhang, Tao
    Cheng, Sheng
    Zhu, Haitao
    Li, Kun
    [J]. Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University, 2017, 35 (02): : 292 - 297
  • [22] Detecting design errors in composite events for event triggered real-time systems using timed automata
    Ericsson, AnnMarie
    Berndtsson, Mikael
    [J]. SCW 2006: IEEE SERVICES COMPUTING WORKSHOPS, PROCEEDINGS, 2006, : 39 - +
  • [23] Timed-automata based schedulability analysis for distributed firm real-time systems: A case study
    Le T.T.H.
    Palopoli L.
    Passerone R.
    Ramadian Y.
    [J]. International Journal on Software Tools for Technology Transfer, 2013, 15 (3) : 211 - 228
  • [24] Symbolic execution and timed automata model checking for timing analysis of Java']Java real-time systems
    Luckow, Kasper S.
    Pasareanu, Corina S.
    Thomsen, Bent
    [J]. EURASIP JOURNAL ON EMBEDDED SYSTEMS, 2015, (01)
  • [25] Controller synthesis for dynamic hierarchical real-time plants using timed automata
    Bin Waez, Md Tawhid
    Wasowski, Andrzej
    Dingel, Juergen
    Rudie, Karen
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2017, 27 (02): : 407 - 441
  • [26] Controller synthesis for dynamic hierarchical real-time plants using timed automata
    Md Tawhid Bin Waez
    Andrzej Wąsowski
    Juergen Dingel
    Karen Rudie
    [J]. Discrete Event Dynamic Systems, 2017, 27 : 407 - 441
  • [27] Timed I/O automata: A mathematical framework for modeling and analyzing real-time systems
    Kaynar, DK
    Lynch, N
    Segala, R
    Vaandrager, F
    [J]. RTSS 2003: 24TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2003, : 166 - 177
  • [28] Supervisory control of real-time discrete event systems modeled by timed automata with invariants
    Khoumsi, A
    Ouedraogo, L
    Nourelfath, M
    [J]. PROCEEDINGS OF THE EIGHTH IASTED INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND CONTROL, 2005, : 494 - 501
  • [29] Real-time testing with timed automata testers and coverage criteria
    Krichen, M
    Tripakis, S
    [J]. FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2004, 3253 : 134 - 151
  • [30] Modelling and schedulability test of real-time tasks with timed automata
    Sun, HY
    [J]. PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 2145 - 2151
12345