航天型号可编程逻辑器件软件工程

图书标准信息

• 作者 王栋、李丽华、张津荣、刘军 编
• 出版社 中国宇航出版社
• 出版时间 2020-05
• ISBN 9787515917610
• 定价 128.00元
• 装帧 其他

【内容简介】

  《航天型号可编程逻辑器件软件工程》围绕可编程逻辑器件软件工程全寿命周期过程进行阐述，涵盖了可编程逻辑器件软件系统需求分析、软件需求分析、设计与实现、测试、可靠性与安全性、软件工程环境等技术要求，全书内容紧密结合航天型号研制实际，具有较强的工程指导性。
  《航天型号可编程逻辑器件软件工程》适合航天型号可编程逻辑器件软件研制中的设计、生产、测试和管理人员使用。

【目录】

第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章 可编程逻辑器件应用与展望
参考文献