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
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;
Conference_Titel :
Object/Component/Service-Oriented Real-Time Distributed Computing, 2009. ISORC '09. IEEE International Symposium on
Conference_Location :
Tokyo
Print_ISBN :
978-0-7695-3573-9
DOI :
10.1109/ISORC.2009.32
