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

作     者：黄燕芳 张玉清 HUANG Yan-fang;ZHAGN Yu-qing

作者机构：中国科学院研究生院国家计算机网络防范入侵中心北京100049 

基　　金：国家自然科学基金(60573048 60373040) 中国科学院研究生院科研启动经费项目 

出 版 物：《微电子学与计算机》 (Microelectronics & Computer)

年 卷 期：2006年第23卷第10期

页      码：7-9,12页

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

主 题 词：可生存性 布尔表达式 有限状态机 控制系统 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-7180.2006.10.003

馆 藏 号：203151075...