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

• 作者: 张玉清 黄燕芳
• 来源期刊: 微电子学与计算机
• 关键词: 可生存性 布尔表达式 有限状态机 控制系统
• 年，卷（期）: 2006,（10）
• 页码范围: 7-9,12
• 页数: 4页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2006.10.003

摘要

文章提出一种基于布尔表达式的可生存性控制系统的有限状态机的设计方法.基于系统服务、节点功能和故障元素之间的布尔函数关系,给出可生存性控制系统的有限状态机的形式化规范,并自动满足受控系统的可生存性.