次世代車載基盤システムのための形式手法と検証ツールの創出

体系的課題番号：JPMJCR23M1
実施期間：2023 - 2028
実施機関 (1件)：
研究代表者： ( , 先端科学技術研究科, 教授 )
研究概要：

本研究では、次世代車載基盤システムの安全性・信頼性を保証する形式手法および検証ツールを提案します。提案手法は、次世代車載基盤システムの認識から制御までをカバーし、形式仕様言語、制御仕様言語、そして、それらを用いた形式検証手法で構成します。また、提案手法の実践応用に拘ります。本研究の成果により、自動運転を支える基盤の安全性と信頼性が飛躍的に向上し、安全安心なモビリティ社会の実現が期待されます。

, , , , , ,

研究制度：＞＞
上位研究課題：基礎理論とシステム基盤技術の融合によるSociety 5.0のための基盤ソフトウェアの創出
研究所管機関：

国立研究開発法人科学技術振興機構

前のページに戻る