权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Model Checking of Fault-Tolerant Algorithms for the Dependability of Distributed Systems

分布式系统可靠性容错算法的模型检验

基本信息

批准号：
20700026
负责人：
TSUCHIYA Tatsuhiro
金额：
$ 2.16万
依托单位：
Osaka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2008
资助国家：
日本
起止时间：
2008 至 2010
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20700026/
关键词：
仕様記述仕様検証分散アルゴリズムモデル検査

项目摘要

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.

针对可用于实现容错分布式系统的核心算法--一致性算法，提出了一种机械验证方法。实验结果表明，当假设一个抽象的分布式系统模型时，我们的方法可以扩展到10个左右的计算节点。

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms

容错分布式算法模型检查的语言和工具支持

DOI：
发表时间：
2008
期刊：
Proceedings of 11th International Symposium on Pacific Rim Dependable Computing
影响因子：
0
作者：
Takahiro Minamikawa;Tatsuhiro Tsuchiya;Tohru Kikuno
通讯作者：
Tohru Kikuno

Using Bounded Model Checking to Verify Consensus Algorithms

DOI：
10.1007/978-3-540-87779-0_32
发表时间：
2008-09
期刊：
影响因子：
0
作者：
Tatsuhiro Tsuchiya;A. Schiper
通讯作者：
Tatsuhiro Tsuchiya;A. Schiper

Towards Automated Verification of Distributed Consensus Protocols

迈向分布式共识协议的自动验证

DOI：
发表时间：
2009
期刊：
Proceedings of 16th Asia-Pacific Software Engineering Conference (APSEC 2009)
影响因子：
0
作者：
Takahiro Minamikawa;Tatsuhiro Tsuchiya;Tohru Kikuno
通讯作者：
Tohru Kikuno

Tohru Kikuno, Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms

Tohru Kikuno，容错分布式算法模型检查的语言和工具支持

DOI：
发表时间：
2008
期刊：
Proceedings of 11th International Symposium on Pacific Rim Dependable Computing
影响因子：
0
作者：
Takahiro Minamikawa;Tatsuhiro Tsuchiya
通讯作者：
Tatsuhiro Tsuchiya

Andre Schiper, Using Bounded Model Checking to Verify Consensus Algorithms

Andre Schiper，使用有界模型检查来验证共识算法