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

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

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

1 被引用数 (Scopus)

抄録

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.

本文言語英語
ホスト出版物のタイトルProceedings - 7th International Conference on Quality Software, QSIC 2007
ページ137-142
ページ数6
DOI
出版ステータス出版済み - 12 1 2007
イベント7th International Conference on Quality Software, QSIC 2007 - Portland, OR, 米国
継続期間: 10 11 200710 12 2007

出版物シリーズ

名前Proceedings - International Conference on Quality Software
ISSN(印刷版)1550-6002

その他

その他7th International Conference on Quality Software, QSIC 2007
国/地域米国
CityPortland, OR
Period10/11/0710/12/07

All Science Journal Classification (ASJC) codes

  • 工学(全般)

フィンガープリント

「A resource scheduling design method with model checking for distributed embedded software」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル