Hondaは自動運転技術の進化によって『すべての人に交通事故ゼロと自由な移動の喜びを提供する』ことを目指している。自動運転は交通社会課題に対する解決策として期待される一方、技術的課題のみならず社会的受容性の醸成や、安全性をいかに検証するのか、といった課題が存在している。本発表では、本年市販を開始した自動運転レベル３の技術を中心に紹介する。システムの機能と主要構成技術、そして実用化に当たっての主要課題であった、政府による法制度の取り組みと、特に重要であった安全論証に関する取り組みについて解説する。

杉本 洋一 氏
1986年、（株）本田技術研究所入社。以来、ブレーキ制御技術、予防安全／運転支援技術の研究に従事、世界初の追突軽減ブレーキ（CMBS）の実用化に携わる。2012年、Honda R＆D Americasに赴任、ITS領域の先行研究を担当。2015年、四輪R&Dセンターに帰任、上席研究員として予防安全／運転支援／自動運転領域の技術を担当。2019年より先進技術研究所に所属。2016年より内閣府 戦略的イノベーション創造プログラム（SIP）自動運転サブPD(Program Director)。

本発表ではリスクアセスメントおよび安全論証においてシナリオベース開発プラットフォームがどのような役割を果たすかについて紹介する。簡単なAEBSの機能を持つ自動運転システムと機械学習ベースの物体認識コンポーネントを事例として、ハザードや安全関連のシナリオを特定し、安全論証を行うという一連の流れに沿って解説する。オープンソースとして公開された GARDEN Scenario Platform の次期リリース情報も合わせて紹介する。

横田 剛典 氏
ARC(NTT DATA Automobiligence Research Center, Ltd.)の研究部門所属. ツール開発, データモデリング・データベース技術開発, 機械学習の品質保証技術の研究開発に従事.

今日行われている機能安全分析では、担当者や部署の都合、あるいは取引先の要請によって分析ツールを使い分ける事が多く、多くのツールを併用して分析を行っているケースが見られる。対応する必要のある規格と分析の工数が増える一方で、自動車システム開発においてモデルベース開発や検証の利用が増えている現在、なぜモデルを利用するべきなのか、モデルを利用する場合のメリットはどこにあるのかについてご紹介する。

石井 通義 氏
組込み業界で20年以上コンパイラやRTOS、構成管理やプロジェクト管理、CASEツールなどの組込み開発用ツールの営業及びマーケティングに従事し、組込み開発について広範な知識と経験を持つ。現在アンシス・ジャパンのシニアエンジニアとして、各種機能安全規格に対応したMBSE/MBD製品や安全性/信頼性分析製品、AI用ストレステスト製品やシステムシミュレーション製品の提案活動を行っている。

SOTIFの検証と妥当性確認について、系統的なシナリオベースのアプローチの概要を紹介します。シミュレーションから公道まで、多面的なテストを活用し、リスク低減およびテスト効率化を実現します。
We present an overview of a systematic, scenario-based approach, for SOTIF verification and validation. Leveraging multi-pillar testing, from simulation to public roads, in order to reduce risk and increase test efficiency.
（提供：株式会社堀場製作所）

Tim Edwards 氏
ADASおよびCAV技術の検証と妥当性確認を専門とするチーフエンジニア。業界団体や標準化機構と積極的に関わり、導入技術の機能性、安全性、堅牢性の確保を支援しています。
Tim Edwards is Chief Engineer specialising in the verification and validation of ADAS and CAV technologies. Tim is actively engaged with industry groups and standards bodies to ensure that deployed technologies are functional, safe and robust.

機能安全規格では、使用するコンパイラが正しいことをツール認定により証明する必要がある。ただ、固有のユースケースで評価するべきことは、意外と認識されていない。またツール認定は、様々な検証作業を行った後に実施されることが多く、その段階でコンパイラに欠陥が見つかると、手戻りなど甚大な問題を引き起こすことになる。加えて、呼び出し規約や、最適化、標準ライブラリなど、注意深く扱うべきことも多い。本講演では、コンパイラの検証について、事例を交えて俯瞰的に紹介する。

十山 圭介 氏
京都大学大学院情報工学専攻修士課程修了。東京工業大学大学院総合理工学研究科博士後期課程単位取得退学。（株）日立製作所にて30年以上最適化コンパイラや、システムLSI向けソフトウェア、マルチコアシステムの研究開発等に従事後、（独）情報処理推進機構ソフトウェア高信頼化センターにてコーディング規約ガイド、障害原因診断に関する調査と普及に従事。2018年より富士設備工業（株）電子機器事業部所属。博士（工学）

自動運転/ADAS開発に欠かすことができない試験ツールをご紹介する。現在、自動運転/ADAS車の機能向上に伴い、搭載されるセンサーは右肩上がりに増加し、そのテスト評価に多くのエンジニアが時間と労力を費やしている。東陽テクニカでは最新の計測器、ソフトウェアで自動運転/ADAS車の評価の最適化に貢献する。

新井 郁矢 氏
株式会社東陽テクニカで20年以上、海外の最新計測システムを日本の顧客に向けて企画、販売に従事。
現在は主に自動車開発評価向けの最新計測ツールをご提供している。

Linuxに対しては以前からリアルタイム性を向上させる取り組みがなされており、近年の車載組込みプロセッサの高性能化に伴って、リアルタイム性が必要な車載組込みシステムにも、Linuxが使われようとしている。本発表では、Linuxのリアルタイム性を向上させる技術について概観し、その限界と、適用にあたって注意すべき点について述べる。

高田 広章 氏
リアルタイムOSを中心に、組込みシステム設計・開発技術についての研究開発に従事。オープンソースのリアルタイムOS等を開発するTOPPERSプロジェクトを主宰。名古屋大学発ベンチャ企業APTJ（株）を設立し、その代表取締役会長・CTOを務める。博士（理学）。