2010 Fiscal Year Final Research Report
Model Checking of Fault-Tolerant Algorithms for the Dependability of Distributed Systems
| Project/Area Number |
20700026
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
TSUCHIYA Tatsuhiro Osaka University, 大学院・情報科学研究科, 准教授 (30283740)
|
|---|
| Project Period (FY) |
2008 – 2010
|
| Keywords | 仕様記述 / 仕様検証 |
|---|
| Research Abstract |
A mechanical verification approach is proposed to verify consensus algorithms, which are core algorithms that can be used in implementing fault-tolerant distributed systems. Experiment results show that when an abstract distributed system model is assumed, our approach can scale up to around ten computing nodes.
|
Research Products
(7 results)
