Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies-Reference-Cited by-同舟云学术

Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies

Published:2019-07-01 Issue:7 Volume:E102.D Page:1280-1295
ISSN:0916-8532
Container-title:IEICE Transactions on Information and Systems
language:en
Short-container-title:IEICE Trans. Inf. & Syst.

Author:

TRAN Nhat-Hoa¹,CHIBA Yuki²,AOKI Toshiaki³

Affiliation:

1. Software Engineering Department, National University of Civil Engineering

2. Advanced R & D Dept., Tokyo Office, DENSO CORPORATION

3. School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)

Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)

Subject

Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software

Link

https://www.jstage.jst.go.jp/article/transinf/E102.D/7/E102.D_2017EDP7391/_pdf

Reference31 articles.

1. [1] N. Marti, R. Affeldt, and A. Yonezawa, “Model-checking of a Multithreaded Operating System,” 23rd Workshop of the Japan Society for Software Science and Technology, University of Tokyo, Tokyo, Japan, http://staff.aist.go.jp/reynald.affeldt/documents/marti-jssst2006-en.pdf, 2006.

2. [2] T. Aoki, “Model checking multi-task software on real-time operating systems,” 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), IEEE, pp.551-555, 2008. 10.1109/isorc.2008.46

3. [3] G.J. Holzmann, The SPIN model checker: Primer and reference manual, Addison-Wesley Reading, vol.1003, 2004.

4. [4] K.G. Larsen, P. Pettersson, and W. Yi, “UPPAAL in a nutshell,” International Journal on Software Tools for Technology Transfer (STTT), vol.1, no.1-2, pp.134-152, 1997. 10.1007/s100090050010

5. [5] OSEK Group and others, “OSEK/VDX Operating System Specification,” http://portal.osek-vdx.org, 2005.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model Checking Techniques Enable Schedulability Analysis of Real-Time Systems;The 11th International Symposium on Information and Communication Technology;2022-12

2. SSpinJa: Facilitating Schedulers in Model Checking;2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS);2021-12