可生存性控制系统的有限状态机的设计.pdfVIP

2006年第23卷第10期 微电子学与计算机 7 可生存性控制系统的有限状态机的设计 黄燕芳 张玉清 (中国科学院研究生院国家计算机网络防范入侵中心，北京100049) 摘要：文章提出一种基于布尔表达式的可生存性控制系统的有限状态机的设计方法。基于系统服务、节点功能 和故障元素之间的布尔函数关系，给出可生存性控制系统的有限状态机的形式化规范，并自动满足受控系统的可 生存性。 关键词：可生存性，布尔表达式，有限状态机，控制系统 中图分类号：TP393 文献标识码：A 文章编号：1000—7180(2006)10--．0007-03 The ofFiniteStateMachinefor Control Design Survivability System