| 可生存性控制系统的有限状态机的设计 |
| |
| 引用本文： | 黄燕芳,张玉清. 可生存性控制系统的有限状态机的设计[J]. 微电子学与计算机, 2006, 23(10): 7-9,12 |
| |
| 作者姓名： | 黄燕芳 张玉清 |
| |
| 作者单位： | 中国科学院,研究生院,国家计算机网络防范入侵中心,北京,100049 |
| |
| 基金项目： | 国家自然科学基金;中国科学院研究生院科研启动基金 |
| |
| 摘 要： | 文章提出一种基于布尔表达式的可生存性控制系统的有限状态机的设计方法。基于系统服务、节点功能和故障元素之间的布尔函数关系．给出可生存性控制系统的有限状态机的形式化规范，并自动满足受控系统的可生存性。
|
| 关 键 词： | 可生存性 布尔表达式 有限状态机 控制系统 |
| 文章编号： | 1000-7180（2006）10-0007-03 |
| 收稿时间： | 2006-04-28 |
| 修稿时间： | 2006-04-28 |
The Design of Finite State Machine for Survivability Control System |
| |
| HUANG Yan-fang,ZHAGN Yu-qing. The Design of Finite State Machine for Survivability Control System[J]. Microelectronics & Computer, 2006, 23(10): 7-9,12 |
| |
| Authors: | HUANG Yan-fang ZHAGN Yu-qing |
| |
| Affiliation: | National Computer Network Intrusion Protection Center, GUCAS, Beijing 100049 |
| |
| Abstract: | A design approach of finite state machine for survivability control system based on Boolean expression (BoolSFSM) is proposed. The relationships among system service, node functions and fault variables are explored and presented in Boolean expression. A formal FSM for the control system is then constructed and automatically ensures a survivable controlled system. |
| |
| Keywords: | Survivability Boolean expression Finite state machine Control system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
