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 条
  • [21] Real-time model checking: Algorithms and complexity
    Worrell, James
    TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2008, : 19 - 19
  • [22] Real-time model checking is really simple
    Lamport, L
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2005, 3725 : 162 - 175
  • [23] Local model checking for real-time systems
    Sokolsky, OV
    Smolka, SA
    COMPUTER AIDED VERIFICATION, 1995, 939 : 211 - 224
  • [24] Real-time model checking on secondary storage
    Edelkamp, Stefan
    Jabbar, Shahid
    MODEL CHECKING AND ARTIFICIAL INTELLIGENCE, 2007, 4428 : 67 - +
  • [25] Partition refinement in real-time model checking
    Spelberg, RL
    Toetenel, H
    Ammerlaan, M
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 143 - 157
  • [26] SYMBOLIC MODEL CHECKING FOR REAL-TIME SYSTEMS
    HENZINGER, TA
    NICOLLIN, X
    SIFAKIS, J
    YOVINE, S
    INFORMATION AND COMPUTATION, 1994, 111 (02) : 193 - 244
  • [27] AN OPERATING SYSTEM FOR REAL-TIME ADA
    RABBIE, HM
    NELSONGAL, DA
    TRI-ADA 89 : INDUSTRY, ACADEMIA, GOVERNMENT: ADA TECHNOLOGY IN CONTEXT : APPLICATION, DEVELOPMENT, AND DEPLOYMENT, 1989, : 490 - 497
  • [28] THE SURVIVAL OF THE REAL-TIME OPERATING SYSTEM
    不详
    ELECTRONIC ENGINEERING, 1993, 65 (794): : 47 - 47
  • [29] DEFINING A REAL-TIME OPERATING SYSTEM
    HUNTER, C
    EDN, 1985, 30 (21) : 29 - 30
  • [30] Real-Time Operating System.
    Hansen, Soren Lindskov
    Diderichsen, Poul Erik
    Elektronikcentralen (Report) ECR, 1982,
12345