ソフトウェア品質の論理的説明技術による、自動運転の本格普及の実現

研究課題

産学が連携した研究開発成果の展開研究成果展開事業大学発新産業創出プログラム(START) プロジェクト推進型起業実証支援

体系的番号	JPMJST2213
DOI	https://doi.org/10.52926/JPMJST2213
研究代表者	蓮尾一郎国立情報学研究所, アーキテクチャ科学研究系, 教授
研究期間 (年度)	2022 – 2024 (予定)
概要	ソフトウェアの品質と安全性を解析・向上させ、顧客および社会に説明を行うＩＣＴサービスを提供するベンチャー企業設立を目指す。特に自動運転に論理学的な解析・説明技術を適用し、自動運転の社会受容と本格普及を実現する。

主な研究成果
(2件)

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

[雑誌論文] Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications2024
- 著者名
  Sota Sato, Jie An, Zheyna Zhang and Ichiro Hasuo
- 雑誌名
  
  36th International Conference on Computer Aided Verification
  
  巻: - 号: - ページ: 282-306
- DOI
  10.1007/978-3-031-65633-0_13
- 査読あり / オープンアクセス
[雑誌論文] Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance2024
- 著者名
  Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, ?tienne Andr?, Ichiro Hasuo, Naoki Ueda and Yosuke Yokoyama
- 雑誌名
  
  The 39th ACM/SIGAPP Symposium on Applied Computing
  
  巻: - 号: - ページ: 186-195
- DOI
  10.1145/3605098.3636014
- 査読あり / オープンアクセス / 国際共著