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

研究課題

体系的番号	JPMJCR23M1
DOI	https://doi.org/10.52926/JPMJCR23M1
研究代表者	青木利晃北陸先端科学技術大学院大学, 先端科学技術研究科, 教授
研究期間 (年度)	2023 – 2028
概要	本研究では、次世代車載基盤システムの安全性・信頼性を保証する形式手法および検証ツールを提案します。提案手法は、次世代車載基盤システムの認識から制御までをカバーし、形式仕様言語、制御仕様言語、そして、それらを用いた形式検証手法で構成します。また、提案手法の実践応用に拘ります。本研究の成果により、自動運転を支える基盤の安全性と信頼性が飛躍的に向上し、安全安心なモビリティ社会の実現が期待されます。
研究領域	基礎理論とシステム基盤技術の融合によるSociety 5.0のための基盤ソフトウェアの創出

主な研究成果
(5件)

すべて 2024

すべて雑誌論文 (5件) (国際共著 1件、査読あり 5件、オープンアクセス 4件)

[雑誌論文] 宇宙機システムにおける運用シナリオのコンパクト化メタモデル2024
- 著者名
  染谷一徳，青木利晃，石濱直樹
- 雑誌名
  
  電子情報通信学会論文誌D
  
  号: 12 ページ: 532-543
- 査読あり / オープンアクセス
[雑誌論文] A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method2024
- 著者名
  Daisuke Ishii
- 雑誌名
  
  Proceedings of International Symposium on Model Checking Software
  
  巻: 14624 ページ: 67-84
- 査読あり / オープンアクセス
[雑誌論文] Bridging Gaps between Scenario-Based Safety Analysis and Simulation-based Testing for Autonomous Driving Systems2024
- 著者名
  Phaiboon Jaradnaparatana, Buntita Sriarunothai, Chutikarn Kamsem, Supithcha Jongphoemwatthanaphon, Burit Sihabut, Duong Dinh Tran, Toshiaki Aoki
- 雑誌名
  
  IEEE Pacific Rim International Symposium on Dependable Computing Workshop
  
  ページ: 216-219
- 査読あり / オープンアクセス / 国際共著
[雑誌論文] Specification-Based Testing of the Image-Recognition Performance of Automated Driving Systems2024
- 著者名
  Kento Tanaka, Toshiaki Aoki, Takashi Tomita, Daisuke Kawakami, Nobuo Chida
- 雑誌名
  
  IEEE Access
  
  巻: 13 ページ: 6349
- 査読あり / オープンアクセス
[雑誌論文] A Real-Blasting Extension of cvc5 for Reasoning About Floating-Point Arithmetic2024
- 著者名
  Daisuke Ishii
- 雑誌名
  
  Verification, Model Checking, and Abstract Interpretation
  
  巻: 15529 ページ: 148-162
- 査読あり

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

研究代表者

青木 利晃 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授

主な研究成果

[雑誌論文] 宇宙機システムにおける運用シナリオのコンパクト化メタモデル2024

著者名

雑誌名

[雑誌論文] A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method2024

著者名

雑誌名

[雑誌論文] Bridging Gaps between Scenario-Based Safety Analysis and Simulation-based Testing for Autonomous Driving Systems2024

著者名

雑誌名

[雑誌論文] Specification-Based Testing of the Image-Recognition Performance of Automated Driving Systems2024

著者名

雑誌名

[雑誌論文] A Real-Blasting Extension of cvc5 for Reasoning About Floating-Point Arithmetic2024

著者名

雑誌名

青木利晃北陸先端科学技術大学院大学, 先端科学技術研究科, 教授