双过程机热备份集群系统的可信性建模与仿真  

Dependability modeling and simulating of a two-node hot-standby cluster of process control system

作　　者：李江昀[1] 童朝南[1] 孙一康[1] 

机构地区：[1]北京科技大学信息工程学院,北京100083

出　　处：《北京科技大学学报》2007年第1期76-81,共6页Journal of University of Science and Technology Beijing

基　　金：国家发改委高技术资助项目(发改办高技[2005]1899)

摘　　要：用SRN网为过程控制计算机热备系统建立了可用性评价模型,综合考虑盘阵共享和镜像共享两种方式,并利用SP-NP软件包对数据进行分析和仿真,仿真结果为可用性评价提供了定量指标.研究结果表明:在同等条件下使用镜像共享方式比盘阵共享方式提高系统可用性更显著;缩短故障发现时间,加快系统修复速度,可有效提高系统可用性.A SRN model for a two-node hot-standby cluster of process control system in process industry was constructed, in which a precise description about the system status and behavior of permanent failure and intermittent failure was proposed and both raid share and image share were considered. The availability of the system was simulated and analyzed using SPNP package. The results showed that image share could obviously enhance the availability of the system compared with raid share in the same condition. Reducing the time of failure discovery and increasing the speed of failure repair could also improve the availability.

关 键 词：双机热备份 集群 PETRI网 可信性建模 

分 类 号：TP273.5[自动化与计算机技术—检测技术与自动化装置]