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

Online Public Access Catalogue

题名/责任者:

可信的航天嵌入式控制软件开发技术/杨孟飞, 顾斌, 郭向英等著

出版发行项:

北京:国防工业出版社,2017

ISBN及定价:

978-7-118-11266-5 精装/CNY62.00

载体形态项:

xiv, 176页:图;25cm

并列正题名:

Development technology for dependable space embedded control software

个人责任者:

杨孟飞 著

个人责任者:

顾斌 著

个人责任者:

郭向英 著

学科主题:

航天-应用软件-软件开发

中图法分类号:

V57

一般附注:

装备科技译著出版基金

书目附注:

有书目 (第173-176页)

提要文摘附注:

本书主要论述了航天嵌入式软件可信保障的问题、解决方法和相关工具, 并介绍了可信保障集成环境。本书由以下内容组成: 嵌入式软件可信性保障技术体系; 航天控制软件需求建模与验证; 程序实现正确性保障;操作系统验证; 航天嵌入式软件可信保障集成环境构建。

豆瓣简介：