期刊文献+

基于DO-254的航空集成电路设计保障研究 被引量:4

Research on Design Assurance for Aviation-integrated-circuit Based on DO-254
下载PDF
导出
摘要 航空机载电子设备复杂度的不断提高,对于机载电子设备的基础——航空集成电路功能及性能的要求也不断提高,高集成度、高复杂度、高性能、低功耗、小型化已经成为了航空集成电路发展的必然趋势,而传统的设计和管理手段已经不能满足航空集成电路高安全性应用需求。探索并建立一个机载领域集成电路设计过程正确性保障体系,已成为迫切需要。DO-254标准代表了工业界、适航当局、机载领域硬件设计人员在内的大多数专家的一致意见,是机载电子硬件开发保证过程最好的实践经验的集合。文中将从集成电路硬件角度出发,研究并借鉴DO-254标准的需求管理和过程保证方法,将好的管理策略运用到集成电路系统设计和前端设计过程中,以提高航空集成电路硬件设计的安全等级,降低航空集成电路开发风险。 High complexity of integrated, high performance, low power dissipation and miniaturization have been considered as the inevita- ble tendency in aviation-IC while the requirement of function and performance had to be enhanced higher with increasingly complexity of aviation electronic devices. However, traditional design and management method could not satisfy developing demand of safety in aviation -integrated-circuit design field. It is definitely necessary to build a correctly and stably "procedure support system" for IC design in air- borne implementation field. It is obviously that DO-254 standard could not doubt represent opinion of huge amount of experts in indus- try ,airworthy department and IC designers of airborne field which DO-254 standard could be considered as the best and reliable standard in hardware design procedure of airborne implementation field. It focuses on research on requirement management and support process method of "DO-254 standard" standing on the view of hardware design, and then implement best manage strategy into system and front -end design in IC field in order to enhance safety level and decrease developing risk as possible as it could.
作者 胡小婷 田泽
出处 《计算机技术与发展》 2012年第8期189-191,195,共4页 Computer Technology and Development
基金 装备预先研究项目(51308010601) 武器装备预研基金项目(9140A08010712HK6101)
关键词 需求 确认 验证 配置管理 过程保证 requirement verification velidation configuration management supporting processes
  • 相关文献

参考文献11

  • 1RTAC, DO-254. Design Assurance Guidance for Airborne E- lectronic Hardware[ S/OL]. 2000. http ://www. rtca. org/onl- inecart/product, cfm? id = 194.
  • 2SAE, ARP 4754. Aerospace Recommended Practice 4754 Cer- tification Considerations for Highly Integrated or Complex Air-craft Systems[S]. 1996. SAE, ARP 4761.
  • 3Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and E- quipment[S]. 1996.
  • 4黄信兵.Linux在嵌入式系统中的应用与设计.计算机技术与发展,2006,16(10):146-148.
  • 5Churiwala S,Garg S. Principles of VLSI RTL Desig[M]. [ s. 1. ] :Springer,2010.
  • 6GJB5000A-2008.军用软件研制能力成熟度模型[S].总装备部军标出版发行部,2008.
  • 7Lange M, Dewey T. Achieving Quality and Traceability in FP- GA/ASIC Flows for DO- 254 Aviation Projects [ EB/OL]. 2006. http ://www. mentor, corn/.
  • 8Glasser M. The Verification Cookbook[ M]. 3rd ed. [ s. 1. ] : Mentor Graphics Corporation,2007.
  • 9Foster H D, Krolnik A C, Lacey D J. Assertion-based Design [ M ]. 2nd ed. Boston : Kluwer Academic Publishers ,2004.
  • 10Perry D L,Foster H D. Applied Formal Verification[ M]. New York : McGraw-Hill, 2005.

共引文献9

同被引文献12

引证文献4

二级引证文献10

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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