基于Petri网的容错计算机可靠性
基于Ｐｅｔｒｉ网的容错计算机可靠性
秦旭东
北京航空航天大学自动化科学与电气工程学院
摘
要
把复杂的混合Petri 网模型简化为GSPN
模型
来计算系统的可靠性
容错计算机
可靠性
Reliability of Fault-tolerant Computer Systems Based on Petri Nets
QIN Xudong, CHEN Zongji
(School of Automation Science and Electrical Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100083)
Key words
24 2005年
12月
December 2005
1000
0033
A
中图分类号
它主要采
用冗余技术来达到容忍故障的目的
如航空航天系统
如何对
容错计算机系统的可靠性进行有效评价也是目前系统可靠性
研究领域的热点问题之一
使用随机的可靠性模型
有助于设计者从备选的容错方案中
通常用可靠性框图分析
法故障树分析法
容错系统可靠性框图分析法
从而由组
成系统的各部件的可靠度推导出系统可靠度
可靠度框图难以构造
很难用该方法为修复过程建模[2]
?í???é
·òá′??è??ü1??¨á￠?÷???ˉì??μí3μ??￡Dí
ò22??üóDD§μ??èê?èY′í?????ú?μí3μ?
?á11ò??°?μí3?ú?÷2?·?2￠·￠μè?à?￥1??μ
Dí?àè???
FTA 的理论和应
用进行了研究FTA 是对各种复杂系统进行可靠性分
析的好方法
建立故障树很麻烦
同时传统的FTA
不能反应出容错计算机系统的动态特性和余度管理中的排序过程[3]
μ?????ó?à?é￠
Petri 网不能有效的消除瞬态故障对
分析系统可靠性的影响
传播的动态过程
如并发把模型简化为广义随机Petri
网利用GSPN
与马尔可夫
链同构的性质对系统进行可靠
性计算
在容错计算机系统运行过程中
为了消除瞬态故障对分析系统可靠性
的影响才可判定该计算机真正出现故障[5]
2??ü°?à?é￠ê??toíá?D??μí3??óúí3ò?μ??ò?ü?úà′????
?ü°üà¨ò???à?é￠
Petri 网和一个
由微分方程描述的连续变量动态系统
Petri
网已经成为在逻辑层次上对离散事件动态系统进行建模和分
析的主要方法之一
导出了不同特点和形式的多种
Petri 网GSPN 中的变迁分为两个子集
瞬时变迁集1{
,...,}
i k
n T t t +=与时间变迁集相关联的平均实施速
率集合为12{,,...}
k λλλλ=?√√?≈?
?×??∨?∨×?∈≈√?∝?±?∩?∝?≈?
≈ ≡?Petri 网
DPN
CPN
国家自然科学基金重大研究计划资助项目秦旭东(1976
男
余度飞控计算
机及虚拟样机技术
陈宗基
2005-01-04 E-mail