Implementing Distributed Controllers for Systems with Priorities

Imene Ben-Hafaiedh
(Universite Joseph Fourier/VERIMAG)
Susanne Graf
(Universite Joseph Fourier/VERIMAG)
Hammadi Khairallah
(Tunisia Polytechnic School)

Implementing a component-based system in a distributed way so that it ensures some global constraints is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a priority order amongst them. In the context of distributed systems, such a controller must be executed in a distributed fashion while still respecting the global constraints imposed by interactions and priorities.

We present in this paper an implementation of an algorithm that allows a distributed execution of systems with (binary) interactions and priorities. We also present a comprehensive simulation analysis that shows how sensitive to changes our algorithm is, in particular changes related to the degree of conflict in the system.

In MohammadReza Mousavi and Gwen Salaün: Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), Paris, France, 4th September 2010, Electronic Proceedings in Theoretical Computer Science 30, pp. 31–46.
Published: 28th July 2010.

ArXived at: bibtex PDF

Comments and questions to:
For website issues: