| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2024-01-18 10:25 プログラムの入れ子構造を考慮し実行時間の部分的計測を用いたパラメトリック実行時間解析手法とその評価 ○中西優元・中田明夫（広島市大）  MSS2023-62 SS2023-41 |
|
| 抄録 | （和） | 本研究では，実時間ソフトウェア再利用のためのパラメトリック実行時間解析手法を提案する．実時間制約を持つソフトウェアの異なる環境への再利用には，再利用先の実行環境でプログラムが実時間制約を満たすようにする最適設計支援手法が望まれる．提案手法では，実時間制約充足のため，プログラムの基本ブロック毎の実行時間の実測値を用いて，ループ回数パラメータに関する多項式の形でプログラムの実行時間を導出する．ループ回数パラメータを調整することで実行時間が調整可能な場合があり，数理最適化により実時間制約を満たす範囲で最適化可能である．また，実行時間の実測値を用いることで，従来では解析対象としなかったコンパイル後の機械語コードが取得困難な場合に対応する．さらに，従来対応が困難であった入れ子構造のループにも対応するため，実際のループ回数とループ回数パラメータを自動で対応付ける関数を定義する．簡単な自己位置推定プログラムに対する適用例も示す． |
| （英） | In this paper, we propose a parametric execution time analysis method for real-time software reuse. When reusing software with real-time constraints in different execution environments, it is desirable to have an optimal design support method that ensures that the program satisfies a given real-time constraint in the execution environment of the reused environment. In the proposed method, to satisfy the real-time constraint, the program execution time is derived in the form of a polynomial including the loop count parameters using the actual measured execution time of each basic block of the program. The execution time may be adjustable by adjusting the loop count parameter and can be optimized to the extent that the real-time constraints are satisfied by using mathematical optimization. The use of measured execution times also addresses cases where it is difficult to obtain post-compilation machine code, which has not been the target of analysis in the previous studies. In addition, to handle nested loops, which have been difficult to handle in the previous studies, a function is defined to automatically map the actual number of loops to the loop count parameter. An example application to a simple self-location estimation program is also shown. | |
| キーワード | （和） | プログラム解析 / 再利用 / 実時間制約 / 実時間解析 / 実行時間計測 / パラメータ最適化 / / |
| （英） | Program Analysis / Software Reuse / Real-time Constraint / Execution Time Analysis / Execution Time Measurement / Parameter Optimization / / | |
| 文献情報 | 信学技報, vol. 123, no. 335, SS2023-41, pp. 58-63, 2024年1月. | |
| 資料番号 | SS2023-41 | |
| 発行日 | 2024-01-10 (MSS, SS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | MSS2023-62 SS2023-41 |
|
| 研究会情報 | |
| 研究会 | SS MSS |
| 開催期間 | 2024-01-17 - 2024-01-18 |
| 開催地（和） | 金沢商工会議所会館（石川県金沢市） |
| 開催地（英） | |
| テーマ（和） | システム数理と応用，ソフトウェアサイエンスおよび一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2024-01-SS-MSS |
| 本文の言語 | 日本語 |
| タイトル（和） | プログラムの入れ子構造を考慮し実行時間の部分的計測を用いたパラメトリック実行時間解析手法とその評価 |
| サブタイトル（和） | |
| タイトル（英） | Parametric Execution Time Analysis of Programs Considering Nested Loops Using Partial Execution Time Measurement and its Evaluation |
| サブタイトル（英） | |
| キーワード(1)（和/英） | プログラム解析 / Program Analysis |
| キーワード(2)（和/英） | 再利用 / Software Reuse |
| キーワード(3)（和/英） | 実時間制約 / Real-time Constraint |
| キーワード(4)（和/英） | 実時間解析 / Execution Time Analysis |
| キーワード(5)（和/英） | 実行時間計測 / Execution Time Measurement |
| キーワード(6)（和/英） | パラメータ最適化 / Parameter Optimization |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 中西 優元 / Yugen Nakanishi / ナカニシ ユウゲン |
| 第1著者 所属（和/英） | 広島市立大学 (略称： 広島市大) Hiroshima City University (略称： Hiroshima City Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 中田 明夫 / Akio Nakata / ナカタ アキオ |
| 第2著者 所属（和/英） | 広島市立大学 (略称： 広島市大) Hiroshima City University (略称： Hiroshima City Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2024-01-18 10:25:00 |
| 発表時間 | 25分 |
| 申込先研究会 | SS |
| 資料番号 | MSS2023-62, SS2023-41 |
| 巻番号（vol） | vol.123 |
| 号番号（no） | no.334(MSS), no.335(SS) |
| ページ範囲 | pp.58-63 |
| ページ数 | 6 |
| 発行日 | 2024-01-10 (MSS, SS) |
[研究会発表申込システムのトップページに戻る]