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
相关论文
共 6 条
  • [1] [Anonymous], 2011, HARD REAL TIME COMPU
  • [2] Biere A, 2003, ADV COMPUT, V58, P117
  • [3] Dwyer M. B., 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002), P411, DOI 10.1109/ICSE.1999.841031
  • [4] Gilles K., 2013, P INT EMB SYST S IES
  • [5] Qanadilo M., 2013, P 6 LAT AM S DEP COM
  • [6] Yuhong Zhao, 2012, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, P154, DOI 10.1109/ISORC.2012.28
1