期刊文献+

基于随机Petri网的机载软件更新系统性能评价 被引量:1

Performance Analysis of On-board Software Update System Based on Stochastic Petri Nets
下载PDF
导出
摘要 近年来,航电系统发展的趋势由联合式航电系统向综合化航电系统逐步演进,许多应用将原来专用集成电路实现的功能采用软件实现。软件更新系统在机载航电系统中的地位日益重要。提出了一种高效机载软件更新系统OBSUS,并运用随机Petri网理论对其性能评价。首先,提出了OBSUS的系统结构与组件间的通信协议。其次,根据OBSUS的系统结构与通信协议,建立了系统的随机Petri网模型。最后,对随机Petri网模型进行了瞬态概率分析,针对影响系统的诸多因素,如flash芯片烧写时间、数据传输丢包率和数据传输速率等,对系统的综合性能的影响进行了量化分析。仿真研究结果对于机载软件更新系统的结构与数据传输协议设计,以及如何提高系统性能,具有较强的指导意义。 Nowadays on-board avionics systems are now changing from Federate Avionics to Integrated Modular Avionics (IMA), in which many functional components previously implemented by dedicated hardware are now realized by software. The advent of IMA makes the role of on-board software update system more important. An effective on-board software update system OBSUS was proposed and performance analysis was conducted for it. Firstly, the system architecture and communication protocol of OBSUS were purposed. Secondly, a stochastic Petri net model was constructed. Finally, transient analysis of the stochastic Petri net model was conducted, and how parameters, like the flash burning time, the packet drop rate, and the data transmission time, affected the system overall performance. Simulation results are helpful in designing system architecture and data transmission protocol, as well as improving system performance.
出处 《系统仿真学报》 CAS CSCD 北大核心 2012年第10期2098-2101,2125,共5页 Journal of System Simulation
基金 国家973计划项目(2011CB311809) 国家自然科学基金(60973107) 北京市属市管高校人才强教计划(PXM2008-014224-055928)
关键词 随机PETRI网 机载软件更新 瞬时概率分析 性能评价 Stochastic Petri Nets On-Board software update transient probability analysis performance analysis
  • 相关文献

参考文献11

二级参考文献43

  • 1段然,樊晓桠,高德远,沈戈.可重构计算技术及其发展趋势[J].计算机应用研究,2004,21(8):14-17. 被引量:19
  • 2张建东,吴勇,高晓光.基于DSPN的综合航电总线系统的性能评价[J].西北工业大学学报,2005,23(2):244-248. 被引量:15
  • 3ETSI European Telecommunications Standards Institute.Gsm 09.02 (ets300 599):"digital cellular telecommunications system(phase 2) ; mobile application part (map) speciation", version 4.19.1[S]. 2000-12. 被引量:1
  • 4Thomsen J M, Manggaard R.Analysis of GSM handover using coloured Petri nets[D].Department of Computer Science University of Aarhus Ny Munkegade 8000 Aarhus CDenmark,2003-01. 被引量:1
  • 5Zimmermann A, Hommel G.A train control system case study in model-based real time system design[C]//Intemational Parallel and Distributed Processing Symposium, IEEE, 2003 : 118. 被引量:1
  • 6GJB.飞机内部时分制指令/响应式多路传输数据总线[S]. 被引量:2
  • 7TR-INCITS.FC-AE (fiber channel avionics environment),rev 2.6[S].2002. 被引量:1
  • 8TR-INCTTS.FC-AE-ASM(fiber channel anonymous subscriber messaging),rev 1.2[S].2006. 被引量:1
  • 9GERMAN R.New results for the analysis of deterministic and stochastic Petri net[C] //Proc of International Computer Performnce and Dependability Symposium.1998. 被引量:1
  • 10Hauser J R, Wawrzynek J. GARP: A MIPS Processor with a Reconfigurable Coprocessor[C]//Proceedings of IEEE Workshop on FPGAs Custom Computing Machines. [S. l.]: IEEE Press, 1997: 12-21. 被引量:1

共引文献16

同被引文献7

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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