Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
复制标题
利用同步语言原理进行嵌入式系统的异构建模和设计
DOI：
10.1145/1289927.1289949
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Haiyang Zheng
中科院分区：
文献类型：
--
作者：
Edward A. Lee;Haiyang Zheng
本文给出了一个语义的离散事件（DE）模型，推广的同步/反应（SR）的语言，和连续时间（CT）的语义，推广的DE语义。它表明，所有这三种语义模型都可以用于面向角色的组合语言，尽管CT是最通用的，但有很好的理由使用每一种更专业的语义。此外，由于它们之间的泛化关系，这三种计算模型（MoCs）以任意顺序分层组合。我们描述了一个设计系统，支持这三个MoC的任意组合，利用演员的抽象语义托勒密II。
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the DE semantics. It shows that all three semantic models can be used in actor-oriented composition languages, and that despite the fact that CT is the most general, there are good reasons for using each of the more specialized semantics. Moreover, because of the generalization relationship between them, these three models of computation (MoCs) compose hierarchically in arbitrary order. We describe a design system that supports arbitrary combinations of these three MoCs, leveraging the actor abstract semantics of Ptolemy II.