A resource scheduling design method with model checking for distributed embedded software

Masahiko Watanabe, Michihiro Matsumoto, Ichiro Hosotani, Akira Fukuda, Hirokazu Yatsu, Shigeyuki Kodo

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

1 Citation (Scopus)

Abstract

In this paper, we deal with the kind of distributed embedded software that is constructed from tasks that communicate with each other by sending and receiving multicast messages. These tasks must share resources. So, it is important to schedule a timetable describing when the tasks occupy the resources so that there is no resource competition and the tasks occupy the resources within pre-specifled periods. We call this scheduling process resource scheduling. Because tasks must satisfy many constraints and there are message delays in the communication of the tasks, resource scheduling is a difficult task. So, resource scheduling design methods are necessary. In this paper, we propose a resource scheduling design method that allows multicast messages whose receivers can be more than three tasks and an efficient verification method for the method.

Original languageEnglish
Title of host publicationProceedings - 7th International Conference on Quality Software, QSIC 2007
Pages137-142
Number of pages6
DOIs
Publication statusPublished - Dec 1 2007
Event7th International Conference on Quality Software, QSIC 2007 - Portland, OR, United States
Duration: Oct 11 2007Oct 12 2007

Publication series

NameProceedings - International Conference on Quality Software
ISSN (Print)1550-6002

Other

Other7th International Conference on Quality Software, QSIC 2007
CountryUnited States
CityPortland, OR
Period10/11/0710/12/07

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint Dive into the research topics of 'A resource scheduling design method with model checking for distributed embedded software'. Together they form a unique fingerprint.

Cite this