10.3969/j.issn.1008-0570.2008.13.010
基于B方法的实时控制系统的容错设计
B方法是形式化方法之一,支持软件开发的全部过程,它通过严格的数学推导和证明来保证软件设计和代码的正确性.在现有的基本方法的基础上,要想进一步提高系统的可靠性,需要在软件开发中引入容错机制,使软件潜在的差错对可靠性的影响缩小到最低程度.本文将B方法应用于实时控制系统的容错设计,并通过变配电所的馈出实时控制系统这一实例的研究,阐述此方法从建立初始模型,精化到最终实现的开发步骤.
形式化方法、B方法、容错设计
24
TP311.52(计算技术、计算机技术)
国家自然科学基金资助70471046
2008-07-22(万方平台首次上网日期,不代表论文的发表时间)
共3页
22-24