학술논문

Towards a model and specification for visual programming of massively distributed embedded systems
Document Type
Conference
Source
2008 International Workshop on Robotic and Sensors Environments Robotic and Sensors Environments, 2008. ROSE 2008. International Workshop on. :81-86 Oct, 2008
Subject
Robotics and Control Systems
Computing and Processing
Signal Processing and Analysis
Components, Circuits, Devices and Systems
Embedded system
Decision making
Automatic control
Centralized control
Specification languages
Distributed control
Control systems
Conferences
Robot sensing systems
Sensor systems and applications
massively distributes systems
goal-oriented
scalability
predictability
Language
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.