| Budget Amount *help |
¥17,030,000 (Direct Cost: ¥13,100,000、Indirect Cost: ¥3,930,000)
Fiscal Year 2022: ¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2021: ¥2,990,000 (Direct Cost: ¥2,300,000、Indirect Cost: ¥690,000)
Fiscal Year 2020: ¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000)
Fiscal Year 2019: ¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000)
Fiscal Year 2018: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
|
|---|
| Outline of Final Research Achievements |
In this research, we proposed a formal method and a verification method for next-generation automotive systems to achieve their high reliability and high safety. The next-generation automotive systems face problems regarding uncertainty coming from intelligent systems, handling of a large amount of diverse data including images and videos, and computational complexity arising from advanced control. In this research, we proposed an extended and specialized version of conventional formal methods as well as new formal methods to solve and mitigate these problems. We also proposed solutions in combination with the other methods such as testing, modeling, and simulation to make our formal methods practical. We demonstrated the effectiveness of our method using open datasets and public documents. In addition, some of the research results have been successfully released as a commercial tool. Thus, we can say that we succeeded in proposing a practical method.
|
