| Budget Amount *help |
¥16,640,000 (Direct Cost: ¥12,800,000、Indirect Cost: ¥3,840,000)
Fiscal Year 2021: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2020: ¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2019: ¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2018: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
|
|---|
| Outline of Final Research Achievements |
We aimed to realize Graceful Degradation, which guarantees maximum safety even in the case of "changes that were not assumed at the time of development". For this purpose, this research established Models@run.time techniques in which the system itself utilizes the model at runtime to realize self-adaptation with guarantees. Specifically, we have established techniques that (1) reflect changes that were not assumed during development in the model and (2) automatically synthesize at runtime a behavior specification that guarantees safety under the updated environmental model. We also developed a models@run.time framework that reflects the established technology, and clarified the its effectiveness and limitations through evaluation experiments on IoT systems and robot systems.
|
