嵌入式系统的描述与设计（PDF下载）

《嵌入式系统的描述与设计》是2007年机械工业出版社出版的图书，作者是盖斯基。本书介绍嵌入式系统领域的基本概念以及实际的描述和设计方法，包括嵌入式系统模型和体系结果、描述语言、系统划分、描述细化以及系统方法学等方面。

目录：

出版者的话

专家指导委员会

译者序

英文版序言

致谢

第1章 引言

1.1 设计表示

1.2 抽象级别

1.3 当前的设计方法学

1.4 系统级方法学

1.5 系统描述和设计

第2章 模型与体系结构

2.1 引言

2.2 模型分类

2.3 面向状态的模型

2.3.1 有限状态机

2.3.2 Petri网

2.3.3 层次化并发有限状态机

2.4 面向活动的模型

2.4.1 数据流图

2.4.2 流程图

2.5 面向结构的模型

2.6 面向数据的模型

2.6.1 实体-关系图

2.6.2 Jackson图

2.7 异构模型

2.7.1 控制/数据流图

2.7.2 结构图

2.7.3 程序设计语言模式

2.7.4 面向对象的模型

2.7.5 程序状态机

2.7.6 队列模型

2.8 体系结构分类

2.9 专用体系结构

2.9.1 控制器体系结构

2.9.2 数据通路体系结构

2.9.3 带数据通路的有限状态机

2.10 处理器

2.10.1 复杂指令集计算机

2.10.2 精简指令集计算机

2.10.3 向量机

2.10.4 超长指令字计算机

2.11 并行处理器

2.12 结论

2.13 练习

第3章 系统描述语言

3.1 引言

3.2 概念模型的特性

3.2.1 并发性

3.2.2 状态迁移

3.2.3 层次化

3.2.4 程序结构

3.2.5 行为完成

3.2.6 通信

3.2.7 同步

3.2.8 异常处理

3.2.9 非确定性

3.2.10 时序

3.3 嵌入式系统的描述要求

3.4 描述语言综述

3.4.1 VHDL

3.4.2 Verilog

3.4.3 HardwareC

3.4.4 CSP

3.4.5 Statecharts

3.4.6 Argos

3.4.7 SDL

3.4.8 Silage

3.4.9 Esterel

3.5 SpecCharts

3.5.1 语言描述

3.5.2 用SpecCharts描述嵌入式系统

3.5.3 等价图形化表示

3.5.4 语言的可扩展性

3.6 结论和发展方向

3.7 练习

第4章 系统描述举例

第5章 转换成VHDL

第6章 系统划分

第7章 设计质量评估

第8章 设计描述细化

第9章 系统设计方法学

附录A应答机的自然语言描述

附录B应答机的SpecCharts描述

参考文献

术语解释

索引
下载链接：
https://mianbaoduo.com/o/bread/mbd-YZWVm55r