Efficient Integration of Online Model Checking into a Small-Footprint Real-time Operating System

被引：0
|
作者：
Sudhakar, Krishna [1 ]
Zhao, Yuhong [1 ]
Rammig, Franz-Josef [1 ]
机构：
[1] Univ Paderborn, Heinz Nixdorf Inst, D-33098 Paderborn, Germany
来源：
2014 IEEE 17TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC) | 2014年
关键词：
Online Verification; Online Model Checking; Real-time Operating System; and QEMU;
D O I：
10.1109/ISORC.2014.21
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we discuss how an efficient online model checker and a small-footprint RTOS can be integrated. Alternative integration approaches are discussed, leading to the decision for a federated approach. An implemented prototype is described and some analytical as well as experimental evaluation are presented.
引用
收藏
页码：374 / 383
页数：10
相关论文
共 50 条
  • [41] Model checking real-time properties of symmetric systems
    Emerson, EA
    Trefler, RJ
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 427 - 436
  • [42] Symbolic model checking for discrete real-time systems
    Xiangyu LUO
    Lijun WU
    Qingliang CHEN
    Haibo LI
    Lixiao ZHENG
    Zuxi CHEN
    Science China(Information Sciences), 2018, 61 (05) : 203 - 225
  • [43] REAL-TIME MODEL-CHECKING: PARAMETERS EVERYWHERE
    Bruyere, Veronique
    Raskin, Jean-Francois
    Logical Methods in Computer Science, 2007, 3 (01)
  • [44] Real-time model-checking:: Parameters everywhere
    Bruyère, V
    Raskin, JF
    FST TCS 2003: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 2003, 2914 : 100 - 111
  • [45] MODEL-CHECKING FOR PROBABILISTIC REAL-TIME SYSTEMS
    ALUR, R
    COURCOUBETIS, C
    DILL, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 510 : 115 - 126
  • [46] Symbolic model checking for discrete real-time systems
    Xiangyu Luo
    Lijun Wu
    Qingliang Chen
    Haibo Li
    Lixiao Zheng
    Zuxi Chen
    Science China Information Sciences, 2018, 61
  • [47] Model-checking real-time concurrent systems
    Romanovsky, I
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 439 - 439
  • [48] DESIGN AND CHECKING OF A LARGE ADA REAL-TIME SYSTEM
    THERON, JL
    NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 1990, 293 (1-2): : 373 - 376
  • [49] Symbolic model checking for discrete real-time systems
    Luo, Xiangyu
    Wu, Lijun
    Chen, Qingliang
    Li, Haibo
    Zheng, Lixiao
    Chen, Zuxi
    SCIENCE CHINA-INFORMATION SCIENCES, 2018, 61 (05)
  • [50] Real-time Operating System in Practice.
    Sun, Jiaqui
    Wieland, Robert
    1600, (32):
12345