Ptoley.ppt

基于Ptolemy II的嵌入式计算系统级建模与仿真 嵌入式计算系统级设计背景介绍 嵌入式系统建模与仿真环境Ptolemy II 实例建模与仿真 参考文献 结论 徊字刺旦付肪呐儿渍泽泣疥料扳案榷橱第冉牺蝎志汁举疥滥赦辆殉钝了滁PtolemyPtolemy 嵌入式计算系统级设计背景介绍 1.目的和意义 嵌入式系统应用的覆盖面广、涉及的学科复杂；同时由于大多数系统包含不同的子系统，且子系统间的交互式方式均不同，因而此类系统也是异构的。 面对日益激烈的市场竞争，系统设计周期的长短成为产品占领市场的一个重要因素。而系统级设计的关键是建模，即如何模拟系统的各个方面，以反应系统的真实行为。 由UC Berkeley大学开发的Ptolemy II采用面向角色的设计方法，此方法对系统级设计非常有效。它设计了许多针对特定领域的计算模型，这些计算模型在很好地表示不同系统的执行规则的同时，也解决了硬件与软件的主要差异：并行与时间上的不同，因而可运用Ptolemy从系统级实现嵌入式系统的软、硬件同构。 鳃关赫结绪呈阿丫等径蟹桥庙吻弹屏炳恕蚤疥伶其叁碱抉芒绸杜攫此哮胚PtolemyPtolemy 目前，许多研究者设计了很多单一计算模型以抽象系统的不同特性，但这些单一的计算模型不能满足异构嵌入式系统设计的需要。现在，不少设计团体正通过扩展现有语言和工具的表示能力来解决异构问题。 设计工具Spice、Saber及早期的Simulink均基于连续时间（CT）模型，此模型用以表示常微分方程和微分代数方程，主要用于建模机械动态行为、模拟电路、化学过程和许多物理系统，  语言和工具如VHDL、Verilog、ns采用离散事件（DE）模型，此模型有一个全局时间概念和时间标志事件，它适用于建模数字电路、网络流量、队列系统的时间特性。其中一些DE模型，所有事件的时间标志是预先定义的时间间隔的倍数，这些模型可建模离散控制系统，并进行周期精确的仿真。 2.嵌入式系统级设计的研究现状 惧愧硷烂持熄蓑挝涅奔视拱丫搔术紫孵爵苹挠连找厂滔耻振痈钻酶贰妨滩PtolemyPtolemy 3.系统级设计工具的近期发展 对于异构系统，如通信系统、机电系统、电场光学系统以及混合控制系统，它需整合不同计算模型，这对建模和仿真平台提出了较高的要求。 研究人员现正通过扩展现有工具的设计能力，来解决复杂、异构系统的系统级设计。然而，近期设计的工具仅支持有限的计算模型，这限制了其对复杂嵌入式系统的设计能力。同时，进一步的扩展可能由于新的计算模型与现在结构间存在语义不匹配的问题而难以实现。 另外，这些设计工具仍未跳出传统的系统级设计方法，即系统建模、仿真后，不同的人采用不同工具完成不同的设计阶段。由于不同的人根据其专业知识对问题的理解存在偏差，这将可能造成最终产品与系统级设计结果出入较大，不能达到系统级设计的效果。 枪雨捏缘列言卿抽券祝之生砸揽聪姜黎诸辐执啼滥朗硅肚坤踞故萨隐仑带PtolemyPtolemy 开发语言 核心方法 是否开源 支持处理器模型 支持编译器类型 局限性 执行效率 嵌入式仿真环境 SkyEye C语言 面向对象方法 是 ARM 交叉编译环境 不支持FLASH内存 高 Proteus Java 互动性的仿真器 是 8051，ARM等 IAR、Keil和MPLAB 模拟电路仿真薄弱 高 CodeViser C语言 支持高端调试功能 否 ARM，Xscale 兼容主流ARM开发环境 应用范围有限 高 simulink C语言 面向结构图式的仿真环境 否 ARM7TDMI 交叉编译环境 抽象层次低 低 ptolemy Java 面向角色的设计方法 是 ARM 兼容主流ARM开发环境 高 Mworks Modelica 面向对象的非因果建模 是 ARM Keil 不能仿真复杂模型 高 4.几种嵌入式仿真软件的比较 剁碉魏青烽级坦盘晦夺尘啼叛父昌铜任皋慌尊彦屹傀堂壳隧郎佯吧脊部瘸PtolemyPtolemy 嵌入式系统建模与仿真环境Ptolemy II 1.设计原理 使用定义明确的计算模型管理组件间的交互机制，在层次异构设计环境中使用多计算模型与组件共同定义系统的行为。 Ptolemy II将异构组件分解为多层次组件，同层组件由一个定义明确的计算模型管理组件间的交互，并允许不同的交互机制在不同层由不同的计算模型控制实现。 计算模型也是可组合的，即它不仅能控制同层组件的数据流和控制流，还可将一层的组件转换为复合组件，在其他计算模型控制下与别的组件相互通信。 北啥濒鄂屎衣卢揭巷逸击瘫擅沈虫行催拼鞠叫闺动莆旷酬露曼元滤