Predictability Analysis of Interruptible Systems by Statistical Model Checking

被引：2
作者：
Strnadel, Josef [1 ]
机构：
[1] Brno Univ Technol, Fac Informat Technol, Ctr Excellence IT4Innovat, Brno, Czech Republic
来源：
IEEE DESIGN & TEST | 2018年 / 35卷 / 02期
关键词：
analysis; cpu; interrupts; modeling; predictability; statistical model checking; stochastic timed automaton; system;
D O I：
10.1109/MDAT.2017.2766568
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This article proposes a model comprising of a network of stochastic timed automata for predictability analysis of interruptible systems via statistical model checking. © 2013 IEEE.
引用
收藏
页码：57 / 63
页数：7
相关论文
共 12 条
[1]  
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[2]   Worst Case Execution Time Analysis of Automotive Software [J].
Chattopadhyay, Sneha ;
Tresina, M. J. ;
Narayan, Shankar .
INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY AND SYSTEM DESIGN 2011, 2012, 30 :983-988
[3]  
Dalsgaard Andreas Engelbredt., 2010, WCET, V15, P113
[4]   UPPAAL SMC tutorial [J].
David, Alexandre ;
Larsen, Kim G. ;
Legay, Axel ;
Mikuionis, Marius ;
Poulsen, Danny Bogsted .
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (04) :397-415
[5]  
Foyo L. E. Leyva-del, 2012, ACM T EMBED COMPUT S, V11
[6]  
Kidd N, 2010, LECT NOTES COMPUT SC, V6349, P245
[7]   Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context [J].
Kim, Jin Hyun ;
Boudjadar, Abdeldjalil ;
Nyman, Ulrik ;
Mikucionis, Marius ;
Larsen, Kim G. ;
Skou, Arne ;
Lee, Insup ;
Linh Thi Xuan Phan .
2015 18TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT-BASED SOFTWARE ENGINEERING (CBSE), 2015, :91-100
[8]  
Kotker J., 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD), P81
[9]  
Kroening D, 2015, DES AUT TEST EUROPE, P229
[10]   Preventing interrupt overload [J].
Regehr, J ;
Duongsaa, U .
ACM SIGPLAN NOTICES, 2005, 40 (07) :50-58
12