Budget Amount *help |
¥44,850,000 (Direct Cost: ¥34,500,000、Indirect Cost: ¥10,350,000)
Fiscal Year 2014: ¥15,860,000 (Direct Cost: ¥12,200,000、Indirect Cost: ¥3,660,000)
Fiscal Year 2013: ¥15,730,000 (Direct Cost: ¥12,100,000、Indirect Cost: ¥3,630,000)
Fiscal Year 2012: ¥13,260,000 (Direct Cost: ¥10,200,000、Indirect Cost: ¥3,060,000)
|
Outline of Final Research Achievements |
In this research, we proposed software analysis, design, and verification techniques for evolvable cyber-physical systems. Techniques we proposed mainly include (1) a control-loop pattern for goal model and a goal model elaboration process according to the pattern, (2) a control-loop oriented architecture pattern enabling architecture derivation from an elaborated goal model, and software verification techniques to identify errors in the specification. In addition, we constructed a software development process with these techniques and developed software of cleaning systems in smart rooms according to the process to evaluate our techniques.
|