loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Detecting and Analyzing State Inconsistencies in Multi-task Software
Tokyo, Japan
March 17-March 20
ISBN: 978-0-7695-3573-9
ASCII Text
x 
 
Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi, "Detecting and Analyzing State Inconsistencies in Multi-task Software," Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, pp. 326-330, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009.
 
 
BibTex
x
 
@article{ 10.1109/ISORC.2009.32,
author = {Toshiaki Aoki and Tadashi Sekiguchi and Masayuki Hirayama and Tomoji Kishi},
title = {Detecting and Analyzing State Inconsistencies in Multi-task Software},
journal ={Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on},
volume = {0},
year = {2009},
issn = {1555-0885},
pages = {326-330},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2009.32},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
TI - Detecting and Analyzing State Inconsistencies in Multi-task Software
SN - 1555-0885
SP326
EP330
A1 - Toshiaki Aoki,
A1 - Tadashi Sekiguchi,
A1 - Masayuki Hirayama,
A1 - Tomoji Kishi,
PY - 2009
VL - 0
JA - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
ER -
 
In this paper, we first reveal an important problem called a stateinconsistency problem among tasks based on a design model of a CD/DVDsystems.This problem is not only of CD/DVD systems but also of typicalembedded software because it may occur in a typical structure thatsuch software has. Thus, we propose a method to detect the problem inthe design model with a model checking tool and to derive behavior inwhich it does not occur.
Citation:
Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi, "Detecting and Analyzing State Inconsistencies in Multi-task Software," isorc, pp.326-330, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009
Usage of this product signifies your acceptance of the Terms of Use.