Computational Model of Failure and Its Analysing
| Project/Area Number |
24500009
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2012-04-01 – 2018-03-31
|
| Project Status |
Completed (Fiscal Year 2017)
|
| 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)
|
|---|
| Keywords | モデル検査 / システム検証 / 故障 / 計算モデル / プロセス代数 / プロセス計算 / システムの形式化 / システム故障 |
|---|
| 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.
|
Report
(7 results)
Research Products
(11 results)
