本書面向嵌入式實時系統(tǒng),較系統(tǒng)地論述基本的實時調(diào)度算法、調(diào)度性分析方法,說明引入形式化方法的必要性,并為實時系統(tǒng)設計提供一個清晰的形式化方法基礎.其核心是面向?qū)崟r系統(tǒng)的形 式化分析(formalanalysis)及驗證.全書特別列舉了大量關于安全關鍵系統(tǒng)的工程實例,從簡單系統(tǒng)(如溫度控制系統(tǒng)、面包機和電飯煲)到

本書是《微型計算機原理與接口技術》（孫力娟等編著，清華大學出版社出版）一書的配套實驗教材。本教材結合課程內(nèi)容，針對匯編語言程序設計及接口技術編排了內(nèi)容豐富的軟硬件實驗項目和指導性的實驗例題，主要內(nèi)容有匯編語言程序設計實驗、微型計算機教學實驗系統(tǒng)及系統(tǒng)軟件介紹、微型計算機接口實驗。本書的硬件實驗以清華大學科教儀器廠研發(fā)的

《微機原理與接口技術（第2版）》作為高等院校理工科應用型本科教材，結合作者多年的實踐經(jīng)驗及教學體會，內(nèi)容緊密聯(lián)系教學需要，深入淺出，重點突出，語言通俗易懂，圖文并茂。全書共計12章，包括微型計算機概述、8086微處理器、8086指令系統(tǒng)、匯編語言程序設計、存儲系統(tǒng)、輸入／輸出技術、中斷技術及控制器、并行通信接口、DMA

在今天所處的大時代背景下，3G/4G/5G移動互聯(lián)網(wǎng)、物聯(lián)網(wǎng)、云計算、大數(shù)據(jù)、工業(yè)4．0等，儼然已陸續(xù)成為信息IT產(chǎn)業(yè)、工業(yè)及其兩化融合的主旋律；而嵌入式系統(tǒng)以其高集成、高可靠、功能強、成本低的優(yōu)點已成為這些產(chǎn)業(yè)應用技術中最核心、最關鍵的基礎部分。

本書為C語言版，是根據(jù)教育部對高職高專的培養(yǎng)目標及對單片機教學的基本要求，本著“實用、夠用”的原則，結合目前單片機的廣泛應用和新技術發(fā)展編寫的。它以理論為基礎、著眼應用，注重實踐能力的培養(yǎng)。全書以80C51單片機應用系統(tǒng)為主線，全面地介紹了單片機系統(tǒng)結構的基本原理、指令系統(tǒng)、程序設計方法、中斷與定時器系統(tǒng)、串行通信技術

單片機原理實驗指導書

《基于MSP430單片機原理及應用》以理論教學為引導，以工程實踐能力培養(yǎng)為主線，主要內(nèi)容包括MSP430x16x單片機的硬件結構和工作原理、指令系統(tǒng)及其集成軟件開發(fā)環(huán)境、片內(nèi)及片外模塊介紹及其應用、硬件實驗板制作步驟以及MSP430單片機應用系統(tǒng)詳細設計。《基于MSP430單片機原理及應用》的實例來源于作者的教學實踐，

本教材內(nèi)容主要包括：認識單片機及其開發(fā)工具、制作單片機輸出控制電路、MCS-51單片機及其指令系統(tǒng)、制作LED數(shù)碼管顯示電路、制作LED點陣顯示電路、外部中斷的應用、定時器/計數(shù)器的應用、A/D轉換電路的應用和制作單片機與PC機串行口收發(fā)電路，每個內(nèi)容均包括基本知識和技能實訓兩大部分。

本書以Intel系列微處理器為背景，全面系統(tǒng)地介紹了微型計算機原理、接口技術及應用。全書共11章，分別介紹了計算機基礎、Intel微處理器、半導體存儲器、并行接口技術、串行通信技術、定時/計數(shù)技術、中斷技術、DMA技術、總線技術和人機接口技術。

《單片機及工程應用基礎》立足于MCS51經(jīng)典結構，以廣泛應用的AT89S52單片機為應用對象，深入淺出地講述了單片機原理及應用系統(tǒng)設計原理.全書采用匯編與C51并行的撰寫方式，方便對比學習，符合工程應用需求.同時，書中深度融合了微機原理課程中的核心知識，尤其是在匯編指令的深入剖析、中斷系統(tǒng)的分析和存儲器的擴展方法等方面