Priced Timed Automata Model for Schedulability Analysis of MPSoC

被引：0
|
作者：
Wang, Qunbo [1 ]
Zhao, Zhengwen [1 ]
Zhang, Tao [1 ]
Cheng, Sheng [2 ]
Zhu, Haitao [2 ]
Li, Kun [1 ]
机构：
[1] School Software and Microelectronics, Northwestern Polytechnical University, Xi'an,710072, China
[2] Beijing Shenzhou Aerospace Software Technology Co. Ltd, Beijing,100094, China
来源：
Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University | 2017年 / 35卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Model checking
引用
收藏
页码：292 / 297
相关论文
共 50 条
  • [1] Schedulability Analysis for Timed Automata With Tasks
    Sun, Jinghao
    Guan, Nan
    Shi, Rongxiao
    Tan, Guozhen
    Yi, Wang
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2021, 20 (05)
  • [2] Statistical Model Checking for Priced Timed Automata
    Bulychev, Peter
    David, Alexandre
    Larsen, Kim Guldstrand
    Legay, Axel
    Mikucionis, Marius
    Poulsen, Danny Bogsted
    Wang, Zheng
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (85): : 1 - 16
  • [3] Statistical Model Checking for Networks of Priced Timed Automata
    David, Alexandre
    Larsen, Kim G.
    Legay, Axel
    Mikucionis, Marius
    Poulsen, Danny Bogsted
    van Vliet, Jonas
    Wang, Zheng
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2011, 6919 : 80 - +
  • [4] Costs and rewards in priced timed automata
    Fraenzle, Martin
    Shirmohammadi, Mahsa
    Swaminathan, Mani
    Worrell, James
    [J]. INFORMATION AND COMPUTATION, 2022, 282
  • [5] Priced timed automata: Algorithms and applications
    Behrmann, G
    Larsen, KG
    Rasmussen, JI
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2005, 3657 : 162 - 182
  • [6] MODEL CHECKING ONE-CLOCK PRICED TIMED AUTOMATA
    Bouyer, Patricia
    Larsen, Kim G.
    Markey, Nicolas
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2008, 4 (02)
  • [7] 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
  • [8] Pareto Optimal Reachability Analysis for Simple Priced Timed Automata
    Zhang, Zhengkui
    Nielsen, Brian
    Larsen, Kim Guldstrand
    Nies, Gilles
    Stenger, Marvin
    Hermanns, Holger
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2017, 2017, 10610 : 481 - 495
  • [9] 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
  • [10] Decidable and undecidable problems in schedulability analysis using timed automata
    Krcál, P
    Yi, W
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2004, 2988 : 236 - 250
12345