Affiliation:
1. Kiel University, Kiel, Germany
2. Bamberg University, Bamberg, Germany
Abstract
The synchronous language Esterel provides determinate concurrency for reactive systems. Determinacy is ensured by the
signal coherence rule
, which demands that signals have a stable value throughout one reaction cycle. This is natural for the original application domains of Esterel, such as controller design and hardware development; however, it is unnecessarily restrictive for software development. Sequentially Constructive Esterel (SCEst) overcomes this restriction by allowing values to change instantaneously, as long as determinacy is still guaranteed, adopting the recently proposed Sequentially Constructive model of computation. SCEst is grounded in the minimal Sequentially Constructive Language (
scl
), which also provides a novel semantic definition and compilation approach for Esterel.
Funder
German Science Foundation
PRETSY project
Publisher
Association for Computing Machinery (ACM)
Subject
Hardware and Architecture,Software
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC;ACM Transactions on Programming Languages and Systems;2023-06-26
2. From Lustre to Graphical Models and SCCharts;2020 Forum for Specification and Design Languages (FDL);2020-09-15