Modeling multi-clocked data-flow programs using the Generic Modeling Environment

Christian Brunette (1) , Jean-Pierre Talpin (1) , Loïc Besnard (1) , Thierry Gautier (1)

1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems

This paper presents Signal-Meta, the metamodel designed for the synchronous data-flow language Signal. It relies on the Generic Modeling Environment (GME), a configurable object-oriented toolkit that supports the creation of domain-specific modeling and program synthesis environments. The graphical description constitutes the base to build multi-clock environments, and a good front-end for the Polychrony platform. To complete this frontend, we develop a tool that transforms the graphical Signal-Meta specifications to the Signal code. This modeling paradigm constitutes a first work for generalizing the use of formal methods proposed by Polychrony.

Mots clés: Metamodeling; Signal; GME; synchronous languages; model transformation

Domaines: Systèmes embarqués

Christian Brunette, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier. Modeling multi-clocked data-flow programs using the Generic Modeling Environment. Synchronous Languages, Applications, and Programming, Mar 2006, Vienna, Austria. pp.SLAP 2006. ⟨hal-00541310⟩