| 講演名 | 2011-03-18 車載電子制御システムの障害診断手法 : WPMax-SATを利用したCANデータ特異関係の抽出(ディペンダブルシステム,組込み技術とネットワークに関するワークショップETNET2011) 佐藤 守一, 沓名 拓郎, 中條 直也, 佐野 範佳, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 複雑化・大規模化する車載電子制御システムにおいて,車両テスト時及び市場走行時に,特定の稀な条件が揃って発生する障害の原因特定の困難化が予想される.本研究では,そのような障害が1回発生した時点で,効率良く原因特定するために,傷害発生時のCAN(Controller Area Network)-busに流れるデータから,正常時には無い特異な関係を抽出する手法を提案する.提案手法では,量的データを含むデータからの特異関係の抽出を,WPMax-SAT(Weighted Partial Max-SAT)の枠組みで扱えるように定式化し,特異関係を網羅的に高速抽出する.制御系の複数のECU(Electronic Control Unit)と車両ダイナミクスからなるシミュレーションモデルを用いて提案手法を評価し,障害原因特定への有用性を示す. |
| 抄録(英) | Fault localization must be getting more tough problem for automotive electronic control systems in integration testing and in the marketplace, because those systems are getting more complicated. This paper proposes the extraction method of singular relation from CAN(Controller Area Network)-bus data, in order to localize the fault when abnormal behavior occurs for the first time. We formalize the extraction problem of singular relation as a WPMax-SAT(Weighted Partial Max-SAT). The proposed method can find the singular relation fast and exhaustively. The experimental result using simulation model of multiple ECUs(Electronic Control Units) and vehicle dynamics shows the availability of our proposed method. |
| キーワード(和) | 障害診断 / 車載電子システム / 組合せ最適化 / SAT / 特異関係 |
| キーワード(英) | Diagnosis / Automotive Electronic System / Combinatorial Optimization / SAT / Singular Relation |
| 資料番号 | CPSY2010-72,DC2010-71 |
| 発行日 |
| 研究会情報 | |
| 研究会 | DC |
|---|---|
| 開催期間 | 2011/3/11(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Dependable Computing (DC) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 車載電子制御システムの障害診断手法 : WPMax-SATを利用したCANデータ特異関係の抽出(ディペンダブルシステム,組込み技術とネットワークに関するワークショップETNET2011) |
| サブタイトル（和） | |
| タイトル（英） | Diagnosis for Automotive Electronic Control System : Extraction of Singular Relation from CAN data with WPMax-SAT |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 障害診断 / Diagnosis |
| キーワード(2)（和/英） | 車載電子システム / Automotive Electronic System |
| キーワード(3)（和/英） | 組合せ最適化 / Combinatorial Optimization |
| キーワード(4)（和/英） | SAT / SAT |
| キーワード(5)（和/英） | 特異関係 / Singular Relation |
| 第 1 著者 氏名（和/英） | 佐藤 守一 / Shuichi SATO |
| 第 1 著者 所属（和/英） | (株)豊田中央研究所 Toyota Central R&D Labs., Inc. |
| 第 2 著者 氏名（和/英） | 沓名 拓郎 / Takuro KUTSUNA |
| 第 2 著者 所属（和/英） | (株)豊田中央研究所 Toyota Central R&D Labs., Inc. |
| 第 3 著者 氏名（和/英） | 中條 直也 / Naoya CHUJO |
| 第 3 著者 所属（和/英） | 愛知工業大学 Aichi Institute of Technology |
| 第 4 著者 氏名（和/英） | 佐野 範佳 / Noriyoshi SANO |
| 第 4 著者 所属（和/英） | (株)豊田中央研究所 Toyota Central R&D Labs., Inc. |
| 発表年月日 | 2011-03-18 |
| 資料番号 | CPSY2010-72,DC2010-71 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | 474 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |