Skip to Main content Skip to Navigation
Reports

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

Loïc Besnard 1 Christian Brunette 1 Thierry Gautier 1 Jean-Pierre Talpin 1
1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : 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 environments to design multi-clocked systems, and a good front-end for the POLYCHRONY platform. To complete this front-end, we develop a tool that transforms the graphical Signal-Meta specifications to the corresponding SIGNAL program. \\ Cet article présente Signal-Meta, le métamodèle conçu pour le langage synchrone orienté flot de données SIGNAL. Signal-Meta est basé sur l'environnement générique de modélisation orienté objet GME. GME fournit un ensemble configurable d'outils permettant la création d'environnements aussi bien de modélisation pour des domaines spécifiques que de synthèse de programmes. Signal-Meta constitue une brique de base pour construire des environnements pour modéliser des systèmes multi-horloges et un bon éditeur graphique de modélisation pour POLYCHRONY. Pour réaliser la liaison entre Signal-Meta et POLYCHRONY, nous avons développé un outil transformant les spécifications graphiques de Signal-Meta en code SIGNAL.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00000919
Contributor : Anne Jaigu <>
Submitted on : Friday, December 9, 2005 - 3:27:16 PM
Last modification on : Friday, January 8, 2021 - 3:40:38 AM
Long-term archiving on: : Friday, April 2, 2010 - 10:37:25 PM

Identifiers

  • HAL Id : inria-00000919, version 1

Citation

Loïc Besnard, Christian Brunette, Thierry Gautier, Jean-Pierre Talpin. Modeling multi-clocked data-flow programs in the Generic Modeling Environment. [Research Report] PI 1771, 2005, pp.40. ⟨inria-00000919⟩

Share

Metrics

Record views

290

Files downloads

451