作者：韩炜编著
出版社： 航空工业出版社
CIP号：2017231971
书号：978-7-5165-1323-1
出版地：北京
出版时间：2017.9
定价：￥170
本书比较详细的介绍了嵌入式软件的特点、可信嵌入式软件开发的方法、可信嵌入式软件的特点以及可信嵌入式软件在工程实际中的应用。用天脉操作系统的研发作为例证，从而详细的进行了佐证。该书主要读者群体为大专院校师生、从事嵌入式软 件研究与开发的工程技术人员。