期刊文献+

国产平台的机载嵌入式软件仿真验证技术 被引量:3

Airborne Embedded Software Simulation and Verification Technology Based on Domestic Software and Hardware Platform
下载PDF
导出
摘要 随着机载设备功能的高度综合化集成度的提高,机载航空电子设备上的嵌入式软件对硬件环境的依赖性越来越高,本文基于国产飞腾处理器和Reworks操作系统实现了一套机载航电系统嵌入式软件仿真验证环境,为嵌入式软件开发调试、软硬件集成验证、软件测试、故障检测隔离提供接近于真实系统的实验室开发和仿真验证平台。 With the improvement of highly integrated function of airborne equipment,the dependence of embedded software on hardware environment on airborne avionics equipment is increasing.Based on domestic Flying processor and Reworks operating system,a simulation and verification environment for embedded software of airborne avionics system is implemented in the paper,which can be used to develop embedded software.Debugging,hardware and software integration verification,software testing,fault detection and isolation provide a laboratory development and simulation verification platform close to the real system.
作者 王帅 杜刚 杨超 Wang Shuai;Du Gang;Yang Chao(China Electronics Technology Group Corporation No.10 Research Institute,Chengdu 610036,China)
出处 《单片机与嵌入式系统应用》 2020年第2期5-7,11,共4页 Microcontrollers & Embedded Systems
关键词 QEMU 嵌入式软件仿真 FT1500A Reworks QEMU embedded software simulation FT1500A Reworks
  • 相关文献

参考文献3

二级参考文献19

  • 1郭远东,黄荣瑛,陈友东,王田苗.基于模块化设计的嵌入式软件测试方法[J].单片机与嵌入式系统应用,2005,5(1):17-20. 被引量:5
  • 2钱杰.飞行控制软件全数字仿真测试环境的搭建与应用[J].航天控制,2006,24(5):49-52. 被引量:6
  • 3Bart Broekman,Edwin Notenboom.嵌入式软件测试[M].北京:电子工业出版社,2004.
  • 4林庚 蔡林 王淑丽 周涛.在实践中发展的全数字仿真测试技术.计算机世界,1999,.
  • 5ALTMAN E, KAELI D, SHEFFER Y. Welcome to the opportunities of binary translation [J]. 1EEE Com- puter, 2000, 33(3): 40-45.
  • 6SHAN Zheng, GUO Hao-ran, PANG Jian-min. BT- MD: a framework of binary translation based Malcode detector [C]// 2012 International Conference on Cyber- Enabled Distributed Computing and Knowledge Discover- y. S. 1.]: IEEE, 2012: 39-43.
  • 7CHERNOFF A, HOOKWAY R. DIGITAL FX! 32 running 32-bit X 86 applications on Alpha NT [C]// Proceedings of the USENIX Windows NT Workshop on the USENIX Windows NT Workshop. [S. 1.]: USE- NIX, 1997: 37-42.
  • 8CRISTINA C, VAN EMMERIK M. UQBT: adaptable binary translation at low cost [J]. IEEE Computer, 2000, 33(3): 60-66.
  • 9JIA Ning, YANG Chun, WANG Jing, et al. SPIRE: improving dynamic binary translation through SPC-in- dexed indirect branch redirecting [C]// ACM SIGPLAN Notices. [S. 1.]: ACM, 2013.. 1-12.
  • 10HISER J D, WILLIAMS D, MARS J, et al. Evaluating indirect branch hadling mechanisms in software dynamic translation systems [ C]//International Symposium on Code Generation and Optimization. California: San Jose, 2007 .. 61 - 73.

共引文献21

同被引文献19

引证文献3

二级引证文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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