Abstract:
Massively distributed embedded systems are rapidly emerging as a key concept for
many modern applications. However, providing efficient and scalable decision
making capabilities to such systems is currently a significant challenge. This
paper proposes a model and a specification language to allow automated synthesis
of distributed controllers, which implement and interact through formalisms of
different semantics. The paper refers to a case study to illustrate the main
capabilities of the proposed concept.