A meta-model of Polychrony
Participants : Christian Brunette, Thierry Gautier, Jean-Pierre Talpin.
We have developed a metamodel of Polychrony in the Generic Modeling Environment (GME) detailed in Sections ( 6.2 , 6.3 , and 6.4 .
Signal-Meta is the metamodel of the SIGNAL language. It describes all syntactic elements specified in  : all SIGNAL operators (e.g. arithmetic, clock synchronization), model (e.g. process frame, module), and construction (e.g. iteration, type declaration).
Signal-Meta has been extended to allow the definition of mode automata, which were originally proposed by Maraninchi et al.  to extend the functionality-oriented data-flow paradigm with the capability to model transition systems easily and provide an additional imperative flavor.
MIMAD is also built as an extension of Signal-Meta and allows to design applications based on the Integrated Modular Avionics (IMA) architecture, which relies on the avionic standard APEX-ARINC  ,  .
These metamodels aims at providing a user with a graphical framework allowing to model applications using a component-based approach. Application architectures can be easily described by just selecting these components via drag and drop, creating some connections between them and specifying their parameters as component attribute. To complete this framework, we have developed, for each of these metamodels, GME interpreters to transform the resulting graphical model to SIGNAL programs, and so to test and compile them in Polychrony.