Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions
Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions
复制标题
DOI：
10.1007/s10617-012-9087-9
复制
发表时间：
2012-07
影响因子：
1.4
通讯作者：
J. Brandt;Mike Gemünde;K. Schneider;S. Shukla;J. Talpin
中科院分区：
文献类型：
--
作者：
J. Brandt;Mike Gemünde;K. Schneider;S. Shukla;J. Talpin
对于嵌入式系统的设计，使用了许多语言，这些语言基于不同的计算模型，例如事件驱动、数据驱动和时钟驱动的范例以及没有明确时间概念的范例。由这样的异构组件组成的系统是很难分析的，所以主要是通过耦合不同的模拟器的联合仿真已被认为是迄今为止。在这篇文章中，我们提出了一个独特的中间表示，可以作为一个共同的基础，模拟，分析和合成的时钟保护行动。我们展示了如何同步，（不定时）异步，和多线程语言可以被翻译成时钟守卫行动，以证明我们的中间表示是强大到足以捕捉不同的计算模型。有一个独特的和可组合的中间表示这些组件在手允许一个简单的组成这些组件。此外，我们展示了如何时钟保护行动可以用于验证符号模型检查和模拟SystemC。
For the design of embedded systems, many languages are in use, which are based on different models of computation such as event-, data-, and clock-driven paradigms as well as paradigms without a clear notion of time. Systems composed of such heterogeneous components are hard to analyze so that mainly co-simulation by coupling different simulators has been considered so-far. In this article, we propose clocked guarded actions as a unique intermediate representation that can be used as a common basis for simulation, analysis, and synthesis. We show how synchronous, (untimed) asynchronous, and polychronous languages can be translated to clocked guarded actions to demonstrate that our intermediate representation is powerful enough to capture rather different models of computation. Having a unique and composable intermediate representation of these components at hand allows one a simple composition of these components. Moreover, we show how clocked guarded actions can be used for verification by symbolic model checking and simulation by SystemC.