风车

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

此软件的关键字

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

zbMATH中的参考文献（参考文献7条)

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

  1. 阿布贾拉德，福阿德；林一燕；Bonakdarpour，Borzoo；Kulkarni，Sandeep S.：在没有明确合法状态的情况下自动添加容错的复杂性（2015）
  2. Bonakdarpour，Borzoo；Kulkarni，Sandeep:合成有界时间2相故障恢复（2015）
  3. 陈景舒；Kulkarni，Sandeep:MR4UM:a framework for adding fault-tolerance to-UML状态图（2013）
  4. Bonakdarpour，Borzoo；库尔卡尼，Sandeep S。；Abujarad，Fuad:掩蔽容错分布式程序的符号合成（2012）
  5. 阿布贾拉德，F。；库尔卡尼S。S、 ：基于约束的自动添加非任务和稳定容错（2011）
  6. 吉罗，阿兰；罗顿，Éric:使用离散控制器合成自动添加容错功能（2009）
  7. Bonakdarpour，Borzoo；Kulkarni，Sandeep S.：SYCRAFT:一个用于合成分布式容错程序的工具（2008）ioport公司