A metamodel for the design of polychronous systems

Christian Brunette 1 Jean-Pierre Talpin 1 Abdoulaye Gamatié 2, 3 Thierry Gautier 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
2 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : This article presents the development of a metamodel and an open-source design environment for the synchronous language Signal in the Gme and Eclipse frameworks. This environment is intended to be used as a pivot modeling tool for a customized, aspect-orientedandapplication-driven,computer-aidedengineering ofembeddedsystems starting from multiple and heterogeneous initial specifications. The metamodel, called SignalMeta, is defined on top of the design workbench Polychrony, which is dedicated to Signal programming. Automated transformations are defined and implemented in order to produce, analyze, statically verify and model-check programs obtained from high-level models. The proposed approach promotes model-driven engineering within a framework that strongly favors formal validation. It aims at significantly decreasing design costs while improving the quality of systems.We demonstrate the agility of this approach by considering the design of both control-oriented and avionic systems. We start with an implementation of core polychronous1 data-flow concepts in Gme and show the ease of its modular extension with application-specific concepts such as mode automata or integrated modular avionics concepts. This work is the first attempt to generalize the formal model of computation and the design philosophy of Polychrony.
Type de document :
Article dans une revue
Journal of Logic and Algebraic Programming, Elsevier, 2009, 78 (4), pp.233-259. 〈10.1016/j.jlap.2008.11.005〉
Liste complète des métadonnées

Contributeur : Ist Rennes <>
Soumis le : jeudi 14 février 2013 - 16:20:57
Dernière modification le : mercredi 21 février 2018 - 01:47:18

Lien texte intégral



Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier. A metamodel for the design of polychronous systems. Journal of Logic and Algebraic Programming, Elsevier, 2009, 78 (4), pp.233-259. 〈10.1016/j.jlap.2008.11.005〉. 〈hal-00788580〉



Consultations de la notice