本书是关于介绍“嵌入式系统的设计及应用”方面知识的专著，书中重点介绍了由嵌入式处理器组成的复杂分布式系统设计的一些最新研究成果，详细讨论了基于裕度的调度算法，并且重点研究讨论了基于Petri网的嵌入式系统设计方法的最新研究成果，最后将agent技术和各种网络技术结合，给出了由信息家电组成智能家居系统的理论框架。

本书可作为从事嵌入式系统研究的科研人员的参考书。

本书重点介绍由嵌入式处理器组成的复杂分布式系统设计的一些最新研究成果。在阐述了嵌入式系统的定义、发展史、组成、特定化以及基本理论后。详细讨论了基于裕度的调度算法，该算法是一种启发式的静态调度算法，结合了优先级抢先和不可抢先的优点，适合于复杂的多速率任务图。随后介绍了基于SOPC的嵌入式系统设计方法，并重点讨论了基于Petri网的嵌入式系统设计方法的最新研究成果。最后将agent技术和各种网络技术结合，给出了由信息家电组成智能家居系统的理论框架。

本书可作为从事嵌入式系统研究的科研人员的参考书。

前言

第1章 嵌入式系统基本理论

 1．1 嵌入式系统的定义

 1．2 嵌入式系统的发展史

 1．3 嵌入式系统的基本组成

 1．4 嵌入式实时操作系统

 1．5 嵌入式处理器

 1．6 嵌入式系统的通信结构

 1．7 传统的嵌入式系统的设计方法论

 1．8 本书结构安排

第2章 嵌入式系统的实时调度算法

 2．1 实时系统简介

 2．2 实时调度算法

 2．3 扩展的两种调度算法

 2．4 基于裕度的列表调度算法

 2．5 本章小结

第3章 基于SoPC的嵌入式系统的设计

 3．1 SoPC和SoPC技术

 3．2 设计流程

 3．3 本章小结

第4章 一种扩展的时间Petri网模型

 4．1 基于形式语言的嵌入式系统设计方法论

 4．2 形式语言

 4．3 Petri网建模

 4．4 RBTPN模型

 4．5 本章小结

第5章 基于RBTPN模型的调度分析

 5．1 可达图分析

 5．2 调度分析

 5．3 基于可达图的调度分析

 5．4 调度序列的分解和合并

 5．5 调度序列的时间限制

 5．6 实时系统的静态校验

 5．7 同现有调度模型的比较

 5．8 本章小结

第6章 智能家居系统

 6．1 智能家居概述

 6．2 相关技术

 6．3 智能家居系统

 6．4 本章小结

参考文献