期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于Petri网的容错计算机可靠性 被引量：4

Reliability of Fault-tolerant Computer Systems Based on Petri Nets
下载PDF
导出
摘要 应用双模型混合Petri网描述与分析容错计算机系统。在分析容错系统的可靠性时,把复杂的混合Petri网模型简化为GSPN模型,并利用GSPN与马尔可夫链同构的性质,来计算系统的可靠性。 Hybrid Petri nets is used to describe and analyse the fault-tolerant computer systems. By using HPN, static architectures of the fault-tolerant computer systems and dynamic behaviors of fault generation and promulgation are properly described, and the effect of transient error on reliability analysis of fault-tolerant computer systems can also be eliminated. The HPN model is simplified to GSPN model, and then GSPN model is converted to Markov chain to calculate the reliability of the systems.
作者 秦旭东 陈宗基
机构地区 北京航空航天大学自动化科学与电气工程学院
出处 《计算机工程》 EI CAS CSCD 北大核心 2005年第24期33-35,共3页 Computer Engineering
基金 国家自然科学基金重大研究计划资助项目(90205011)
关键词 容错计算机 广义随机PETRI网 混合PETRI网 可靠性 Fault-tolerant computer GSPN HPN Reliability
分类号 TP393 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献4

  • 1Huszerl G, Majzik I. Modeling and Analysis of Redundancy Management in Distributed Object-oriented Systems by Using UML Statecharts. In: Proceedings of 27^th, Euromicro Conference, 2001-09:2OO.
  • 2Yao Yiping, Cheng Minghua. The Application on Dynamic Fault Tree Analysis for Dissimilar Fault-tolerant Flight Control System. In:Digital Avionics Systems Conference, Proceedings of 18^th, 1999.
  • 3Jean-Francois E, Malecka S, Robert V. Petri Nets for the Evaluation of Redundant Systems. Reliability Engineering & System Safety, 1997,55 (2): 95-104.
  • 4李惠峰,周锐,于之音.混合条件/事件Petri网在飞控系统建模中的应用[J].系统仿真学报,2004,16(2):297-301. 被引量：2

二级参考文献11

  • 1[4]Peleties P, Decarlo R. A Modeling Strategy for Hybrid Systems Based on Event Structures [J], Discrete Event Dynamic Systems: Theory and Applications 1993, 3: 39-69.
  • 2[5]Alur R, Courcoubetis C, Henzinger T A. Hybrid Automata: an Algorithm Approach to the Specification and Verification of Hybrid Systems [A], Hybrid Systems, LNCS [C], 1993, 736: 209-229, Springer-Verlag.
  • 3[6]Xu X H, Li Z, Li Y. Generalized Petri Nets for a Class of Hybrid Dynamic Systems [A], Proceedings of 13th IFAC triennial World Congress [C], San Francisco USA, 1996, 305-310.
  • 4[7]Godbole D N, Lygeros J, Sastry S. Hierarchical Hybrid Control: a Case Study [A], Hybrid Systems, LNCS [C], 1995, 999: 166-190.
  • 5[8]Tittus M. Contro of Batch Process [D], PhD. Dissertation, Gothenburg, 1995.
  • 6[9]Binns P, Jackson M, Vestal S. An Implementation for Hybrid Continuous Variable/Discrete Event Dynamic Systems [A], Proceedings of the 31st Conference on Decision and Control [C], Tucson, 1992, 2973-2979.
  • 7[10]Grossman R L, Larson R G. An Algebraic Approach to Hybrid Systems [J], Theoretical Computer Science 138, 101-112, 1995.
  • 8[11]Chen Haoxun, Hanisch H M. Hybrid Net Condition/Event Systems for Modeling and Analysis of Batch Processes [A], Proceedings of ADPM'98 [C], Reims, France, March 19-20, 1998.
  • 9[1]Dogruel M, Ozguner U. Modeling and Stability Issues in Hybrid Systems [A], Hybrid Systems, LNCS [C], 1995, 999: 148-165.
  • 10[2]Branicky M S. Studies in Hybrid Systems: Modeling, Analysis and Control [M], Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, Cambridge, 1995.

共引文献1

同被引文献34

  • 1陈宗基,秦旭东,高金源.非相似余度飞控计算机[J].航空学报,2005,26(3):320-327. 被引量：41
  • 2唐明,张国平,张焕国.基于汉明纠错编码的AES硬件容错设计与实现[J].电子学报,2005,33(11):2013-2016. 被引量：7
  • 3武建锋,荆文芳.双机容错方案设计[J].电子产品可靠性与环境试验,2006,24(1):19-22. 被引量：4
  • 4仉俊峰,洪炳镕,袁成军.一种基于Markov模型的星载计算机系统可靠性评测的新方式[J].宇航学报,2007,28(4):1053-1058. 被引量：5
  • 5Friedman M A, Tran P. Reliability techniques for combined hardware/software systems [ A ]. In Proc, IEEE. RAMS' 92 [C]. Reliability and Maintainability Symposium, 1992. 290 - 293.
  • 6Goel A L, Soenjoto J. Models for hardware/software operational performance evaluation[J]. IEEE Transactions on Reliability, 1992, R - 30:232 - 239.
  • 7Sumita U, Masuda Y. Analysis of software availability/reliability under the influence of hardware failures[ J]. IEEE, Transactions on Software Engineering, 1986, SE- 12:32- 41.
  • 8Welke S R, Johnson B W, Aylor J H. Reliability modeling of hardware/software systems[ J]. IEEE Transactions on Reliability, 1995,44(3) :413 - 418.
  • 9Kumar V K, Bechta D J. Reliability analysis of complex hardware-software systems[ A]. In Proc IEEE RAMS' 09[ C ]. Reliability and Maintainability Symposium, 1999. 178 - 182.
  • 10Dugan, J B. Reliability analysis of a hardware and software fault tolerant parallel processor [ A ]. In Proc IEEE RDS' 94 [C]. Reliability Distributed Systems, 1994.74- 83.

引证文献4

二级引证文献30

计算机工程
2005年 第24期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部