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

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.

[1]  Daniel Le Métayer,et al.  Gamma and the chemical reaction model: ten years after , 1996 .

[2]  E. Bertini,et al.  Visual languages and quality evaluation in multichannel adaptive information systems , 2007, J. Vis. Lang. Comput..

[3]  Heiner Stuckenschmidt,et al.  Ontology-Based Integration of Information - A Survey of Existing Approaches , 2001, OIS@IJCAI.

[4]  Petru Eles,et al.  Scheduling with bus access optimization for distributed embedded systems , 2000, IEEE Trans. Very Large Scale Integr. Syst..

[5]  Jie Liu,et al.  Semantic Streams: a Framework for Declarative Queries and Automatic Data Interpretation , 2005 .

[6]  Thomas A. Henzinger,et al.  Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[7]  Erland Jungert,et al.  A visual query language for dynamic processes applied to a scenario driven environment , 2007, J. Vis. Lang. Comput..

[8]  Ian T. Foster,et al.  Compositional parallel programming languages , 1996, TOPL.

[9]  Viktor K. Prasanna,et al.  On communication models for algorithm design in networked sensor systems: A case study, , 2005, Pervasive Mob. Comput..

[10]  D. B. Skillicorn,et al.  Towards a higher level of abstraction in parallel programming , 1995, Programming Models for Massively Parallel Computers.

[11]  Ryan Newton,et al.  Region streams: functional macroprogramming for sensor networks , 2004, DMSN '04.

[12]  Michel R. V. Chaudron,et al.  Supporting task-oriented modeling using interactive UML views , 2007, J. Vis. Lang. Comput..

[13]  Odysseas Papapetrou,et al.  An implementation framework for Software Architectures based on the coordination paradigm , 2006, Sci. Comput. Program..

[14]  Murray Cole,et al.  Algorithmic Skeletons: Structured Management of Parallel Computation , 1989 .

[15]  Viktor K. Prasanna,et al.  ModelML: a Markup Language for Automatic Model Synthesis , 2007, 2007 IEEE International Conference on Information Reuse and Integration.

[16]  Ramesh Govindan,et al.  Macro-programming Wireless Sensor Networks Using Kairos , 2005, DCOSS.

[17]  Thilo Kielmann,et al.  Designing a Coordination Model for Open Systems , 1996, COORDINATION.

[18]  Pierre-Antoine Champin,et al.  A web-centric semantic mediation approach for spatial information systems , 2006, J. Vis. Lang. Comput..

[19]  Lothar Thiele,et al.  Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling , 2005, EMSOFT.

[20]  Viktor K. Prasanna,et al.  MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems , 2001, OM '01.

[21]  P. Eles,et al.  Scheduling with Buss Access Optimization for Distributed Embedded Systems , 2008 .

[22]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[23]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[24]  Viktor K. Prasanna,et al.  Communication models for algorithm design in networked sensor systems , 2005, 19th IEEE International Parallel and Distributed Processing Symposium.

[25]  James R. Larus,et al.  Software and the Concurrency Revolution , 2005, ACM Queue.

[26]  Viktor K. Prasanna,et al.  The Abstract Task Graph: a methodology for architecture-independent programming of networked sensor systems , 2005, EESR '05.

[27]  David Gelernter,et al.  Supercomputing out of recycled garbage: preliminary experience with Piranha , 1992, ICS '92.

[28]  Naftaly H. Minsky,et al.  Law-Governed Linda as a Coordination Model , 1994, ECOOP Workshop.

[29]  Nicholas Carriero,et al.  Linda and Friends , 1986, Computer.

[30]  Thomas A. Henzinger,et al.  An Interface Algebra for Real-Time Components , 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).

[31]  Kevin M. Passino,et al.  Biomimicry for Optimization, Control and Automation , 2004, IEEE Transactions on Automatic Control.

[32]  Antony I. T. Rowstron,et al.  BONITA: a set of tuple space primitives for distributed coordination , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[33]  Viktor K. Prasanna,et al.  A Semantic Framework for Integrated Asset Management in Smart Oilfields , 2007, Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid '07).

[34]  Edward A. Lee.  The problem with threads , 2006, Computer.