论文部分内容阅读
包括控制领域和迁移领域的嵌入式系统通常用不同的语言进行描述.这些语言有着各自不同的语义和应用领域,同时也能够根据各自领域的特点进行特殊的设计和优化.另一方面,原有系统设计的复用也要求能够在新的设计中引入原有的、可能采用不同语言描述的设计.目前还不能够完全用一种语言或计算模型完全取代这些不同的语言.良好的设计过程应该能够充分利用各种不同语言和工具的能力,并且能够为用不同语言或计算模型描述的设计提供验证和分析方面的支持.该文提出了一个由Timed CPN和FSM并行组合而成的计算模型,并在此基础上给出了一个设计框架来解决上述的嵌入式系统多语言设计问题.该文还在这个模型的基础上给出了一种应用于异步电路设计和综合的方法.