Constructive polychronous systems
Constructive polychronous systems
复制标题
构造性多时系统
DOI：
10.1016/j.scico.2014.04.009
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Shukla
中科院分区：
文献类型：
--
作者：
Talpin;J.-P. ;Brandt;Gemünde;Schneider;Shukla
同步范式为反应式系统设计提供了时间的逻辑抽象，允许自动合成以可预测、及时和反应方式运行的嵌入式系统。根据同步假设，同步模型通过生成立即可供环境使用的输出来对输入做出反应。虽然同步总体上极大地简化了复杂系统的设计，但它有时会导致因果循环。在这些情况下，构造性是保证每个反应的输出仍然可以始终通过算法确定的关键属性。多时性通过使用部分有序（即时间的关系模型）来偏离完美同步。它包含同步模块的（隐式）多时钟数据流网络的行为，并且可以将它们分析和综合为 GALS 系统或卡恩过程网络（KPN）。在本文中，我们使用结构化操作语义提出了一个统一的构造性语义框架，该框架既包含同步模块的构造性行为，也包含多时网络的多时钟行为。在此过程中，我们定义了多时语言信号的第一个可执行操作语义。
The synchronous paradigm provides a logical abstraction of time for reactive system design which allows automatic synthesis of embedded systems that behave in a predictable, timely, and reactive manner. According to the synchrony hypothesis, a synchronous model reacts to inputs by generating outputs that are immediately made available to the environment. While synchrony greatly simplifies the design of complex systems in general, it can sometimes lead to causal cycles. In these cases, constructiveness is a key property to guarantee that the output of each reaction can still be always algorithmically determined.Polychrony deviates from perfect synchrony by using a partially ordered, i.e., a relational model of time. It encompasses the behaviors of (implicitly) multi-clocked data-flow networks of synchronous modules and can analyze and synthesize them as GALS systems or Kahn process networks (KPNs).In this paper, we present a unified constructive semantic framework using structured operational semantics, which encompasses both the constructive behavior of synchronous modules and the multi-clocked behavior of polychronous networks. Along the way, we define the very first executable operational semantics of the polychronous languageSignal.
登录
查看更多内容
影响因子：
1.1
作者：
J. Aguado;M. Mendler
通讯作者：
M. Mendler
纯 ESTEREL 的硬件实现
DOI：
--
发表时间：
1992
期刊：
影响因子：
--
作者：
Gérard Berry
通讯作者：
Gérard Berry
DOI：
--
发表时间：
1994
期刊：
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
影响因子：
--
作者：
P. R. Menon;Hitesh Ahuja;M. Harihara
通讯作者：
M. Harihara
影响因子：
3.7
作者：
W. Kautz
通讯作者：
W. Kautz
DOI：
--
发表时间：
2005
期刊：
International Conference on Embedded Software
影响因子：
--
作者：
J. Talpin;D. Potop;J. Ouy;B. Caillaud
通讯作者：
B. Caillaud