Proj
J-GLOBAL ID:202304004383487808
Research Project code:22723607
ソフトウェア品質の論理的説明技術による、自動運転の本格普及の実現
ソフトウェア品質の論理的説明技術による、自動運転の本格普及の実現
National award number:JPMJST2213
Study period:2022 - 2024
Organization (1):
Principal investigator:
(
, アーキテクチャ科学研究系, 教授 )
DOI:
https://doi.org/10.52926/JPMJST2213
Research overview:
ソフトウェアの品質と安全性を解析・向上させ、顧客および社会に説明を行うICTサービスを提供するベンチャー企業設立を目指す。特に自動運転に論理学的な解析・説明技術を適用し、自動運転の社会受容と本格普及を実現する。
Terms in the title (3):
Terms in the title
Keywords automatically extracted from the title.
,
,
Research program:
>
>
>
Organization with control over the research:
Japan Science and Technology Agency
Return to Previous Page