本书以一本以Proteus软件为平台的“微机接口”及“ARM系列芯片”仿真实验、实训教材。主要内容包括：汇编语言编译器的使用；8086汇编语言程序设计实验；Proteus使用简介；微机接口实验等6章。

    本教材围绕应用型本科院校培养高技能型人才、加强技术应用能力培养为目的，以知识目标、技能目标为主线，突出了针对性和应用性，强化了实践能力的培养。在内容的组织上，以应用为导向，完成任务为目的，介绍AT89S51单片机的基本知识，软硬件结合，知识点和技能点结合，既实现了知识的全面性和连贯性，又做到了理论与实践内容的融会贯通。体现应用型本科教材新的特色。全书共分为13章。本书以AT89S51单片机为主体来讲述单片机原理，把先进的单片机系统设计与仿真平台Proteus

　　　　本书

　　《单片机原理及应用：基于STC15系列单片机+C51编程》按单片机内部硬件原理→应用电路→程序分析的模式讲解，先介绍基本结构和工作原理，然后对具体的应用实例进行分析，由浅入深，循序渐进，突出应用。书中介绍的各种设计方案均为典型方案，并提供了许多设计实例及相关的源

本教材以智能移动机器人工程项目为主线，循序渐进地建构智能机器人的智能控制器和传感器电路，将单片机外围接口特性、内部结构原理、应用设计方法和C语言程序设计等知识，通过先项目实践，后总结归纳的方式传授给学生，彻底打破了传统的教学方法和教学体系结构，解决了单片?

    本书是作者在多年单片机方面教学科研实践中积累的知识和经验的结晶。在介绍计算机及单片机发展以及计算机基础知识的基础上，重点介绍了MCS-51系列单片机的基本结构、指令系统、汇编语言程序设计、中断系统与定时/计数器、系统的扩展、串行通信和接口技术等。最后，还介绍了单片机的高级编程语言C51以及单片机应用系统的开发流程、技巧及注意事项。本书中的知识具有3个层次或级别：分别称为基础级、提高级和扩展级，并用符号标记出来。在整体知识体系的框架下划分这三个层次，而不是用独立的章节或整块的篇幅

　　本书面向嵌入式实时系统,较系统地论述基本的实时调度算法、调度性分析方法,说明引入形式化方法的必要性,并为实时系统设计提供一个清晰的形式化方法基础.其核心是面向实时系统的形
　　式化分析(formalanalysis)及验证.全书特别列举了大量关于安全关键系统的工程实例,从简单系统(如温度控制系统、面包机和电饭煲)到高度复杂系统(如飞机和航天飞机),通过将上述形式化方法成功应用于这些工程项目,有助于加深读者对嵌入式实时系统分析和验证方法的理解和运用.