| 講演名 | 2021-01-23 DevOpsアシュアランスケースによる自動運転システムの安全性保証 小池 湧大(日大), 岡田 学(ティアフォー), 高井 利憲(チェンジビジョン), 大熊 拓海(日大), 松野 裕(日大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | AI技術の発展により、自動運転システムの実用化が視野に入ってきた。しかしAI技術の安全性の保証は、その従来にない帰納的な性質のため困難となっている。我々はISO26262、SOTIFなどの自動車安全性国際規格に準拠し、開発と運用が一体となった安全性保証議論手法、DevOpsアシュアランスケースを提案し、運用中においても安全性議論を継続することで、システムや環境の変化に対応可能とする動的な議論構造の構築を目指している。本研究では、開発しているDevOpsアシュアランスケースツールの機能を紹介する。まず簡単な機械学習システムとして顔認証システムを例に取り提案手法のユースケースを示す。次に自動運転システムの安全性保証を向けて、荷物搬送自動運転システムを例に取りシステムモデルを現時点で得られる情報を基に作成し、今後の課題を述べる。 |
| 抄録(英) | With the advancement of deep learning technologies, autonomous vehicle systems will be realized. However, due to the inductive nature of deep learning, safety assurance of AI system using deep learning is difficult. Complying with international standards such as ISO26262 and SOTIF, our research targets safety assurance of autonomous vehicles with textit{DevOps Assurance Cases}, an assurance cases method which is used in both development and operational phases. DevOps assurance cases incorporate monitoring data from the system in operation, and a DevOps assurance case can change the argument structure according to the monitoring data. By DevOps assurance cases, we aim to cope with textit{changes} which will occur during the whole system lifecycle unpredictably. In this paper, first we show a use case with a face recognition system. Second, we conduct a case study with an autonomous cargo system and create system models. |
| キーワード(和) | 自動運転システム / 安全性保証 / アシュアランスケース / Goal Structuring Notation (GSN) / モニタリング |
| キーワード(英) | autonomous vehicle systems / safety assurance / assurance cases / Goal Structuring Notation (GSN) / Monitoring |
| 資料番号 | KBSE2020-29 |
| 発行日 | 2021-01-16 (KBSE) |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2021/1/23(から1日開催) |
| 開催地（和） | オンライン開催 |
| 開催地（英） | Online |
| テーマ（和） | 一般，学生 |
| テーマ（英） | General, Student |
| 委員長氏名（和） | 中川 博之(阪大) |
| 委員長氏名（英） | Hiroyuki Nakagawa(Osaka Univ.) |
| 副委員長氏名（和） | 猿渡 卓也(NTTデータ) |
| 副委員長氏名（英） | Takuya Saruwatari(NTT Data) |
| 幹事氏名（和） | 菊地 奈穂美(OKI) / 金子 朋子(国立情報学研究所) |
| 幹事氏名（英） | Nahomi Kikuchi(OKI) / Tomoko Kaneko(国立情報学研究所) |
| 幹事補佐氏名（和） | 小形 真平(信州大) / 槇原 絵里奈(同志社大) |
| 幹事補佐氏名（英） | Shinpei Ogata(Shinshu Univ.) / Erina Nakihara(Doshisha Univ,) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Knowledge-Based Software Engineering |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | DevOpsアシュアランスケースによる自動運転システムの安全性保証 |
| サブタイトル（和） | |
| タイトル（英） | DevOps Assurance Cases for Autonomous Vehicles Systems |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 自動運転システム / autonomous vehicle systems |
| キーワード(2)（和/英） | 安全性保証 / safety assurance |
| キーワード(3)（和/英） | アシュアランスケース / assurance cases |
| キーワード(4)（和/英） | Goal Structuring Notation (GSN) / Goal Structuring Notation (GSN) |
| キーワード(5)（和/英） | モニタリング / Monitoring |
| 第 1 著者 氏名（和/英） | 小池 湧大 / Yudai Koike |
| 第 1 著者 所属（和/英） | 日本大学(略称：日大) Nihon University(略称：Nihon Univ.) |
| 第 2 著者 氏名（和/英） | 岡田 学 / Manabu Okada |
| 第 2 著者 所属（和/英） | 株式会社ティアフォー(略称：ティアフォー) Tier4, Inc.(略称：Tier4) |
| 第 3 著者 氏名（和/英） | 高井 利憲 / Toshinori Takai |
| 第 3 著者 所属（和/英） | 株式会社チェンジビジョン(略称：チェンジビジョン) Change Vision, Inc.(略称：Change Vision) |
| 第 4 著者 氏名（和/英） | 大熊 拓海 / Takumi Okuma |
| 第 4 著者 所属（和/英） | 日本大学(略称：日大) Nihon University(略称：Nihon Univ.) |
| 第 5 著者 氏名（和/英） | 松野 裕 / Yutaka Matsuno |
| 第 5 著者 所属（和/英） | 日本大学(略称：日大) Nihon University(略称：Nihon Univ.) |
| 発表年月日 | 2021-01-23 |
| 資料番号 | KBSE2020-29 |
| 巻番号（vol） | vol.120 |
| 号番号（no） | KBSE-334 |
| ページ範囲 | pp.1-6(KBSE), |
| ページ数 | 6 |
| 発行日 | 2021-01-16 (KBSE) |