《航天型号可编程逻辑器件软件工程》围绕可编程逻辑器件软件工程全寿命周期过程进行阐述，涵盖了可编程逻辑器件软件系统需求分析、软件需求分析、设计与实现、测试、可靠性与安全性、软件工程环境等技术要求，全书内容紧密结合航天型号研制实际，具有较强的工程指导性。
《航天型号可编程逻辑器件软件工程》适合航天型号可编程逻辑器件软件研制中的设计、生产、测试和管理人员使用。
随着可编程逻辑器件在航天型号等领域应用越来越广，其相应的标准体系逐步完善，其中包括4项航天行业标准（QJ20355-2014《航天型号可编程逻辑器件软件开发通用要求》、QJ20352-2014《航天型号可编程逻辑器件软件设计要求》、QJ20353-2014《航天型号可编程逻辑器件软件测试要求》、QJ20356-2014《航天型号可编程逻辑器件软件编码要求》），5项国家标准（GB/T33781-2017《可编程逻辑器件软件开发通用要求》、GB/T33783-2017《可编程逻辑器件软件测试指南》、GB/T33784-2017《可编程逻辑器件软件文档编制规范》、GB/T37979-2019《可编程逻辑器件软件VHDL编程安全要求》、GB/T37691-2019《可编程逻辑器件软件安全性设计指南》），2项国家军用标准（GJB9432-2018《军用可编程逻辑器件软件开发通用要求》、GJB9433-2018《军用可编程逻辑器件软件测试要求》），为可编程逻辑器件软件研制人员提供了顶层依据和行动指南。
为进一步提高航天型号可编程逻辑器件软件工程化水平，提升型号可编程逻辑器件软件的设计、开发以及测试质量，本书在标准体系基础上力求为可编程逻辑器件软件管理人员、开发人员和测试人员提供一套针对性强、简明实用的实践教材，适用对象为航天型号可编程逻辑器件软件研制中的设计、生产、测试和管理人员。
本书主编单位是中国航天科工集团有限公司第三〇四研究所，作为空间科学卫星工程等多项航天工程可编程逻辑器件软件工程技术支撑单位，在航天可编程逻辑器件软件工程领域积累了丰富的理论基础和工程经验。在本书编写过程中，主编单位还联合了探月与航天工程中心、中国科学院国家空间科学中心、中国科学院高能物理研究所、中国科学院上海技术物理研究所、中广核研究院有限公司等单位编写本书。编写团队充分结合航天工程经验，同时兼顾不同岗位人员需求，力求扩大教材的适用范围，增加教材的针对性、实用性，重点突出经验的总结及在实际中的应用，以期对读者提供更大帮助。
本书共分为10章，内容及主要编者如下：
第1章航天型号可编程逻辑器件软件工程概述，简要介绍了可编程逻辑器件的发展历程、工作原理及应用现状，可编程逻辑器件软件工程化的国内外发展形势及可编程逻辑器件软件全寿命周期的技术要求。主要编者为张津荣、刘军、王栋、周晴。
第1章 航天型号可编程逻辑器件软件工程概述
1．1 可编程逻辑器件概述
1．1．1 可编程逻辑器件发展历程
1．1．2 可编程逻辑器件的工作原理和内部结构
1．1．3 可编程逻辑器件软件与传统软件的区别
1．1．4 可编程逻辑器件产品介绍及应用现状
1．2 可编程逻辑器件应用领域
1．2．1 高速通信
1．2．2 电子对抗
1．2．3 数字图像处理
1．2．4 自动控制
1．2．5 信息安全
1．3 可编程逻辑器件软件工程化管理
1．3．1 国外方面
1．3．2 国内方面
1．3．3 可编程逻辑器件软件全寿命周期
1．4 本章小结
第2章 可编程逻辑器件软件系统需求分析
2．1 目的及任务
2．2 系统需求分析要求
2．2．1 分析系统和设备的要求
2．2．2 系统需求分析技术要求
2．3 本章小结
第3章 可编程逻辑器件软件需求分析
3．1 目的与任务
3．2 需求分析的重要性
3．3 需求分析的工作过程
3．3．1 需求信息的获取和记录
3．3．2 《软件需求规格说明》的编写
3．3．3 《软件需求规格说明》的检查
3．3．4 需求评审
3．3．5 需求分析管理
3．4 需求分析阶段的工作要点
3．5 需求分析阶段的技术要求
3．6 编写《软件需求规格说明》的要求
3．6．1 《软件需求规格说明》的主要内容
3．6．2 《软件需求规格说明》的格式
3．6．3 《软件需求规格说明》的特征
3．7 可编程逻辑器件软件需求文档中经常出现的问题
3．7．1 一般问题
3．7．2 功能需求方面的问题
3．7．3 接口需求方面的问题
3．7．4 性能需求方面的问题
3．7．5 安全性、可靠性方面的问题
3．8 《软件需求规格说明》的检查方法
3．8．1 采用需求评审方法检查
3．8．2 采用结构化分析方法检查
3．8．3 采用仿真模型方法验证检查
3．8．4 采用形式化方法分析检查
3．9 本章小结
……
第4章 可编程逻辑器件软件结构设计
第5章 可编程逻辑器件软件详细设计
第6章 可编程逻辑器件软件实现
第7章 可编程逻辑器件软件测试
第8章 可编程逻辑器件软件可靠性与安全性
第9章 可编程逻辑器件软件工程环境
第10章 可编程逻辑器件应用与展望
参考文献
书单推荐
