基于B方法的实时控制系统的容错设计

摘要：

B方法是形式化方法之一,支持软件开发的全部过程,它通过严格的数学推导和证明来保证软件设计和代码的正确性.在现有的基本方法的基础上,要想进一步提高系统的可靠性,需要在软件开发中引入容错机制,使软件潜在的差错对可靠性的影响缩小到最低程度.本文将B方法应用于实时控制系统的容错设计,并通过变配电所的馈出实时控制系统这一实例的研究,阐述此方法从建立初始模型,精化到最终实现的开发步骤.

关键词：形式化方法、B方法、容错设计

所属期刊栏目：24

分类号：TP311.52(计算技术、计算机技术)

资助基金：国家自然科学基金资助70471046

在线出版日期：2008-07-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：22-24