期刊文献+

DO-254标准中的确认与验证过程分析 被引量:9

原文传递
导出
摘要 针对机载电子硬件设计生命周期中的确认与验证过程,介绍DO-254标准中关于确认和验证活动的目标,研究确认和验证过程的策划和实施活动,分析确认和验证的方法,提出了确认和验证活动在实际实施过程中的建议。
出处 《航空标准化与质量》 2014年第2期10-13,共4页 Aeronautic Standardization & Quality
  • 相关文献

参考文献2

二级参考文献19

  • 1黄信兵.Linux在嵌入式系统中的应用与设计.计算机技术与发展,2006,16(10):146-148.
  • 2MIN Y H.Why RTL ATPG[J].J Comp Sci&Technol,2002, 17(2) : 113-117.
  • 3BERTOLINO A.Software testing research :achievements, challenges ,dreams[C], Future of Software Engineering, Minneapolis, 2007 : 85-103.
  • 4AMENDOLA A M, BENSO A, CORNO F,et al.Fault behavior observation of a microprocessor system through a VHDL simulation-based fault injection experiment[C], Proceedings of the conference on European design automation, Geneva, 1996 : 536-541.
  • 5THANH BINH NGUYEN,CHANTAL ROBACH, MICHEL DELAUNAY.Testability analysis of reactive software[C]. IEEE International Workshop on Testability Assessment, 2004, Washington : 15-25.
  • 6PAYAKAPAN T, LEE NI CHUNG, SHAHIN TOUTOUNCHI A built-in self test for testing field programmable gate array(FPGAs) using partial reconfiguration[P].US,7302625 2007-11 - 27.
  • 7DuTroN B F,STROUD C E.Buih-in self-test of configurable logic blocks in virtex-5 FPGAs[C], Proc.IEEE Southeastern Symp.on System Theory, Tullahoma, 2009 : 230-234.
  • 8ASADI G.TAHOORI.M.B.Soft error rate estimation and mitigation for SRAM- based FPGAs[C],ACM/SIGDA international Symposium on Field-Programmable Gate Arrays,Monterey, 2005 : 149-160.
  • 9RTAC, DO-254. Design Assurance Guidance for Airborne E- lectronic Hardware[ S/OL]. 2000. http ://www. rtca. org/onl- inecart/product, cfm? id = 194.
  • 10SAE, ARP 4754. Aerospace Recommended Practice 4754 Cer- tification Considerations for Highly Integrated or Complex Air-craft Systems[S]. 1996. SAE, ARP 4761.

共引文献22

同被引文献30

引证文献9

二级引证文献19

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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