| Budget Amount *help |
¥14,300,000 (Direct Cost: ¥11,000,000、Indirect Cost: ¥3,300,000)
Fiscal Year 2020: ¥5,070,000 (Direct Cost: ¥3,900,000、Indirect Cost: ¥1,170,000)
Fiscal Year 2019: ¥2,990,000 (Direct Cost: ¥2,300,000、Indirect Cost: ¥690,000)
Fiscal Year 2018: ¥2,990,000 (Direct Cost: ¥2,300,000、Indirect Cost: ¥690,000)
Fiscal Year 2017: ¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
|
|---|
| Outline of Final Research Achievements |
A key challenge in software systems that work in the real word and society is to verify that requirements are satisfied by the combination of system specification and expected environments. There is an emerging approach to use multi-step models with different levels of abstraction to mitigate complexity of specification and verification. However, it is difficult to design multi-step models for consistency verification and also to continuously update without breaking the consistency. In this research work, we tackled to provide a methodology to gradually refine multi-step models by gradually constructing and combining partial specification models. We evaluated the effectiveness of the proposed methodology with scenarios of advanced autonomous systems.
|
