机载可编程逻辑器件软件生存周期过程研究

下载PDF

导出

摘要本文结合机载可编程逻辑器件软件研制管理过程特点,对其生存周期过程进行了研究,给出了机载可编程逻辑器件软件研制阶段的划分方法,各阶段的输入、输出要求,转段准则等,该研究为后续推进机载可编程逻辑器件软件工程化的实施奠定了基础。

作者邢薇薇

机构地区中国航空工业集团公司第一飞机设计研究院

出处《电子技术与软件工程》 2018年第2期67-67,共1页 ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING

关键词软件工程 PLD软件生存周期

参考文献1

1黄信兵.Linux在嵌入式系统中的应用与设计.计算机技术与发展,2006,16(10):146-148.
2RTAC, DO-254. Design Assurance Guidance for Airborne E- lectronic Hardware[ S/OL]. 2000. http ://www. rtca. org/onl- inecart/product, cfm? id = 194.
3SAE, ARP 4754. Aerospace Recommended Practice 4754 Cer- tification Considerations for Highly Integrated or Complex Air-craft Systems[S]. 1996. SAE, ARP 4761.
4Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and E- quipment[S]. 1996.
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.

电子技术与软件工程

2018年第2期

内容加载中请稍等...