本书以89S51为典型机，主要论述单片机的基本结构与工作原理，以及单片机应用系统的设计与开发方法。全书内容分为l3章，涉及概述、单片机的结构和工作原理、指令系统、单片机程序设计基础、中断系统、定时器，计数器、串行口UART、单片机的常用接口技术、串行总线技术、单片机应用系统的开发环境、基于嵌入式实时操作系统的单片机程序设计方法、基于RTX51的乐曲编辑器和发生器的设计、数控电流源的设计。书后附录给出了l8个单片机课程设计课题，以及AT89S51的指令系统。本书从工程应用出发，突出了单片机应用技术的新颖性和实用性；此外，本书为任课教师免费提供电子课件。 本书可作为高等学校“单片机原理与应用”、“微机原理与接口技术”课程的教材，也可供从事单片机应用系统开发的工程技术人员参考，还可作为各类电子设计竞赛的培训教材
《可信的航天嵌入式控制软件开发技术》主要介绍航天嵌入式控制软件可信保障技术体系及其关键技术。首先从近年来的实际案例提炼出影响航天嵌入式软件可信性的十大可信问题，针对这些关键可信问题，从问题、阶段、方法、工具和度量五个维度进行研究，形成了具有五维体系结构的可信性保障技术体系；然后，重点论述了需求建模与验证、程序实现正确性保障、嵌入式软件形式化验证等关键问题的解决方案；最后依据可信保障技术体系的需求，介绍了构建嵌入式软件可信保障集成环境的集成方法、体系架构和关键技术。 《可信的航天嵌入式控制软件开发技术》针对嵌入式软件研制中的实际问题给出系统的解决方案，实用性强，对于在航天行业以及航空、兵器、汽车、核电等行业从事嵌入式软件研制的工程技术人员和系统总体设计人员，具有很好的参考价
