Towards a Model and Specification for Visual Programming of Massively Distributed Embedded Systems

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.

Keywords

• Cyber-physical systems
• Networks of sensing systems
• Goal-oriented programming