2017 Fiscal Year Final Research Report
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
|
| 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.
|
| Free Research Field |
プログラム言語理論
|
