风车

Sycraft是一种将分布式容错程序转换为分布式容错程序的工具。在Sycraft中，分布式容错程序是用一组过程和一个不变量来指定的。每一个进程都被指定为一组操作，一组进程可以读取的变量，以及一组进程可以写入的变量。分布问题是在共享内存模型中解决的，在共享内存模型中，进程受其读写程序变量的能力的限制。给定一组故障动作和安全规范，该工具通过相应综合算法的符号实现来合成容错程序[BK07]。Sycraft已成功地用于综合分布式系统容错计算文献中的一些经典协议（如拜占庭协议、令牌环等）。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH参考文献（参考 7篇文章 参考）

显示结果1到7，共7个。
按年份排序(引用)

  1. 无容错的Borkdad，Borkdad；Borkdad-Zoo；Abulkardi-Zoo；Abulkard-Zoo；Abulkardi-Zoo，2015年）
  2. Bonakdarpour，Borzoo；Kulkarni，Sandeep:合成有界时间2相故障恢复（2015）
  3. 陈景舒；库尔卡尼，山德普：MR4UM：一个为UML状态图添加容错的框架（2013）
  4. Bornakdarpour，Borzoo；Kulkarni，Sandeep S.；Abujarad，Fuad:掩蔽容错分布式程序的符号合成（2012）
  5. Abujarad，F.；Kulkarni，S.S.：基于约束的自动添加非任务和稳定容错（2011）
  6. Girault，Alain；Rutten，çric:使用离散控制器合成自动添加容错（2009）
  7. Bornakdarpour，Borzoo；Kulkarni，Sandeep S.：SYCRAFT:用于合成分布式容错程序的工具（2008）ioport公司