期刊文献+

飞控计算机系统分层混合可靠性建模方法 被引量:7

Hierarchical Hybrid Reliability Modeling Method for Flight Control Computer System
下载PDF
导出
摘要 对于复杂的非相似、多余度飞控计算机系统,根据其结构特点,综合静态和动态可靠性建模方法的优势,提出了采用可靠性框图(RBD)和广义随机Petri网(GSPN)相结合的分层混合建模方法,并对建模过程中低层各子系统存在共因失效部件情况下的可靠性建模和求解作了分析.分别采用分层混合建模方法和动态可靠性建模GSPN方法对Boeing777电传主飞控计算机系统进行可靠性建模和分析.同动态GSPN方法相比,该方法综合采用了静态和动态可靠性建模方法,具有状态空间模型的灵活性和组合模型求解的高效性,同时层次结构避免了GSPN方法带来的状态空间爆炸问题.由结果比较可得,该方法可行、高效、精确. According to the characteristics of complex dissimilar,redundant flight control computer system and the combination of the advantage of static and dynamic reliability modeling,the hierarchical hybrid reliability modeling method(HHRM),which combines reliability block diagram(RBD) and generalized stochastic Petri net(GSPN),was presented.In the case that components of common cause failures exist in the various low-level subsystems,the system reliability modeling method was analyzed.The HHRM and GSPN methods were respectively used for the reliability modeling and analysis of the main fly-by-wire flight control computer system of Boeing777.Compared with the dynamic GSPN method,the HHRM method adopted static and dynamic reliability modeling methods and combined the flexibility of state-space models and efficiency of combinatorial models.The state space explosion problem caused by GSPN method is avoided by using hierarchical structure.The results of the two methods show that the HHRM method is feasible,efficient and accurate.
出处 《上海交通大学学报》 EI CAS CSCD 北大核心 2011年第2期277-283,共7页 Journal of Shanghai Jiaotong University
关键词 飞控计算机 可靠性建模 PETRI网 可靠性框图 flight control computer reliability modeling Petri net reliability block diagram
  • 相关文献

参考文献9

  • 1Yao Y P, Cheng M H. The application on dynamic fault tree analysis for dissimilar fault-tolerant flight control system[C]// Proceedings of 18th Digital Avi-onics Systems Conference. St Louis: IEEE Press, 1999: 1-6.
  • 2秦旭东,陈宗基.基于Petri网的容错计算机可靠性[J].计算机工程,2005,31(24):33-35. 被引量:4
  • 3安金霞,朱纪洪,王国庆,薛晓翝.多余度飞控计算机系统分级组合可靠性建模方法[J].航空学报,2010,31(2):301-309. 被引量:19
  • 4Lanus M, Yin L, Trivedi K S. Hierarchical composi- tion and aggregation of state-based availability and performability models[J]. IEEE Transactions on Reli- ability, 2003, 52(1): 44-52.
  • 5Somani A K, Sandadi U R, Twigg D W, et al. An efficient decomposition technique for markov-chain a- nalysis[C]// Proceedings of Reliability and Maintain- ability Symposium. Washington: IEEE Press, 1995: 465-471.
  • 6Brenner L, Fernandes P, Sales A, et al. A frame- work to decompose GSPN models[R]. Porto Alegre: PUCRS, 2003.
  • 7Rehage D, Carl U B, Merkel M, et al. The effects on reliability of integration of aircraft systems based on integrated modular avionics [C]// SAFECOMP. Potsdam: Springer Press, 2004:224-238.
  • 8Yeh Y C. Triple-triple redundant 777 primary flight computer[C]// IEEE Aerospace Applications Confer- ence Proceedings. Aspen: IEEE Press, 1996: 293- 307.
  • 9中国南方航空公司.B777航线维护手册[M].北京:中国南方航空出版社,2003.

二级参考文献14

  • 1陈宗基,秦旭东,高金源.非相似余度飞控计算机[J].航空学报,2005,26(3):320-327. 被引量:41
  • 2秦旭东,陈宗基.基于Petri网的非相似余度飞控计算机可靠性分析[J].控制与决策,2005,20(10):1173-1176. 被引量:10
  • 3Neil S. Safety -critical computer systems[M]. Toronto: Addison Wesley Longman, 1996.
  • 4Alessandro B. Reliability engineering theory and practice [M]. 5th ed. Berlin: Springer, 2007.
  • 5Yao Y P, Cheng M H. The application on dynamic fault tree analysis for dissimilar fault tolerant flight control system[C] // Proceedings of 18th Digital Avionics Systems Conference. 1999, 17: 3. B. 1- 1-3. B. 1- 6.
  • 6Yao Y P, Yang X J, Li P Q. Dynamic fault tree analysis for digital fly by wire flight control- system [C] // 15th AIAA/IEEE Digital Avionics Systems Conference. 1996: 479- 484.
  • 7Lanus M, Yin L, Trivedi K S. Hierarchical composition and aggregation of state based availability and performability models [J]. IEEE Transactions on Reliability, 2003, 52(1): 44- 52.
  • 8Yeh Y C. Triple- triple redundant 777 primary flight computer[C] // Proceedings of IEEE Aerospace Applications Conference. 1996, 1: 293-307.
  • 9Yeh Y C, Safety critical avionics for the 777 primary flight controls system[C]//Proceedings of the 20th Digital Avionics Systems Conference. 2001, 1:14 -18.
  • 10Huszerl 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.

共引文献21

同被引文献82

引证文献7

二级引证文献34

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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