《状态机模型、并发进程模型.pptVIP

状态机模型、并发进程模型 概要 模型与语言的比较 状态机模型 FSM/FSMD HCFSM 和状态图表语言 程序状态机模型 (PSM) 并发进程模型 通信 同步 实现 数据流模型 实时系统 引言 嵌入式系统处理行为的描述 描述起来或许非常困难 随着IC容量的增加，复杂度也随之增加。 嵌入式早期应用：洗衣机、小游戏等 仅有数百行的程序代码 如今的应用：电视机机顶盒和手机等。 可能需要几十万行的程序代码 在设计初期，所需的行为甚至不能完全让人理解，许多的系统缺陷都是描述不清造成的。 使用英语或其它自然语言来描述所需行为，这是合理描述的第一步。 但是，这样做仍然不够，因为自然语言并不精确。 如： 发动机相关代码，达数千页之长。 模型与语言 我们如何用计算模型描述所需的系统行为呢? 我们可许想到用计算机语言 来描述，如，C、 C++等。计算模型可以帮助设计者理解和描述行为。 常见的计算模型 时序程序模型（ Sequential program model ） 提供一组语句、语句规则以及说明语句如何执行的语义。 通信进程模型（ Communicating process model ） 该模型支持对多进程的并发执行。 状态机模型（ State machine model ） 该模型用于以控制为主的系统，监视控制输入、设置控制输出。 数据流模型（ Dataflow model ） 该模型用于以