嵌入式系统概论第七章

嵌入式系统概论第七章嵌入式系统概论四系统行为描述（计算）模型北京大学软件与微电子学院嵌入式系统概论计算模型（ComputationModel）概述时序程序模型有限状态机（FSM）并发进程模型数据流模型流程图小结北京大学软件与微电子学院嵌入式系统概论计算模型-概述（1）计算模型（computationModel）描述系统的处理行为（过程）的方法模型作用帮助设计者理解和描述系统行为减少系统缺陷（bug）Mostsystembugscomefrommistakesmadedescribingthedesiredbehaviorratherthanfrommistakesinimplementingthatbehavior.北京大学软件与微电子学院嵌入式系统概论计算模型-概述（2）描述嵌入式系统的模型时序程序模型（sequentialprogrammodel)提供一组语句、语句排列的规则