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

本书比较详细的介绍了嵌入式软件的特点、可信嵌入式软件开发的方法、可信嵌入式软件的特点以及可信嵌入式软件在工程实际中的应用。用天脉操作系统的研发作为例证，从而详细的进行了佐证。该书主要读者群体为大专院校师生、从事嵌入式软 件研究与开发的工程技术人员。