Optimizations for Faster Execution of Esterel Programs

Potop-Butucaru, Dumitru; Simone, Robert de

doi:10.1007/978-1-4020-8052-4_11

Cited by 34 publications

(84 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In particular, this section compares the Pnueli-Shalev step semantics to the constructive semantics of the synchronous language Esterel [7,52], with the aim of highlighting the close semantic relationship between Statecharts and Esterel. We also relate the Pnueli-Shalev step semantics to the so-called stable models of logic programming [49], a field in which the interpretation of negation plays a prominent role, too.…”

Section: Related Work Esterel and Logic Programmingmentioning

confidence: 99%

“…The most prominent representatives in this category are Pnueli and Shalev's semantics [51], Philipps and Scholz' µCharts variation [50] of it, and Berry's constructive semantics for Esterel [52] discussed in detail below, which corresponds to a correct potential function. The Pnueli-Shalev step semantics is obtained for the trivial potential function π(i) = σ(i), which permits full speculation so that all events not currently broadcast can be taken to trigger absences.…”

Section: Related Workmentioning

confidence: 99%

“…A program is logically correct if all its configurations have exactly one logically coherent step under every input stimulus. This is the logical behavioural semantics [52] that is applied in the visual language Argos [46], one of the early synchronous languages developed by Maraninchi around 1991. Argos is well-known for the invention of a fully semantical and thus compositional version of inter-level transitions.…”

Section: Related Workmentioning

confidence: 99%

“…Esterel is a textual, imperative language for specifying the behaviour of reactive systems, which has been developed by Berry and colleagues since the early 1980s [7,52], concurrently to and independently of Harel's Statecharts. A visual version of Esterel is André's SyncCharts [4] which is implemented as Safe State Machines in the embedded-software development tool SCADE [18].…”

Section: Relation To Esterelmentioning

confidence: 99%

“…4). Esterel is another popular synchronous language that was devised by Berry independently of, but at the same time as, Statecharts [52]. Its semantics differs from the one proposed by Pnueli and Shalev only by the interpretation of negative events.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

What Is in a Step: New Perspectives on a Classical Question

Roever

Lüttgen

Mendler

2010

Time for Verification

View full text Add to dashboard Cite

Abstract. In their seminal 1991 paper "What is in a Step: On the Semantics of Statecharts", Pnueli and Shalev showed how, in the presence of global consistency and while observing causality, the synchronous language Statecharts can be given coinciding operational and declarative step semantics. Over the past decade, this semantics has been supplemented with order-theoretic, denotational, axiomatic and game-theoretic characterisations, thus revealing itself as a rather canonical interpretation of the synchrony hypothesis. In this paper, we survey these characterisations and use them to emphasise the close but not widely known relations of Statecharts to the synchronous language Esterel and to the field of logic programming. Additionally, we highlight some early reminiscences on Amir Pnueli's contributions to characterise the semantics of Statecharts.

show abstract

Section: Related Work Esterel and Logic Programmingmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Relation To Esterelmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

What Is in a Step: New Perspectives on a Classical Question

Roever

Lüttgen

Mendler

2010

Time for Verification

View full text Add to dashboard Cite

show abstract

Separate Compilation for Synchronous Modules

Zeng

Edwards

2005

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such models usually require an entire system to be compiled at once to analyze the dependencies among modules. The alternative is to write modules that can respond when the values of some of their inputs are unknown, a tedious and error-prone process. We present a compilation technique that allows a programmer to describe synchronous modules without having to consider undefined inputs. Our algorithm transforms such a description into code that does as much as it can with undefined inputs, allowing modules to be compiled separately and assembled later. We implemented our technique in a compiler for the Esterel language and present results that show the technique does not impose a substantial overhead.

show abstract

Modular Compilation of Synchronous Programs

Schneider

Brandt

Vecchié

From Model-Driven Design to Resource Management for Distributed Embedded Systems

View full text Add to dashboard Cite

Abstract:We present a new method for modular compilation of synchronous programs given in imperative languages like Quartz or Esterel. The main idea of our approach consists of computing sequential jobs that correspond with control flow locations of the program. Each job encodes that part of an instantaneous reaction that is triggered by the activation of the corresponding control flow location. The special consideration of the initial job that is executed at initial time yields a simple method for modular code generation.

show abstract

Optimizations for Faster Execution of Esterel Programs

Cited by 34 publications

References 19 publications

What Is in a Step: New Perspectives on a Classical Question

What Is in a Step: New Perspectives on a Classical Question

Separate Compilation for Synchronous Modules

Modular Compilation of Synchronous Programs

Contact Info

Product

Resources

About