系统行为描述（计算）模型

系统行为描述（计算）模型
嵌入式系统概论




四 系统行为描述（计算）模型




北京大学软件与微电子学院
嵌入式系统概论

计算模型（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)
提供一组语句、语句排列的规则