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

在今天所处的大时代背景下，3G/4G/5G移动互联网、物联网、云计算、大数据、工业4．0等，俨然已陆续成为信息IT产业、工业及其两化融合的主旋律；而嵌入式系统以其高集成、高可靠、功能强、成本低的优点已成为这些产业应用技术中最核心、最关键的基础部分。

　　《微机原理与接口技术（第2版）》作为高等院校理工科应用型本科教材，结合作者多年的实践经验及教学体会，内容紧密联系教学需要，深入浅出，重点突出，语言通俗易懂，图文并茂。全书共计12章，包括微型计算机概述、8086微处理器、8086指令系统、汇编语言程序设计、存储系统、输入／输出技术、中断技术及控制器、并行通信接口、DMA控制器、定时器和计数器、串行通信接口、微机控制系统应用等有关知识。
　　《微机原理与接口技术（第2版）》可作为高等院校计算机和电气、电子信息等相关专业的教材，也可作为科研

本教材内容主

　　《基于M

本书从嵌入式

　　全书分9

　　《单片机及工程应用基础》立足于MCS51经典结构，以广泛应用的AT89S52单片机为应用对象，深入浅出地讲述了单片机原理及应用系统设计原理.全书采用汇编与C51并行的撰写方式，方便对比学习，符合工程应用需求.同时，书中深度融合了微机原理课程中的核心知识，尤其是在汇编指令的深入剖析、中断系统的分析和存储器的扩展方法等方面讲解细致，因此，可以绕过微机原理课程直接学习本书中的相关内容.
　　《单片机及工程