Sandeep S.Kulkarni。;阿诺拉，阿尼什 自动添加容错功能。 （英语） Zbl 0986.68584号 Joseph，Mathai（编辑），实时和容错系统中的形式化技术。第六届国际研讨会，2000年FTRTFT，2000年9月20日至22日，印度浦那。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1926, 82-93 (2000). 摘要：在本文中，我们将重点放在自动将给定的容错程序转换为容错程序。我们展示了如何对三个级别的容错属性（故障保护、非任务和屏蔽）进行这种转换。对于程序可以在一个原子步骤中读取所有变量并写入所有变量的高原子性模型，我们证明了在容错程序的状态空间中，所有三个变换都可以在多项式时间内执行。对于对程序读写变量的能力施加限制的低原子性模型，我们证明了在容错程序的状态空间中，所有三个变换都可以在指数时间内执行。我们还表明，添加掩蔽容错的问题是NP-hard，因此，除非P=NP，否则指数复杂性是不可避免的。关于整个系列，请参见[Zbl 0947.00042号]. 引用于9文件 MSC公司： 68单位99 计算方法和应用 68N99型 软件理论 60年第68季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \textit{S.S.Kulkarni}和\textit{A.Arora}，莱克特。注释计算。科学。1926年，82-93年（2000年；Zbl 0986.68584）