講演名 2017-07-19
車載ソフトウェアのためのダイナミックマップにおける動的情報の信頼性検証法
渡邉 陽介(名大), 佐藤 守一(豊田中研), 関 浩之(名大), 結縁 祥治(名大),
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 自動車業界では,高精度な道路地図情報に他車両等の動的物体の情報を加えたダイナミックマップ(以下LDMと呼ぶ)が検討されている.LDMの動的情報を利用することで,自動車の安全運転支援機能の向上が期待されている.ところが,LDMは通信失敗などに起因して,動的情報の更新に遅れが発生し,安全運転支援機能に悪影響を及ぼすことが懸念される.そこで,自動車の安全性の観点から,更新遅れを伴ったLDMの情報の信頼性が許容範囲か否かを検証する方法を提案する.簡易のLDM事例に提案手法を適用し,走行模擬結果と整合する妥当な検証結果が得られた.
抄録(英) In automotive industry, high-precision spatial information such as the LDM(Local Dyanamic Map), that includes dynamic object like other vehicles is studied. By using dynamic information of the LDM, a safety driving function can be expanded. However, we have to consider that a safety driving function receives a bad influence by occuring the delay of updating dynamic information of the LDM due to a communication failure, and so on. In this paper we have proposed reliability verfication whether LDM information with updating delay can be tolerated for the vehicle safety. We applyed proposed method to simple LDM case and obtained reasonable result for the contents of the LDM.
キーワード(和) LDM / 動的情報 / SMT / 信頼性検証
キーワード(英) LDM / Dynamic Information / SMT / Reliability Verification
資料番号 SS2017-3,KBSE2017-3
発行日 2017-07-12 (SS, KBSE)

研究会情報
研究会 SS / KBSE / IPSJ-SE
開催期間 2017/7/19(から3日開催)
開催地(和) 函館コミュニティプラザ
開催地(英)
テーマ(和) ソフトウェア工学全般/知能ソフトウェア工学全般/ソフトウェアサイエンス全般
テーマ(英)
委員長氏名(和) 緒方 和博(北陸先端大) / 金田 重郎(同志社大)
委員長氏名(英) Kazuhiro Ogata(JAIST) / Shigeo Kaneda(Doshisha Univ.)
副委員長氏名(和) 中田 明夫(広島市大) / 粂野 文洋(日本工大)
副委員長氏名(英) Akio Nakata(Hiroshima City Univ.) / Fumihiro Kumeno(Nippon Inst. of Tech.)
幹事氏名(和) 小林 隆志(東工大) / 肥後 芳樹(阪大) / 岩田 一(神奈川工科大) / 櫻井 孝平(金沢大)
幹事氏名(英) Takashi Kobayashi(Tokyo Inst. of Tech.) / Yoshiki Higo(Osaka Univ.) / Hajime Iwata(Kanagawa Inst. of Tech.) / Kohei Sakurai(Kanazawa Univ.)
幹事補佐氏名(和) 島 和之(広島市大) / 猿渡 卓也(NTTデータ) / 木村 功作(富士通研)
幹事補佐氏名(英) Kazuyuki Shima(Hiroshima City Univ.) / Takuya Saruwatari(NTT DATA) / Kosaku Kimura(Fujitsu labs.)

講演論文情報詳細
申込み研究会 Technical Committee on Software Science / Technical Committee on Knowledge-Based Software Engineering / Special Interest Group on Software Engineering
本文の言語 JPN
タイトル(和) 車載ソフトウェアのためのダイナミックマップにおける動的情報の信頼性検証法
サブタイトル(和)
タイトル(英) Reliability Verification of Dynamic Information in Dynamic Map for Vehicles
サブタイトル(和)
キーワード(1)(和/英) LDM / LDM
キーワード(2)(和/英) 動的情報 / Dynamic Information
キーワード(3)(和/英) SMT / SMT
キーワード(4)(和/英) 信頼性検証 / Reliability Verification
第 1 著者 氏名(和/英) 渡邉 陽介 / Yosuke Watanabe
第 1 著者 所属(和/英) 名古屋大学(略称:名大)
Nagoya University(略称:Nagoya Univ.)
第 2 著者 氏名(和/英) 佐藤 守一 / Shuichi Sato
第 2 著者 所属(和/英) 豊田中央研究所(略称:豊田中研)
Toyota Central R&D Labs.,Inc.(略称:TCRDL)
第 3 著者 氏名(和/英) 関 浩之 / Hiroyuki Seki
第 3 著者 所属(和/英) 名古屋大学(略称:名大)
Nagoya University(略称:Nagoya Univ.)
第 4 著者 氏名(和/英) 結縁 祥治 / Shoji Yuen
第 4 著者 所属(和/英) 名古屋大学(略称:名大)
Nagoya University(略称:Nagoya Univ.)
発表年月日 2017-07-19
資料番号 SS2017-3,KBSE2017-3
巻番号(vol) vol.117
号番号(no) SS-136,KBSE-137
ページ範囲 pp.13-18(SS), pp.13-18(KBSE),
ページ数 6
発行日 2017-07-12 (SS, KBSE)