权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

実時間ソフトウェアの階層的パラメトリック解析

实时软件的层次参数分析

基本信息

批准号：
18700028
负责人：
中田明夫
金额：
$ 1.02万
依托单位：
Hiroshima City University (2007)Osaka University (2006)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2006
资助国家：
日本
起止时间：
2006 至 2007
项目状态：
已结题

项目摘要

前年度までに考案した,キャッシュやパイプラインなどのCPUアーキテクチャ情報を考慮したパラメトリック実行時間解析手法の改良と実装および実験的評価を行った.考案した手法は,有限オートマトンから正規表現を求める古典的なアルゴリズムの応用であり,プログラムの指定した区間の実行時間の上限と下限を,指定した箇所のループ回数に対応するパラメータ変数,および,動作周波数などのCPUアーキテクチャに関するパラメータを含む式の形で導出するものであるレこの手法は,考慮すべきCPUアーキテクチャ情報が複雑な場合,解析にかかる時間計算量が膨大となり現実的でないため,実際の組込みソフトウェアでよく用いられるCPUアーキテクチャの調査を行い,対象とするCPUを,キャッシュなし,同時発行命令数1で,各命令の実行時間の上限と下限をCPU動作周波数やメモリアクセスサイクルなどに関する関数の形で与えられるものとした.また,プログラムの制御構造によっては,正規表現の非-意性が原因で,ループ構造を反映しない式の導出が行われることがあることが判明した.この問題の解決のため,アルゴリズムを修正し,ループ構造を正しくパラメータ条件式に反映するための工夫を行った.得られたアルゴリズムを実装し,実時間画像認識プログラムの実行時間解析に適用し,実時間制約を満たすためのパラメータに関する条件式の導出を試みた.その結果,実時間制約を満たすための,画面解像度などのプログラムパラメータ,および, CPU動作周波数などの実行環境パラメータの関係式を,既存のプログラムコードから実用時間で得ることが可能となった.この結果は,既存の実時間ソフトウェアを新しい実行環境の下で再利用する上で基礎的.かつ,有用な成果であり,今後,割り込みやマルチタスクなどの,より高度なソフトウェアアーキテクチャヘの拡張を行う上で意義ある結果であると考える.

In the previous year, the CPU lost time information was considered in the case study, and the improvement of the implementation time analysis method and the evaluation of the implementation time were considered. The method of examination is to find out the regular performance of the system, to specify the upper limit and lower limit of the running time of the specified interval, to specify the number of cycles of the system, to determine the number of cycles of the system, to determine the normal performance of the system, to determine the shape of the system, to determine the method of calculation, to determine the maximum number of cycles of the system, to determine the maximum number of cycles of the system. Considering the CPU lost time information is complex, the calculation amount of the analysis time is expanded, the actual group is organized, the CPU lost time information is used, the CPU lost time information is investigated, the CPU lost time information is processed, and the number of simultaneous commands is 1. The upper limit and lower limit of the execution time of each command are the number of CPU operation cycles. The reason why the normal behavior is not meaningful is that the structure reflects the behavior of the model. The solution of this problem is to correct the problem, and the problem is to correct the problem. The time limit of the time limit is determined by the conditional expression. As a result, despite the constraints of real time, it is possible to achieve this in real time with the existing programmer computer, such as the screen resolution, the CPU operating cycle, and the real environment. The result is that the existing time frame is better than the existing time frame.かつ,有用な成果であり,今后,割り込みやマルチタスクなどの,より高度なソフトウェアアーキテクチャヘの拡张を行う上で意义ある结果であると考える.