The Esterel synchronous programming language: design, semantics, implementation

Berry, Gérard; Gonthier, Georges

doi:10.1016/0167-6423(92)90005-v

Cited by 1,300 publications

(830 citation statements)

References 7 publications

Supporting

Mentioning

817

Contrasting

Unclassified

Order By: Relevance

“…Those that are perhaps most related to StreamIt 1.0 are synchronous dataflow languages such as LUSTRE [21] and ESTEREL [22] which require a fixed number of inputs to arrive simultaneously before firing a stream node. However, most special-purpose stream languages do not contain features such as messaging and support for modular program development that are essential for modern stream applications.…”

Section: Related Workmentioning

confidence: 99%

StreamIt: A Language for Streaming Applications

Thies

Karczmarek

Amarasinghe

2002

Lecture Notes in Computer Science

739

605

View full text Add to dashboard Cite

Abstract. We characterize high-performance streaming applications as a new and distinct domain of programs that is becoming increasingly important. The StreamIt language provides novel high-level representations to improve programmer productivity and program robustness within the streaming domain. At the same time, the StreamIt compiler aims to improve the performance of streaming applications via stream-specific analyses and optimizations. In this paper, we motivate, describe and justify the language features of StreamIt, which include: a structured model of streams, a messaging system for control, a re-initialization mechanism, and a natural textual syntax.

show abstract

Section: Related Workmentioning

confidence: 99%

StreamIt: A Language for Streaming Applications

Thies

Karczmarek

Amarasinghe

2002

Lecture Notes in Computer Science

739

605

View full text Add to dashboard Cite

show abstract

“…Another class of reactive languages are the synchronous languages such as Esterel [2], Lustre [3] and SIGNAL [6]. These languages are designed for reactive systems in which reaction is instantaneous.…”

Section: Related Workmentioning

confidence: 99%

Coordination of Many Agents

2005

View full text Add to dashboard Cite

Abstract. This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framework is a highly structured shared store in the form of a constraint logic program (CLP), which is used as a knowledge base and being reacted to by agents through the use of "reactors". The biggest challenge arising from such a reactive programming framework using CLP is to develop a trigger mechanism that allows efficient "wakeup" of blocked reactors. This paper addresses the architecture of this open framework, and discusses a general methodology for doing triggering of logic conditions using views and abstractions.

show abstract

“…However, embedded programming languages, such as Esterel [10] and Statecharts [11], interact with a physical plant by reading sensor variables and writing control variables (left, Figure 1). Constraint programming languages, such as the Timed Concurrent Constraint Language (TCC) [12], replace the traditional notion of a "store" as a valuation of variables with the notion of a store as a set of constraints on program variables.…”

Section: Model-based Programmingmentioning

confidence: 99%

Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State

Williams

Ingham

2002

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Programming complex embedded systems involves reasoning through intricate system interactions along paths between sensors, actuators and control processors. This is a time-consuming and error-prone process. Furthermore, the resulting code generally lacks modularity and robustness. Model-based programming addresses these limitations, allowing engineers to program by specifying high-level control strategies and by assembling common-sense models of the system hardware and software. To execute a control strategy, model-based executives reason about the models "on the fly", to track system state, diagnose faults and perform reconfigurations. This paper describes the Reactive Model-based Programming Language (RMPL) and its executive, called Titan. RMPL provides the features of synchronous reactive languages within a constraint-based modeling framework, with the added ability of being able to read and write to state variables that are hidden within the physical plant.

show abstract

The Esterel synchronous programming language: design, semantics, implementation

Cited by 1,300 publications

References 7 publications

StreamIt: A Language for Streaming Applications

StreamIt: A Language for Streaming Applications

Coordination of Many Agents

Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State

Contact Info

Product

Resources

About