本书面向嵌入式实时系统,较系统地论述基本的实时调度算法、调度性分析方法,说明引入形式化方法的必要性,并为实时系统设计提供一个清晰的形式化方法基础.其核心是面向实时系统的形 式化分析(formalanalysis)及验证.全书特别列举了大量关于安全关键系统的工程实例,从简单系统(如温度控制系统、面包机和电饭煲)到

本书是《微型计算机原理与接口技术》（孙力娟等编著，清华大学出版社出版）一书的配套实验教材。本教材结合课程内容，针对汇编语言程序设计及接口技术编排了内容丰富的软硬件实验项目和指导性的实验例题，主要内容有汇编语言程序设计实验、微型计算机教学实验系统及系统软件介绍、微型计算机接口实验。本书的硬件实验以清华大学科教仪器厂研发的

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

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

本书为C语言版，是根据教育部对高职高专的培养目标及对单片机教学的基本要求，本着“实用、够用”的原则，结合目前单片机的广泛应用和新技术发展编写的。它以理论为基础、着眼应用，注重实践能力的培养。全书以80C51单片机应用系统为主线，全面地介绍了单片机系统结构的基本原理、指令系统、程序设计方法、中断与定时器系统、串行通信技术

单片机原理实验指导书

《基于MSP430单片机原理及应用》以理论教学为引导，以工程实践能力培养为主线，主要内容包括MSP430x16x单片机的硬件结构和工作原理、指令系统及其集成软件开发环境、片内及片外模块介绍及其应用、硬件实验板制作步骤以及MSP430单片机应用系统详细设计。《基于MSP430单片机原理及应用》的实例来源于作者的教学实践，

本教材内容主要包括：认识单片机及其开发工具、制作单片机输出控制电路、MCS-51单片机及其指令系统、制作LED数码管显示电路、制作LED点阵显示电路、外部中断的应用、定时器/计数器的应用、A/D转换电路的应用和制作单片机与PC机串行口收发电路，每个内容均包括基本知识和技能实训两大部分。

本书以Intel系列微处理器为背景，全面系统地介绍了微型计算机原理、接口技术及应用。全书共11章，分别介绍了计算机基础、Intel微处理器、半导体存储器、并行接口技术、串行通信技术、定时/计数技术、中断技术、DMA技术、总线技术和人机接口技术。

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