Towards a model and specification for visual programming of massively distributed embedded systems

Author

Wang, Meng ; Subramanian, Varun ; Doboli, Alex ; Curiac, Daniel ; Pescaru, Dan

Author_Institution

Dept. of Electr. & Comput. Eng., State Univ. of New York at Stony Brook, Stony Brook, NY

fYear

2008

fDate

17-18 Oct. 2008

Firstpage

81

Lastpage

86

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

distributed programming; specification languages; visual programming; automated synthesis; distributed controllers; massively distributed embedded systems; scalable decision making; specification language; visual programming; Automatic control; Centralized control; Conferences; Control systems; Decision making; Distributed control; Embedded system; Robot sensing systems; Sensor systems and applications; Specification languages; Specification languages; goal-oriented; massively distributes systems; predictability; scalability;

fLanguage

English

Publisher

ieee

Conference_Titel

Robotic and Sensors Environments, 2008. ROSE 2008. International Workshop on

Conference_Location

Ottawa, ON

Print_ISBN

978-1-4244-2594-5

Electronic_ISBN

978-1-4244-2595-2

Type

conf

DOI

10.1109/ROSE.2008.4669185

Filename

4669185