Proj
J-GLOBAL ID：202404019967181608
Research Project code：23826147
次世代車載基盤システムのための形式手法と検証ツールの創出
次世代車載基盤システムのための形式手法と検証ツールの創出
National award number：JPMJCR23M1
Study period：2023 - 2028
Organization (1)：
Principal investigator：
(
, 先端科学技術研究科, 教授 )
DOI：
https://doi.org/10.52926/JPMJCR23M1
Research overview：
本研究では、次世代車載基盤システムの安全性・信頼性を保証する形式手法および検証ツールを提案します。提案手法は、次世代車載基盤システムの認識から制御までをカバーし、形式仕様言語、制御仕様言語、そして、それらを用いた形式検証手法で構成します。また、提案手法の実践応用に拘ります。本研究の成果により、自動運転を支える基盤の安全性と信頼性が飛躍的に向上し、安全安心なモビリティ社会の実現が期待されます。
Terms in the title (7)：
Terms in the title
Keywords automatically extracted from the title.
,
,
,
,
,
,
Research program：
＞
＞
Parent Research Project：
Creation of System Software for Society 5.0 by Integrating Fundamental Theories and System Platform Technologies
Organization with control over the research：
Japan Science and Technology Agency
