MARC状态:审校 文献类型:规范文档 浏览次数:11
- 题名/责任者:
- 可信嵌入式软件开发方法与实践/韩炜编著
- 出版发行项:
- 北京:航空工业出版社,2017
- ISBN及定价:
- 978-7-5165-1323-1 精装/CNY170.00
- 载体形态项:
- 529页:图;26cm
- 丛编项:
- 中航工业首席专家技术丛书
- 个人责任者:
- 韩炜 编著
- 学科主题:
- 软件开发-研究
- 中图法分类号:
- TP311.52
- 一般附注:
- “十二五”国家重点图书出版规划项目
- 题名责任附注:
- 中航工业科技与信息化部组织编写
- 相关题名附注:
- 封面英文题名:Method and practice of dependable embedded software development
- 提要文摘附注:
- 本书共分为4个部分共23章。第1部分为概论,介绍了嵌入式系统和嵌入式软件的分类、特征和发展情况,并对可信性软件的相关基本概念、属性和需要关注的研究内容进行了描述;重点阐述了软件自身的特点、导致软件不可信的因素和软件开发遇到的困扰:描述了软件工程基础知识,包括软件工程基本概念、基本原则和研究内容。第2部分为通用的软件工程的阐述,分别对软件全生命周期模型、开发计划与策划、需求开发及管理、软件架构设计技术、机载软件的设计、软件验证技术、软件质量保证、软件可信性评估、软件可靠性评估和软件安全性评估等软件工程各个方面进行了详细论述。第3部分为机载软件及其工程化方法,重点介绍了机载共性软件适航标准DO-178、《军用软件研制能力成熟度模型》,以及机载软件知识库。第4部分为天脉操作系统的开发实践,对自行研制的天脉操作系统的开发实践进行了详细的描述,其中包括天脉操作系统的研制策划、项目立项论证和研制总要求论证、软件计划过程和软件开发过程实践等。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP311.52/4595 | 06001299633 | 雨花密集存本库 | 阅览 | 雨花密集存本库 | |
TP311.52/4595 | 06001299634 | 雨花理科图书室 | 可借 | 雨花理科图书室 | |
TP311.52/4595 | 06001299635 | 雨花理科图书室 | 可借 | 雨花理科图书室 |
显示全部馆藏信息