Detecting and analyzing state inconsistencies in multi-task software

Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationProceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009
Pages326-330
Number of pages5
DOIs
Publication statusPublished - 2009
Externally publishedYes
Event2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009 - Tokyo
Duration: 2009 Mar 172009 Mar 20

Other

Other2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009
CityTokyo
Period09/3/1709/3/20

Fingerprint

Videodisks
Embedded software
Model checking

ASJC Scopus subject areas

  • Computer Science Applications
  • Software

Cite this

Aoki, T., Sekiguchi, T., Hirayama, M., & Kishi, T. (2009). Detecting and analyzing state inconsistencies in multi-task software. In Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009 (pp. 326-330). [5232031] https://doi.org/10.1109/ISORC.2009.32

Detecting and analyzing state inconsistencies in multi-task software. / Aoki, Toshiaki; Sekiguchi, Tadashi; Hirayama, Masayuki; Kishi, Tomoji.

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009. 2009. p. 326-330 5232031.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Aoki, T, Sekiguchi, T, Hirayama, M & Kishi, T 2009, Detecting and analyzing state inconsistencies in multi-task software. in Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009., 5232031, pp. 326-330, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009, Tokyo, 09/3/17. https://doi.org/10.1109/ISORC.2009.32
Aoki T, Sekiguchi T, Hirayama M, Kishi T. Detecting and analyzing state inconsistencies in multi-task software. In Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009. 2009. p. 326-330. 5232031 https://doi.org/10.1109/ISORC.2009.32
Aoki, Toshiaki ; Sekiguchi, Tadashi ; Hirayama, Masayuki ; Kishi, Tomoji. / Detecting and analyzing state inconsistencies in multi-task software. Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009. 2009. pp. 326-330
@inproceedings{e1305407315f4a9f9a787e0490eca950,
title = "Detecting and analyzing state inconsistencies in multi-task software",
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.",
author = "Toshiaki Aoki and Tadashi Sekiguchi and Masayuki Hirayama and Tomoji Kishi",
year = "2009",
doi = "10.1109/ISORC.2009.32",
language = "English",
isbn = "9780769535739",
pages = "326--330",
booktitle = "Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009",

}

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

Y1 - 2009

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

SP - 326

EP - 330

BT - Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009

ER -