期刊文献+

综合显示系统显示器动态重构建模及可靠性分析

Dynamic Reconstruction Modeling and Reliability Analysis of Monitors in Integrated Display System
下载PDF
导出
摘要 随着民用机载技术的发展,动态可重构技术已逐渐成为提高机载系统设计可靠性、安全性的关键。然而,随着该技术的引入,动态重构系统的模型建立以及可靠性分析问题日益突显。文章通过分析综合显示系统显示器的动态重构过程,建立Simulink/Stateflow功能模型。基于马尔可夫随机过程理论对显示系统中显示器的重构过程建立可靠度数学模型,并推导出可靠度结果。该方式能够在系统研制初期快速有效的完成模型的建立,进行系统工作状态的模拟仿真以及可靠性分析,提高系统研发效率。 With the development of civil airborne technology, dynamic reconfigurable techniques have gradually become the key to improving the design reliability and safety of airborne systems. However, with the introduction of such technology, the modeling and reliability analysis of dynamic reconstruction systems become a problem. By analyzing the dynamic reconstruction process of the monitors in integrated display system, a Simulink/Stateflow functional model is established. Based on Stateflow model, reliability mathematical model is built and the reliability results are derived. This method can complete the establishment of the model in the initial stage of system development, conduct the simulation of the system working state and the reliability analysis, and so improve the efficiency of system development.
作者 谭伟伟 王闯 田川 郭强 冯思宇 TAN Wei-wei;WANG Chuang;TIAN Chuanl;GUO Qiang;FENG Siyu(AVIC Airborne System Generic Technology Co.,Ltd.,Yangzhou 225000,China;Northwestern Polytechnical University,Xi'an,710072,China)
出处 《长江信息通信》 2021年第12期12-16,共5页 Changjiang Information & Communications
基金 装备技术基础科研项目(202ZX31006)。
关键词 重构 建模 马尔可夫过程 可靠性分析 显示系统 Reconstruction Modeling Markov process Reliability analysis Display system
  • 相关文献

参考文献3

二级参考文献22

  • 1李莹,吴江琴.软件工程形式化方法与语言[M].杭州:浙江大学出版社,2010.
  • 2GARRO A, GROB J, RICHTER M R, et al. Reliability analy- sis of an Attitude Determination and Control System (ADCS) through the RAMSAS method [ J ]. Journal of Computational Science, 2014, 5 ( 3 ) :439-449.
  • 3TU X J, XU J R, WU Q, et al. Modeling and reliability evaluation of avionics clouds based on AADL and GSPN [ C ]//Digital Avionics Systems Conference ( DASC ), 2013 IEEE/AIAA 32nd. New York: IEEE, 2013 : 8C1-1- 8C1-11.
  • 4REISIG W. Understanding Petri nets:modeling techniques, analysis methods, case studies hardcover[ M]. Berlin.Spring- er, 2013.
  • 5LARS G, HAN J. A comparative study into architecture- based safety evaluation methodologies using AADL's error annex and failure propagation models[ C]//High Assur- ance Systems Engineering Symposium, New York : IEEE, 2008:283-292.
  • 6RUGINA A E, KANOUN K, KA-ANICHE M. A system dependability modeling framework using AADL and GSPNs[ C ]//LNCS 4615 : Architecture Dependable Sys- tem IV. Berlin, Heidelberg : Springer-Verlag, 2007 : 14-38.
  • 7DINGLE N, KNOTTT W J, SUTO T. PIPE2 : a tool for the performance evaluation of generalised stochastic Petri nets [ J ]. ACM Sigmetrics Performance Evaluation Review, 2009, 36(4) :34-39.
  • 8ZIMMERMANN A. Modeling and evaluation of stochastic Petri nets with TimeNET 4.1 [ C]//The 6th International Conference on Performance Evaluation Methodologies and Tools ( VALUETOOLS), New York : IEEE, 2012:54-63.
  • 9KOPETZ H. Fault containment and error detection in the time-triggered architecture [ C ]//The 6th International Symposium on Autonomous Decentralized Systems, New York : IEEE, 2003 : 139-146.
  • 10关守平,杨飞生.面向重构目标的控制系统可重构性[J].信息与控制,2010,39(4):391-396. 被引量:6

共引文献18

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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