系统行为描述（计算）模型嵌入式系统概论 四 系统行为描述（计算）模型 北京大学软件与微电子学院 嵌入式系统概论 计算模型（Computation Model） 概述 时序程序模型 有限状态机（FSM） 并发进程模型 数据流模型 流程图 小结 北京大学软件与微电子学院 嵌入式系统概论 计算模型-概述（1） 计算模型（computation Model） 描述系统的处理行为（过程）的方法 模型作用 帮助设计者理解和描述系统行为 减少系统缺陷（bug） Most system bugs come from mistakes made describing the desired behavior rather than from mistakes in implementing that behavior. 北京大学软件与微电子学院 嵌入式系统概论 计算模型-概述（2） 描述嵌入式系统的模型 时序程序模型（sequential program model) 提供一组语句、语句排列的规则 ……