可信的航天嵌入式控制软件开发技术

价　　格：¥25.80

作　　者：杨孟飞，顾斌，郭向英[等]著

ISBN：978-7-118-11266-5

出版社：国防工业出版社

出版日期：2017.12

文件格式：pdf或epub或扫描版

立即购买

温馨提示：电子书为虚拟商品，一经发货概不退换，请谨慎购买。3小时内发货(节假日除外)，发货时效不超过24小时，急单慎拍！

内容简介

书名：可信的航天嵌入式控制软件开发技术
作者：杨孟飞，顾斌，郭向英[等]著
ISBN：978-7-118-11266-5
出版社：国防工业出版社
出版日期：2017.12
本书主要论述了航天嵌入式软件可信保障的问题、解决方法和相关工具，并介绍了可信保障集成环境。本书由以下内容组成：嵌入式软件可信性保障技术体系；航天控制软件需求建模与验证；程序实现正确性保障；操作系统验证；航天嵌入式软件可信保障集成环境构建。

上一本：直升机旋翼共锥度测量技术

下一本：快速响应空间体系与应用