可信嵌入式软件开发方法与实践 PDF下载

【作　者】韩炜编著
【丛书名】中航工业首席专家技术丛书
【形态项】 529
【出版项】 北京：航空工业出版社 , 2017.09
【ISBN号】978-7-5165-1323-1
【中图法分类号】TP311.52
【主题词】软件开发-研究
【参考文献格式】 韩炜编著. 可信嵌入式软件开发方法与实践. 北京：航空工业出版社, 2017.09.
内容提要:
本书从广泛的角度介绍了可信嵌入式软件工程相关的概念、技术、方法和实践。全书共分为4个部分共23章。第1部分为概论，介绍了嵌入式系统和嵌入式软件的分类、特征和发展情况，并对可信性软件的相关基本概念、属性和需要关注的研究内容进行了描述：重点阐述了软件自身的特点、导致软件不可信的因素和软件开发遇到的困扰；描述了软件工程基础知识，包括软件工程基本概念、基本原则和研究内容。第2部分为通用的软件工程的阐述，分别对软件全生命周期模型、开发计划与策划、需求开发及管理、软件架构设计技术、机载软件的设计、软件验证技术、软件质量保证、软件可信性评估、软件可靠性评估和软件安全性评估等软件工程各个方面进行了详细论述。第3部分为机载软件及其工程化方法，重点介绍了机载共性软件适航标准DO-178、《军用软件研制能力成熟度模型》，以及机载软件知识库。第4部分为天脉操作系统的开发实践，对自行研制的天脉操作系统的开发实践进行了详细的描述，其中包括天脉操作系统的研制策划、项目立项论证和研制总要求论证、软件计划过程和软件开发过程实践等。软件研制有很多工程化规定和指南，但是缺乏工程化的方法学指导，以及对软件工程全面的融会贯通的理解，本书能够为航空工业和其他领域从事高安全性系统设计的软件工作人员提供有用的参考资料。