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:
[1] Marius 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
[2] Marius 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
[3] B. 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
[4] B. Bonakdarpour, M. Bozga, M. Jaber, J.Quilbeuf, J. Sifakis
From High-Level Component-Based Models to Distributed Implementations
In Embedded Software EMSOFT’10 Proceedings
[5] M. Bozga and E. Sifakis.
Issues on Memory-Management for Component-Based Systems
In Exploiting Concurrency Efficiently and Correctly EC^2 2010 Workshop.