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

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

info visites 1849933