关于容错系统形式化规范的方法
软件工程
2012-07-12 v1 形式语言与自动机理论
摘要
本文介绍了理解问题和故障的不同视角，旨在定义一种系统形式化规范的方法。提出了分层容错规范（LFTS）的思想，使该方法可扩展到容错系统。其原理是将规范分层为不同层次，第一层用于正常行为，其他层用于异常行为。异常行为通过错误注入器（EI）来描述，它代表了来自环境的错误干扰模型。这种结构受到理想化容错组件概念的启发，但使用Rely/Guarantee推理来描述LFTS和EI之间的交互可视为一项新颖贡献。通过案例研究实验，我们在该方法以及组织容错规范的方式上取得了进展，并给出了一个示例。
引用
@article{arxiv.1207.2754,
title = {On Methods for the Formal Specification of Fault Tolerant Systems},
author = {Manuel Mazzara},
journal= {arXiv preprint arXiv:1207.2754},
year = {2012}
}
备注
Presented and published at DEPEND 2011