Verimag

Model-to-Model Transformations

[article under construction]

Model-to-Model Transformations

These transformations take BIP models and transform them into functionally equivalent BIP models with different architectures. Such transformations have already been implemented in the BIP2BIP tool [1] [2]. They allow in particular to generate from a hierarchical model an equivalent flat model or a single atomic component by composing the behavior of the constituent components. Flat models have been proven optimal for implementation on single processor platforms. We will study transformations for deriving optimal implementations with respect to given execution platform.

The transformation from a composite component to flat model is fully automated and implemented through three steps:

  • Component flattening which replaces the hierarchy on components by a set of hierarchically structured connectors applied on atomic components;
  • Connector flattening which computes for each hierarchically structured connector an equivalent flat connector;
  • Component composition which composes atomic components to get an atomic component.

Using such a transformation allows to combine advantages of component-based descriptions such as clarity and reuse with efficient implementation. The generated code is readable and by-construction functionally equivalent to the component-based model.

[1Marius Bozga, Mohamad Jaber and Joseph Sifakis. Source-to-source architecture transformation for performance optimization in BIP. In Symposium on Industrial Embedded Systems SIES 2009 Proceedings pages 152-160

[2Marius Bozga, Mohamad Jaber and Joseph Sifakis. Source-to-source architecture transformation for performance optimization in BIP. In IEEE Transactions on Industrial Informatics 2010 Volume 6, Number 4


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 861187