The ESTEREL language

Boussinot, Frédéric; Simone, Robert de

doi:10.1109/5.97299

Cited by 350 publications

(136 citation statements)

References 2 publications

Supporting

Mentioning

133

Contrasting

Unclassified

Order By: Relevance

“…In many papers, the formal language based approach is attractive because it provides a unified basis for formal analysis to achieve expected correctness. The formal synchronous languages mainly contain Esterel [6], Lustre [7], Statecharts [8]. The Esterel and Statecharts are suitable for specifying control-oriented systems.…”

Section: Related Workmentioning

confidence: 99%

Heterogeneous Model Merging Based on Model Transformation

Ma¹,

Zhang²,

Gu³

2016

IJMO

View full text Add to dashboard Cite

Abstract-The system design and development of embedded software is under a lot of challenges. Model-based software systems are drawing more and more attentions. In our previous work we proposed a system level design language named SyncBlock and developed a toolset for the design of synchronous embedded system. Although our toolset is superior for building synchronous models, it is difficult to model the external environment of embedded system ideally, and does not support asynchronous modeling functionalities or the merging of heterogeneous models of computation. Ptolemy II is a well-known modeling platform which supports many well-defined heterogeneous models of computation. In this paper we propose a series of rules and mechanisms on model transformation from SyncBlock to the SR model of computation in Ptolemy II for heterogeneous model merging. Using our method, we can model and simulate synchronous embedded systems by SyncBlock, and then simulate the designed model further coupling with external environment modeled by other models of computation in Ptolemy II like Discrete Event Domain, and finally generate codes by the SyncBlock modeling tool. Through heterogeneous model merging by model transformation, we combine the advantages of the two modeling tools.

show abstract

Section: Related Workmentioning

confidence: 99%

Heterogeneous Model Merging Based on Model Transformation

Ma¹,

Zhang²,

Gu³

2016

IJMO

View full text Add to dashboard Cite

show abstract

“…LUSTRE [5] and SIGNAL [9] are designed for data flow applications, while ESTEREL [3] and STATECHARTS [6] target control-oriented applications. However, there is no language, which is good in both areas as elaborated in [1].…”

Section: Related Workmentioning

confidence: 99%

Formal system design based on the synchrony hypothesis, functional models, and skeletons

Sander

Jantsch

1999

Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)

View full text Add to dashboard Cite

show abstract

“…Various support tools have been used to create reactive robot systems based on situated automaton formal methodology, like Esterel [6] and Rex [17]. Some other approaches propose specialized tools to design and implement complete robot control systems based on finite state machines: the main examples are Orccad [28], Chimera [30] and ControlShell [23].…”

Section: Reactive Systemsmentioning

confidence: 99%