基于Ptolemy的嵌入式计算系统级建模与仿真

摘要

嵌入式系统通常由具有不同特性的子系统组成,它的异构性给设计与仿真工具提出了很高的要求.针对此,Ptolemy提出层次异构的思想实现嵌入式系统的建模、仿真与设计.此设计原理现已在PtolemyⅡ中实现.PtolemyⅡ提供面向角色的设计方法学,针对不同功能的角色,设计不同的计算模型管理角色间的交互;抽象语义作为计算模型层次组合的基础,它通过抽象计算模型的共同特性并分离角色间的通信与执行机制实现;为保证计算模型的有效性,PtolemyⅡ采用接口自动机检查角色与计算模型的兼容.最后,本文通过设计实例比较PtolemyⅡ与Simulink建模与仿真的不同,进一步介绍PtolemyⅡ层次异构设计模式.