| 講演名 | 2008-03-04 実時間ソフトウェア再利用のためのパラメトリック実行時間解析の一手法 河井 敏宏, 中田 明夫, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 大規模ソフトウェアの開発期間短縮には,一般にソフトウェア再利用が有効である.しかし,ソフトウェアの実行時間はプロセッサ,メモリ,OSなど実行環境に依存するため,組込みソフトウェアなどの実時間ソフトウェアの再利用は一般に困難である.本研究では,そのような実時間ソフトウェアの再利用を支援するために,ソフトウェアが実時間制約を満たすために,ソフトウェアの設計パラメータおよび実行環境のパラメータが満たすべき条件を自動導出する手法を提案する.ここで,ソフトウェアの設計パラメータとしては,ソフトウェアの最低限の機能を保存しつつ実行時間を変化させるパラメータであるとし,プログラムのループ回数でパラメータ化されるものとする.実行環境パラメータとしてはプロセッサの動作周波数および各命令実行クロック数の上限・下限とする.従来のソフトウェア実行時間解析手法では,実行環境パラメータを具体的に与える必要があり,それらの最適値は試行錯誤で探す必要があったが,提案手法により,実時間制約を満たすために最適なパラメータ条件を選択することが可能となる.簡単な画像処理プログラムに対する適用例も示す. |
| 抄録(英) | Software reuse is generally useful to reduce development time of lrge-scale software. However, it is very challenging to reuse real-time software such as embedded software, since the execution time of software strongly depends on its execution environment consisting of CPU, OS, memory, and so on. In this paper, to make real-time software reuse easier, we propose a method to derive automatically a condition between software design parameters and execution environment parameters in order to satisfy a given real-time constraint. Here, the software design parameters are those which changing their value does not affect the least functionality but the quality and the execution time of the software, and are related to loop iteration njumbers. Execution environment parameters are CPU clock frequency and each instruction's execution cycle (including memory access time). The proposed method enables us to easily choose optimal parameter values that is ensured to guarantee the given real-time constraint without try and error. |
| キーワード(和) | 実時間ソフトウェア / 組込みソフトウェア / 実時間制約 / 最悪実行時間解析 / 形式的手法 / パラメトリックモデル検査 |
| キーワード(英) | real-time software / embedded software / real-time constraint / worst case execution time (WCET) analysis / formal method / parametric model checking |
| 資料番号 | SS2007-73 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2008/2/25(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 実時間ソフトウェア再利用のためのパラメトリック実行時間解析の一手法 |
| サブタイトル（和） | |
| タイトル（英） | A Parametric Execution Time Analysis Method for Reuse of Real-time Software |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 実時間ソフトウェア / real-time software |
| キーワード(2)（和/英） | 組込みソフトウェア / embedded software |
| キーワード(3)（和/英） | 実時間制約 / real-time constraint |
| キーワード(4)（和/英） | 最悪実行時間解析 / worst case execution time (WCET) analysis |
| キーワード(5)（和/英） | 形式的手法 / formal method |
| キーワード(6)（和/英） | パラメトリックモデル検査 / parametric model checking |
| 第 1 著者 氏名（和/英） | 河井 敏宏 / Toshihiro KAWAI |
| 第 1 著者 所属（和/英） | 広島市立大学情報科学部 Faculty of Information Sciences, Hiroshima City University |
| 第 2 著者 氏名（和/英） | 中田 明夫 / Akio NAKATA |
| 第 2 著者 所属（和/英） | 広島市立大学大学院情報科学研究科 Graduate School of Information Sciences, Hiroshima City University |
| 発表年月日 | 2008-03-04 |
| 資料番号 | SS2007-73 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | 505 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |