| 講演抄録/キーワード |
| 講演名 |
2021-01-23 13:05
DevOpsアシュアランスケースによる自動運転システムの安全性保証 ○小池湧大(日大)・岡田 学(ティアフォー)・高井利憲(チェンジビジョン)・大熊拓海・松野 裕(日大) KBSE2020-29 |
| 抄録 |
(和) |
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 / / / |
| 文献情報 |
信学技報, vol. 120, no. 334, KBSE2020-29, pp. 1-6, 2021年1月. |
| 資料番号 |
KBSE2020-29 |
| 発行日 |
2021-01-16 (KBSE) |
| ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
査読に ついて |
本技術報告は査読を経ていない技術報告であり,推敲を加えられていずれかの場に発表されることがあります. |
| PDFダウンロード |
KBSE2020-29 |
| 研究会情報 |
| 研究会 |
KBSE |
| 開催期間 |
2021-01-23 - 2021-01-23 |
| 開催地(和) |
オンライン開催 |
| 開催地(英) |
Online |
| テーマ(和) |
一般,学生 |
| テーマ(英) |
General, Student |
| 講演論文情報の詳細 |
| 申込み研究会 |
KBSE |
| 会議コード |
2021-01-KBSE |
| 本文の言語 |
日本語 |
| タイトル(和) |
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 |
| キーワード(6)(和/英) |
/ |
| キーワード(7)(和/英) |
/ |
| キーワード(8)(和/英) |
/ |
| 第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.) |
| 第6著者 氏名(和/英/ヨミ) |
/ / |
| 第6著者 所属(和/英) |
(略称: )
(略称: ) |
| 第7著者 氏名(和/英/ヨミ) |
/ / |
| 第7著者 所属(和/英) |
(略称: )
(略称: ) |
| 第8著者 氏名(和/英/ヨミ) |
/ / |
| 第8著者 所属(和/英) |
(略称: )
(略称: ) |
| 第9著者 氏名(和/英/ヨミ) |
/ / |
| 第9著者 所属(和/英) |
(略称: )
(略称: ) |
| 第10著者 氏名(和/英/ヨミ) |
/ / |
| 第10著者 所属(和/英) |
(略称: )
(略称: ) |
| 第11著者 氏名(和/英/ヨミ) |
/ / |
| 第11著者 所属(和/英) |
(略称: )
(略称: ) |
| 第12著者 氏名(和/英/ヨミ) |
/ / |
| 第12著者 所属(和/英) |
(略称: )
(略称: ) |
| 第13著者 氏名(和/英/ヨミ) |
/ / |
| 第13著者 所属(和/英) |
(略称: )
(略称: ) |
| 第14著者 氏名(和/英/ヨミ) |
/ / |
| 第14著者 所属(和/英) |
(略称: )
(略称: ) |
| 第15著者 氏名(和/英/ヨミ) |
/ / |
| 第15著者 所属(和/英) |
(略称: )
(略称: ) |
| 第16著者 氏名(和/英/ヨミ) |
/ / |
| 第16著者 所属(和/英) |
(略称: )
(略称: ) |
| 第17著者 氏名(和/英/ヨミ) |
/ / |
| 第17著者 所属(和/英) |
(略称: )
(略称: ) |
| 第18著者 氏名(和/英/ヨミ) |
/ / |
| 第18著者 所属(和/英) |
(略称: )
(略称: ) |
| 第19著者 氏名(和/英/ヨミ) |
/ / |
| 第19著者 所属(和/英) |
(略称: )
(略称: ) |
| 第20著者 氏名(和/英/ヨミ) |
/ / |
| 第20著者 所属(和/英) |
(略称: )
(略称: ) |
| 第21著者 氏名(和/英/ヨミ) |
/ / |
| 第21著者 所属(和/英) |
(略称: )
(略称: ) |
| 第22著者 氏名(和/英/ヨミ) |
/ / |
| 第22著者 所属(和/英) |
(略称: )
(略称: ) |
| 第23著者 氏名(和/英/ヨミ) |
/ / |
| 第23著者 所属(和/英) |
(略称: )
(略称: ) |
| 第24著者 氏名(和/英/ヨミ) |
/ / |
| 第24著者 所属(和/英) |
(略称: )
(略称: ) |
| 第25著者 氏名(和/英/ヨミ) |
/ / |
| 第25著者 所属(和/英) |
(略称: )
(略称: ) |
| 第26著者 氏名(和/英/ヨミ) |
/ / |
| 第26著者 所属(和/英) |
(略称: )
(略称: ) |
| 第27著者 氏名(和/英/ヨミ) |
/ / |
| 第27著者 所属(和/英) |
(略称: )
(略称: ) |
| 第28著者 氏名(和/英/ヨミ) |
/ / |
| 第28著者 所属(和/英) |
(略称: )
(略称: ) |
| 第29著者 氏名(和/英/ヨミ) |
/ / |
| 第29著者 所属(和/英) |
(略称: )
(略称: ) |
| 第30著者 氏名(和/英/ヨミ) |
/ / |
| 第30著者 所属(和/英) |
(略称: )
(略称: ) |
| 第31著者 氏名(和/英/ヨミ) |
/ / |
| 第31著者 所属(和/英) |
(略称: )
(略称: ) |
| 第32著者 氏名(和/英/ヨミ) |
/ / |
| 第32著者 所属(和/英) |
(略称: )
(略称: ) |
| 第33著者 氏名(和/英/ヨミ) |
/ / |
| 第33著者 所属(和/英) |
(略称: )
(略称: ) |
| 第34著者 氏名(和/英/ヨミ) |
/ / |
| 第34著者 所属(和/英) |
(略称: )
(略称: ) |
| 第35著者 氏名(和/英/ヨミ) |
/ / |
| 第35著者 所属(和/英) |
(略称: )
(略称: ) |
| 第36著者 氏名(和/英/ヨミ) |
/ / |
| 第36著者 所属(和/英) |
(略称: )
(略称: ) |
| 講演者 |
第1著者 |
| 発表日時 |
2021-01-23 13:05:00 |
| 発表時間 |
30分 |
| 申込先研究会 |
KBSE |
| 資料番号 |
KBSE2020-29 |
| 巻番号(vol) |
vol.120 |
| 号番号(no) |
no.334 |
| ページ範囲 |
pp.1-6 |
| ページ数 |
6 |
| 発行日 |
2021-01-16 (KBSE) |