タスク協調パターンによる組込みソフトウェアの設計検証

カテゴリ: 部門大会

論文No: OS5-18

グループ名: 【C】平成23年電気学会電子・情報・システム部門大会講演論文集

発行日: 2011/09/07

タイトル(英語): Design and Verification of Embedded Software by Task Cooperation Patterns

著者名: 吉田 利夫(豊橋技術科学大学),清尾 克彦(サイバー大学)

著者名(英語): Toshio Yoshida(ISSRC),Katsuhiko Seo(Cyber University)

キーワード: 組込システム|タスク協調|パターンパターン|Embedded System|Task Cooperation|Pattern

要約(日本語): 組込みソフトウェアの応用層は、複数のタスクから構成される。これらのタスクはタスクグループを作り、グループに所属するタスク間の協調により応用機能が実現される。タスク間の協調は、リアルタイムカーネルの提供するシステムコールを利用して行われるが、いくつかの協調パターンが有る。本論文ではタスク協調パターンに着目した組込みソフトウェアの設計及び検証手法について述べる。

PDFファイルサイズ: 1,627 Kバイト