本书介绍嵌入式系统领域的基本概念以及实际的描述和设计方法，包括嵌入式系统模型和体系结果、描述语言、系统划分、描述细化以及系统方法学等方面。讲解详细，实例丰富，有针对性的介绍了若干著名算法或解法，并解释每种方法的优缺点，还包括对该领域其他工作的综述，并提出尚未解决的一些问题。