Verimag

Model Transformation

Generating System Models

 Overview

A key idea in the BIP methodology is to generate the system models (i.e. implementations) from the application model of the software and a model of the target platform by using a set of correct-by-construction model transformations. These transformations preserve functional properties. Moreover, they take into account extra-functional constraints.

We consider three types of transformations:

[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

[3B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf and J. Sifakis. Automated Conflict-free distributed implementation of component-based models In Symposium on Industrial Embedded Systems SIES’10 Proceedings

[4B. Bonakdarpour, M. Bozga, M. Jaber, J.Quilbeuf, J. Sifakis From High-Level Component-Based Models to Distributed Implementations In Embedded Software EMSOFT’10 Proceedings

[5M. Bozga and E. Sifakis. Issues on Memory-Management for Component-Based Systems In Exploiting Concurrency Efficiently and Correctly EC^2 2010 Workshop.


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

info visites 684851