| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2009-12-18 09:40 実行履歴にもとづくマルチコア実時間応用プログラムのデバッグモデル ○水野洋樹・結縁祥治（名大）  SS2009-43 |
|
| 抄録 | （和） | あらまし 本論文では,マルチコア環境で実行される実時間応用プログラムにおいて実行履歴であるトレースログか ら効率的に不具合のある箇所を同定する手法を提案する.正常と異常の2種類のトレースログの差分から,ソースプ ログラムにおいて実行が異なる部分を抽出する.応用プログラムが並列で実行されることによるトレースログの差異 を抽象するために,デバッグモデルと呼ぶ遷移系を構成する.デバッグモデルは,トレースログに従いながら,でき るだけ抽象度の高いレベルになるように構成する.マルチコア実時間応用プログラムの開発において,デバッグモデ ルを用いると,不具合の同定を効率的に行なえることを示す. |
| （英） | This paper proposes a technique to effectively identify defects of realtime applications running in the multicore environment from execution traces. It extracts substantial differences among successful traces and failure traces. We construct a transition system called “debug model” that absorbs the differences of traces originated by the concurrent structure of the application. The construction is intended to be as abstract as possible according to the given successful/failure traces. We illustrate that a debug model improves the identification of defects in debugging in the development of multicore real-time applications. |
|
| キーワード | （和） | マルチコア / 実時間応用プログラム / モデル検査 / 時間オートマトン / UPPAAL / / / |
| （英） | multicore / real-time applications / model-checking / time automaton / UPPAAL / / / | |
| 文献情報 | 信学技報, vol. 109, no. 343, SS2009-43, pp. 49-54, 2009年12月. | |
| 資料番号 | SS2009-43 | |
| 発行日 | 2009-12-10 (SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2009-43 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2009-12-17 - 2009-12-18 |
| 開催地（和） | 香川大学幸町キャンパス |
| 開催地（英） | Kagawa Univ. |
| テーマ（和） | 一般 |
| テーマ（英） | general |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2009-12-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | 実行履歴にもとづくマルチコア実時間応用プログラムのデバッグモデル |
| サブタイトル（和） | |
| タイトル（英） | A behavioral model for debugging multicore real-time applications based on execution traces |
| サブタイトル（英） | |
| キーワード(1)（和/英） | マルチコア / multicore |
| キーワード(2)（和/英） | 実時間応用プログラム / real-time applications |
| キーワード(3)（和/英） | モデル検査 / model-checking |
| キーワード(4)（和/英） | 時間オートマトン / time automaton |
| キーワード(5)（和/英） | UPPAAL / UPPAAL |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 水野 洋樹 / Hiroki Mizuno / ミズノ ヒロキ |
| 第1著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ) |
| 第2著者 氏名（和/英/ヨミ） | 結縁 祥治 / Shoji Yuen / ユエン ショウジ |
| 第2著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ) |
| 講演者 | 第1著者 |
| 発表日時 | 2009-12-18 09:40:00 |
| 発表時間 | 30分 |
| 申込先研究会 | SS |
| 資料番号 | SS2009-43 |
| 巻番号（vol） | vol.109 |
| 号番号（no） | no.343 |
| ページ範囲 | pp.49-54 |
| ページ数 | 6 |
| 発行日 | 2009-12-10 (SS) |
[研究会発表申込システムのトップページに戻る]