TY - GEN
T1 - Detecting and analyzing state inconsistencies in multi-task software
AU - Aoki, Toshiaki
AU - Sekiguchi, Tadashi
AU - Hirayama, Masayuki
AU - Kishi, Tomoji
PY - 2009/11/6
Y1 - 2009/11/6
N2 - In this paper, we first reveal an important problem called a state inconsistency problem among tasks based on a design model of a CD/DVD systems.This problem is not only of CD/DVD systems but also of typical embedded software because it may occur in a typical structure that such software has. Thus, we propose a method to detect the problem in the design model with a model checking tool and to derive behavior in which it does not occur.
AB - In this paper, we first reveal an important problem called a state inconsistency problem among tasks based on a design model of a CD/DVD systems.This problem is not only of CD/DVD systems but also of typical embedded software because it may occur in a typical structure that such software has. Thus, we propose a method to detect the problem in the design model with a model checking tool and to derive behavior in which it does not occur.
UR - http://www.scopus.com/inward/record.url?scp=70350580977&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=70350580977&partnerID=8YFLogxK
U2 - 10.1109/ISORC.2009.32
DO - 10.1109/ISORC.2009.32
M3 - Conference contribution
AN - SCOPUS:70350580977
SN - 9780769535739
T3 - Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009
SP - 326
EP - 330
BT - Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009
T2 - 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009
Y2 - 17 March 2009 through 20 March 2009
ER -