Model Transformation

Generating System Models

 Memory management

BIP adopts a private memory model which is safe for programming but may lead to inefficient implementations. The aim is to realize memory transformation from private to shared memory and conversely. We are also interested in transformations leading to mixed solutions combining private and shared memory and determining tradeoffs. For an example, see [5].

contact: Marius Bozga

[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.28 + AHUNTSIC [CC License]

info visites 1258693