嵌入式系统的微模块化程序设计——实用状态图C/C++实现

嵌入式系统的微模块化程序设计——实用状态图C/C++实现 内容提要

    建模反应式系统而不使用重量级的工具，作者的量子编程（QP）是一种新的范型。它把状态图作为一种设计方法，而不是作为特殊工具来使用。在《嵌入式系统的微模块化程序设计——实用状态图C/C++实现》的第1部分，给出相关概念清晰而明确的叙述，包括传统的有限状态机和状态图，以及基于状态图的设计模式；给出了可运行代码，使读者能通过实际操作来学习量子编程，以及学到状态嵌套如何导致行为继承和如何通过按差异编程而实现重用。第2部分完整地叙述了量子框架的实现，以及说明如何在应用中使用它，并移植到所选用的RTOS。《嵌入式系统的微模块化程序设计——实用状态图C/C++实现》适于嵌入式系统、实时系统及UML状态图的相关工程设计人员使用，并可作计算机科学和电气工程高年级学生的教学用书。所附光盘包含了作者的量子框架的全部源代码、散见于《嵌入式系统的微模块化程序设计——实用状态图C/C++实现》的所有练习的答案以及一个RTOS32的评估板——X86处理器的32位实时操作系统。

嵌入式系统的微模块化程序设计——实用状态图C/C++实现 目录

第1部分 状态图
第1章 量子编程的快速浏览
1.1 终结钩子——GUI应用程序的剖析
1.2 程序设计的更好办法——一个计算器的工作
1.2.1 传统的事件动作范型的缺点
1.2.2 计算器状态图
1.2.3 同Windows集成
1.2.4 状态处理器方法
1.3 面向对象相似性
1.3.1 状态层次和类分类学
1.3.2 进入/退出状态和初始化/结束类
1.3.3 按差异编程
1.3.4 行为继承作为基本的元模式
1.3.5 状态模式
1.3.6 重构状态模型
1.3.7 超越面向对象编程
1.4 量子类比
1.5 小结
第2章 状态图速成
2.1 有限状态机的本质
2.1.1 状态
2.1.2 扩展状态
2.1.3 监测器
2.1.4 事件
2.1.5 动作和转换
2.1.6 Mealy和Moore自动机
2.1.7 执行模型——RTC步
2.1.8 状态转换图
2.2 UML状态图的本质
2.2.1 层次式状态
2.2.2 行为继承
2.2.3 正交区域
2

· 基于FPGA & CPLD的数字IC设计方法

· 嵌入式系统设计

· 嵌入式通信软件设计

· 嵌入式系统的实时概念

· OSEK/VDX汽车电子嵌入式软件编程技术

· 嵌入式系统的微模块化程序设计——实用状态图C/C++实现