DocumentCode
3284235
Title
Detecting and Analyzing State Inconsistencies in Multi-task Software
Author
Aoki, Toshiaki ; Sekiguchi, Tadashi ; Hirayama, Masayuki ; Kishi, Tomoji
Author_Institution
Japan Adv. Inst. of Sci. & Technol., Nomi, Japan
fYear
2009
fDate
17-20 March 2009
Firstpage
326
Lastpage
330
Abstract
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.
Keywords
embedded systems; multiprogramming; software engineering; CD/DVD systems; embedded software; model checking tool; multitask software; state inconsistencies; Application software; DVD; Design engineering; Distributed computing; Embedded software; Information analysis; Object detection; Operating systems; Real time systems; Silver;
fLanguage
English
Publisher
ieee
Conference_Titel
Object/Component/Service-Oriented Real-Time Distributed Computing, 2009. ISORC '09. IEEE International Symposium on
Conference_Location
Tokyo
ISSN
1555-0885
Print_ISBN
978-0-7695-3573-9
Type
conf
DOI
10.1109/ISORC.2009.32
Filename
5232031
Link To Document