杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

可信嵌入式软件开发方法与实践/韩炜编著

出版发行项:

北京:航空工业出版社,2017

ISBN及定价:

978-7-5165-1323-1 精装/CNY170.00

载体形态项:

529页:图;27cm

并列正题名:

Method and practice of dependable embedded software development

丛编项:

中航工业首席专家技术丛书

个人责任者:

韩炜 编著

学科主题:

软件开发-研究

中图法分类号:

TP311.52

一般附注:

“十二五”国家重点图书出版规划项目

题名责任附注:

中航工业科技与信息化部组织编写

相关题名附注:

英文并列题名取自封面

书目附注:

有书目 (第516-529页)

提要文摘附注:

本书介绍了可信嵌入式软件工程相关的概念、技术、方法和实践。全书共分为4个部分共23章。第1部分为概论，介绍了嵌入式系统和嵌入式软件的分类、特征和发展情况，并对可信性软件的相关基本概念、属性和需要关注的研究内容进行了描述。第2部分为通用的软件工程的阐述，分别对软件全生命周期模型、开发计划与策划、需求开发及管理等软件工程各个方面进行了详细论述。第3部分为机载软件及其工程化方法，重点介绍了机载共性软件适航标准DO-178、《军用软件研制能力成熟度模型》，以及机载软件知识库。第4部分为天脉操作系统的开发实践，对自行研制的天脉操作系统的开发实践进行了详细的描述。

豆瓣简介：