内容提要 Modeling Design Analysis ·系统规约、建模、实现、分析方法：ABC -CBD:分治，结构 -MBD:抽象，分析 Integrate Models to DESIGN-BUILD-VALIDATE-VERIFY 。可视化模型语言 -变迁系统：FSM/HCFSM,Timed Automata -数据流系统：CDFG,数据流进程网络(KPN,SDF) ·应用与工具 到 ·Peter Marwedel,.TU Dortmund教授 战入式系统设计一入式 信息物理系统基础■ -《嵌入式系统设计，嵌入式CPS系统基础》，第2版2011 -第二章：规范与建模 llxx@ustc.edu.cn内容提要 • 系统规约、建模、实现、分析方法：ABC – CBD：分治，结构 – MBD：抽象，分析 • Integrate Models to DESIGN-BUILD-VALIDATE-VERIFY • 可视化模型语言 llxx@ustc.edu.cn 10/71 – 变迁系统：FSM/HCFSM，Timed Automata – 数据流系统：CDFG，数据流进程网络（KPN，SDF） • 应用与工具 • Peter Marwedel，TU Dortmund教授 – 《嵌入式系统设计·嵌入式CPS系统基础》，第2版2011 – 第二章：规范与建模