Skip to main content

Automated Distributed Implementation of Component-based Models with Priorities

Publication Type
Year of Publication
Conference/Journal Name
ACM International Conference on Embedded Software (EMSOFT)
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-to-point 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.
Other Info.
Best paper award finalist