| Budget Amount *help |
¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2015: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2014: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2013: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
|---|
| Outline of Final Research Achievements |
The research includes both the fundamental and practical approaches to "data integrity", "performance prediction", and security for mission critical systems like enterprise information systems running in the cloud computing environments, which recently are focused on as information processing platforms. As a result, an integrated validation and evaluation process is established, combining the colored Petri Nets (CPN) based simulation and the UPPAAL based logical analysis. In addition, a specification language VDM++ is complementary used. In order to make the above process applicable to vast application domains, several techniques have been developed, which can separate clearly the common cloud platform functionality and the application specific logic.
|
