ポイント
- 自動運転車の本格普及に向けて、広範・詳細な安全性保証による社会的信頼の樹立が急務である。
- この目的に向けて、ISO 34502は自動運転車の危険シナリオ群を網羅的に定めている。しかし自然言語で記述されているため、意味内容に解釈の違いが生じる可能性があり、ソフトウェアツールによる機械的処理が容易ではなかった。
- 本研究では、「STL」という形式言語を用いて、ISO 34502の危険シナリオ群を数学的に定式化した。これにより危険シナリオ群の意味内容を確定させ、モニタリングなどの安全性評価タスクの自動化・効率化が可能になった。
- 自動運転車の安全性保証に貢献する成果であり、また一般に、自動運転を始めとする新技術の社会受容に向けて数学が果たすべき重要な役割を指し示す成果でもある。
情報・システム研究機構 国立情報学研究所(NII、所長:黒橋 禎夫、東京都千代田区)のアーキテクチャ科学研究系 教授 蓮尾 一郎と、京都大学(総長:湊 長博、京都府京都市) 大学院情報学研究科 助教 和賀 正樹らの研究グループは、科学技術振興機構(JST、理事長:橋本 和仁、東京都千代田区)の戦略的創造研究推進事業 ERATO 蓮尾メタ数理システムデザインプロジェクト(ERATO MMSD、研究総括:NII アーキテクチャ科学研究系 教授 蓮尾 一郎)などのもと、自動運転車の安全性保証の枠組みである国際標準ISO 34502で示された危険シナリオ群について、その意味内容の数学的定式化を行いました。
本研究では、従来英語などの自然言語で記述された危険シナリオを「STL(シグナル時相論理、Signal Temporal Logic)」という形式言語で記述することで、解釈の違いが生じる可能性がある危険シナリオの意味内容を確定させ、また危険シナリオを用いた安全性評価タスクの自動化・効率化を可能にしました。本成果は自動運転車の安全性保証に貢献する成果であり、また同時に、情報システムと人間社会との間の「契約」たる要求仕様の活用において、数学が果たしうる重要な役割を指し示すものでもあります。
本研究成果を、情報学応用に関する主要国際会議「The 39th ACM/SIGAPP Symposium On Applied Computing(SAC)2024」で2024年4月9日(中央ヨーロッパ時間)、発表しました。
本研究は、科学技術振興機構(JST) 戦略的創造研究推進事業 ERATO「蓮尾メタ数理システムデザインプロジェクト」(JPMJER1603)、JST 研究成果展開事業 大学発新産業創出プログラム START プロジェクト推進型 起業実証支援「ソフトウェア品質の論理的説明技術による、自動運転の本格普及の実現」(JPMJST2213)、JST 戦略的創造研究推進事業 CREST「AI集約的サイバーフィジカルシステムの形式的解析設計手法」(JPMJCR2012)の一環で行われました。また本研究では、三菱電機株式会社 情報技術総合研究所との協働も行いました。
<プレスリリース資料>
- 本文 PDF(945KB)
<論文タイトル>
- “Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance”
- DOI:10.48550/arXiv.2403.18764
<お問い合わせ先>
-
<JST事業に関すること>
今林 文枝(イマバヤシ フミエ)
科学技術振興機構 研究プロジェクト推進部 ICT/ライフイノベーショングループ
〒102-0076 東京都千代田区五番町7 K’s五番町
Tel:03-3512-3528 Fax:03-3222-2068
E-mail:eratowwwjst.go.jp森田 浩(モリタ ヒロシ)
粂田 真宏(クメタ マサヒロ)
科学技術振興機構 スタートアップ・技術移転推進部
〒102-0076 東京都千代田区五番町7 K’s五番町
Tel:03-5214-7054 Fax:03-3238-5373
E-mail:startjst.go.jp前田 さち子(マエダ サチコ)
科学技術振興機構 戦略研究推進部 ICTグループ
〒102-0076 東京都千代田区五番町7 K’s五番町
Tel:03-3512-3526 Fax:03-3222-2066
E-mail:crestjst.go.jp -
<報道担当>
情報・システム研究機構 国立情報学研究所 総務部 企画課 広報チーム
Tel:03-4212-2164
E-mail:medianii.ac.jp京都大学 渉外部 広報課 国際広報室
Tel:075-753-5729
E-mail:commsmail2.adm.kyoto-u.ac.jp科学技術振興機構 広報課
〒102-8666 東京都千代田区四番町5番地3
Tel:03-5214-8404 Fax:03-5214-8432
E-mail:jstkohojst.go.jp