車載制御ソフトウェアモデルのための差分検出アルゴリズム

• Item type: SIG Technical Reports(1)
• 公開日: 2014-03-12
• タイトル: 車載制御ソフトウェアモデルのための差分検出アルゴリズム
• タイトル / 言語: en
• タイトル: A Difference Detection Algorithm for Automotive Control Software Model
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 制御システム
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 豊田中央研究所
• 著者所属: トヨタ自動車
• 著者所属(英): en
• 著者所属(英): Toyota Central R&D Labs., Inc.
• 著者所属(英): en
• 著者所属(英): Toyota Motor Corporation
• 著者名: 荒木, 円博; 加賀, 智之
• 著者名(英): Mitsuhiro, Araki; Tomoyuki, Kaga
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: Simulink などの車載制御モデルを対象に，モデル間の差分を漏れなく検出するためのアルゴリズムを開発した．アルゴリズムは，モデルの対に対応したグラフ対を入力とし，最大共通部分グラフの近似解を貪欲法で求める．Simulink モデルを模したグラフ対 （エッジ数 200-2000 の 4 分木の対） に，このアルゴリズムを適用したところ，実行時間はエッジ数に対して線形増加の傾向を示した．2000 エッジでの実行時間は，Intel Xeon W3520 2.67GHz の計算機上で 3 秒以下であった．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: On automotive control software model such as Simulink model, we developed model comparison algorithm to detect model differences exhaustively. The algorithm takes graph pair corresponds model pair, then greedily maximize common subgraph. As an experiment, we apply the algorithm to Simulink model like graph pair (4-ary tree pair of edges:200-2000). Elapsed time on the experiment is linearly increased against edges. On 2000 edges tree, the time was in 3 seconds with Intel Xeon W3520 2.67GHz processor.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2014-SE-183, 号 24, p. 1-8, 発行日 2014-03-12
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会