Automated Distributed Implementation of Component-Based Models with Priorities

Borzoo Bonakdarpour (1) , Marius Bozga (2) , Jean Quilbeuf (2)

1 ECE - Department of Electrical and Computer Engineering [Waterloo]
2 VERIMAG - IMAG - VERIMAG

In this paper, we introduce a novel model-based approach for constructing correct distributed implementation of component-based models constrained by priorities. We argue that model-based methods are especially of interest in the context of distributed embedded system due to their inherent complexity. Our three-phase method's input is a model specified in terms of a set of behavioural components that interact through a set of high-level synchronization primitives (e.g., rendezvous and broadcasts) and priority rules for scheduling purposes. Our technique, first, transforms the input model into a model that has no priorities. Then, it transforms the deprioritized model into another model that resolves distributed conflicts by incorporating a solution to the committee coordination problem. Finally, it generates distributed code using asynchronous point-topoint send/receive primitives. All transformations preserve the properties of their input model by ensuring observational equivalence. The transformations are implemented and our experiments validate their effectiveness.

Mots clés: Component-based modeling; Automated transformation; Distributed systems; BIP; Correctness-by-construction; Committee coordination; Conflict resolution

Domaines: Systèmes embarqués

Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf. Automated Distributed Implementation of Component-Based Models with Priorities. 1th International Conference on Embedded Software, EMSOFT 2011, Oct 2011, Taipei, Taiwan. pp.59-68, ⟨10.1145/2038642.2038654⟩. ⟨hal-00722405⟩