Automated Conflict-Free Distributed Implementation of Component-Based Models

Borzoo Bonakdarpour (1) , Marius Bozga (1) , Mohamad Jaber (1) , Jean Quilbeuf (1) , Joseph Sifakis (1)

1 VERIMAG - IMAG - VERIMAG

We propose a method for generating distributed implementations from high-level models expressed in terms of a set of components glued by rendezvous interactions. The method is a 2-phase transformation preserving all functional properties. The first phase is a source-to-source transformation from global state to a partial state model (to relax atomicity). This transformation replaces multi-party rendez-vous interactions by send/receive primitives managed by a set of automatically generated distributed schedulers. These schedulers are conflict-free by construction in the sense that they do not require communication in order to safely execute interactions of the high-level model. In the second phase, from the transformed model in phase one, we generate C++ distributed code using either TCP sockets or MPI to implement send/receive primitives. Our method is fully implemented in a tool for automatic generation of distributed applications. We present experimental results using different case studies.

Mots clés: component-based modeling; automated transformation; distributed systems; BIP; correctness-by-construction

Domaines: Systèmes embarqués

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis. Automated Conflict-Free Distributed Implementation of Component-Based Models. IEEE Fifth International Symposium on Industrial Embedded Systems, Jul 2010, Trento, Italy. pp.108-117, ⟨10.1109/SIES.2010.5551377⟩. ⟨hal-00558046⟩