分布式系统中服务可生存性的定量分析

被引：36

作者：

郭渊博

马建峰

机构：

[1] 西安电子科技大学计算机科学学院

来源：

同济大学学报(自然科学版) | 2002年 / 10期

关键词：

可生存性; 服务; 配置; 定量分析;

D O I：

暂无

中图分类号：

TP393.08 [];

学科分类号：

0839 ; 1402 ;

摘要：

随着关键性基础设施对分布式计算系统依赖程度的增高 ,人们对分布式系统的可生存性要求也日益增高 .基于配置的概念 ,将分布式系统视作层次化的结构 .在该层次化的结构中 ,定义了系统与配置、服务的关系 ,给出了比较服务可生存性大小的充分条件 ,描述了系统状态并定义了系统服务间的依赖关系 .然后 ,借助于传统容错方法中与或树概念 ,将服务用与或结构表示 ,从而给出了一种服务可生存性的定量表达方法 .

引用

页码：1190 / 1193

页数：4

共 8 条

[1] Critical foundations: Protecting america’s Infrastructures. Marsh T. . 1997
[2] Survivable computer-communication systems: The problem and working group recommendations. Hollway B A,Neumann P G. . 1993
[3] Survivable network systems: An emerging discpline. Ellison R,Fisher D,Linger R,et al. . 1997
[4] Survivability network system analysis: A case study. Ellison R,Linger R,Longstaff T,et al. IEEE Software . 1999
[5] Experimenting with quantitative evaluation tools for monitoring operational security. Ortalo R,Deswarte Y,Kaaniche M. IEEE Transactions on Software Engineering . 1999
[6] The complexity of probabilistic verification. Courcoubetis C,Yannakakis M. Journal of the ACM . 1995
[7] A case for two-level recovery schemes. Vaidya N H. IEEE Transactions on Computers . 1998
[8] Commputer related risks. Neumann P. . 1995

← 1 →