可信的航天嵌入式控制软件开发技术
图书信息
书名：可信的航天嵌入式控制软件开发技术作者：杨孟飞,顾斌,郭向英
包装：平装-胶订
开本：16
出版社：国防工业出版社
出版时间：2017-12-01
图书简介
可信的航天嵌入式控制软件开发技术一书系统全面地介绍了航天嵌入式控制软件可信保障技术体系及其关键技术。首先，从近年来的实际案例提炼出影响航天嵌入式软件可信性的十大可信问题，针对这些关键可信问题，从问题、阶段、方法、工具和度量五个维度进行研究，形成具有五维体系结构的可信性保障技术体系。然后，重点论述了需求建模与验证、程序实现正确性保障、嵌入式软件形式化验证等关键问题的解决方案。最后，介绍了构建嵌入式软件可信保障集成环境的集成方法、体系架构和关键技术。这本书具有较高的实用性和参考价值，可以为嵌入式软件研制相关领域的工程技术人员和系统总体设计人员提供帮助，对他们的工作将是有利的。
推荐理由
本书是一本系统全面、内容详实的计算机科学与技术书籍。书中通过对可信问题从问题、阶段、方法、工具和度量五个维度进行研究，形成了具有五维体系结构的可信性保障技术体系。对于在航天和相关领域从事嵌入式软件研制的工程技术人员和系统总体设计人员来说，具有很好的参考价值。同时，本书在解决实际问题方面具有一定的实用性。因此，我强烈推荐这本书给相关领域的专业人士阅读，并使用其中的知识来指导他们的工作。