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 条
  • [1] Quantitative Analysis of Real-Time Systems Using Priced Timed Automata (vol 54, pg 78, 2011)
    Bouyer, Patricia
    [J]. COMMUNICATIONS OF THE ACM, 2012, 55 (01) : 7 - 7
  • [2] Using timed automata for response time analysis of distributed real-time systems
    Bradley, S
    Henderson, W
    Kendall, D
    [J]. REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 209 - 214
  • [3] A survey of timed automata for the development of real-time systems
    Bin Waez, Md Tawhid
    Dingel, Juergen
    Rudie, Karen
    [J]. COMPUTER SCIENCE REVIEW, 2013, 9 : 1 - 26
  • [4] Quantitative Attack Tree Analysis via Priced Timed Automata
    Kumar, Rajesh
    Ruijters, Enno
    Stoelinga, Marielle
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015), 2015, 9268 : 156 - 171
  • [5] Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems
    Lampka, Kai
    Perathoner, Simon
    Thiele, Lothar
    [J]. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2010, 14 (03) : 193 - 227
  • [6] Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems
    Kai Lampka
    Simon Perathoner
    Lothar Thiele
    [J]. Design Automation for Embedded Systems, 2010, 14 : 193 - 227
  • [7] Methodologies for Specification of Real-Time Systems Using Timed I/O Automata
    David, Alexandre
    Larsen, Kim G.
    Legay, Axel
    Nyman, Ulrik
    Wasowski, Andrzej
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2010, 6286 : 290 - +
  • [8] Testing Real-Time Embedded Systems using Timed Automata based approaches
    AbouTrab, M. Saeed
    Brockway, Michael
    Counsell, Steve
    Hierons, Robert M.
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2013, 86 (05) : 1209 - 1223
  • [9] Conformance tests for real-time systems with timed automata specifications
    Cardell-Oliver, Rachel
    [J]. Formal Aspects of Computing, 2000, 12 (05) : 350 - 366
  • [10] Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata
    Ovatman, Tolga
    Brekling, Aske W.
    Hansen, Michael R.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 238 (06) : 81 - 95
12345