| Budget Amount *help |
¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000)
Fiscal Year 2016: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2015: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2014: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2013: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2012: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
|
|---|
| Outline of Final Research Achievements |
The purpose of this research is development of formal method including system verification in order to analyze behavior of software systems in case of system faults. We studied formal computational model of system faults and its application using model checking, which enables us to analyze behavior of software systems in case of faults. Especially, our research was focused on the following points: (1) computational model of system faults; (2) formal analysis of behavior in case of system faults based on a translation of our fault model into a traditional computation model; (3) verification system supporting our analyzing method; (4) formalization using theorem proving.
|
