检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]浙江大学人工智能研究所,浙江杭州310027 [2]中国科学院高能物理研究所计算中心,北京100049
出 处:《浙江大学学报(工学版)》2006年第11期1960-1965,1993,共7页Journal of Zhejiang University:Engineering Science
基 金:国家"973"重点基础研究发展规划资助项目(G1999035806);中国科学院知识创新工程重大项目(KJCX1-09)
摘 要:提出了一种基于有限状态机和层次化系统状态的分析模型来量化计算信息系统的生存性.通过系统定义和系统生存性测试逐层计算系统的生存性.定义系统为一种以系统服务为中心的层次结构,生存性测试是基于事件的分类分级来实现的,通过逐层计算系统的可抵抗性、可识别性和可恢复性来表示系统生存性.实例分析表明,这种基于层次化系统状态的生存性计算相比传统的基于系统状态的分析模型,避免了直接的状态定义和分析,具有更好的实际可操作性以及可编程性.An analysis model based on finite state machine and hierarchical system state was presented to quantitatively compute information system's survivability. The survivability was computed through system definition and system survivability test. The system was defined by a service-centered hierarchical structure, and the survivability test was carried out based on event classification and gradation. Then the survivability was obtained through computing resistibility, recognizability and recoverability layer by layer. Demonstration shows that this layered state-based computation is more practicable and programmable than the traditional system state based models for avoiding defining and analyzing system state directly.
分 类 号:TP309.08[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.141.202.216