Distributed Active Objects -- A Systemic Approach to Distributed Mobile Applications

Designing cyber-physical systems (CPS) requires consideration of interactions between several computing and non-computing elements and, thus, consideration of concurrency of actions. While concurrency alone is a complexity-introducing and error-prone concept, adding awareness of real time, real space and/or mobility makes things worse: It prohibits to utilize common abstractions, which are usually used in distributed system design to reach transparency. In this paper, we present a concept to achieve a systemic description of location- and motion-aware applications and to make concurrency implicit while guaranteeing location, distribution and motion transparency with respect to the executing system or rather its components. We are doing so by providing a programming and an execution model. The former provides means to separate imperative functional program code and declarative spatio-temporal aspects at application level and, thus, allowing for systemic descriptions of applications. The latter executes the application in a distributed fashion, avoiding explicit communication. We describe our models, present a run-time system and the supporting tool chain, and demonstrate the application of our concept with a simple example.

[1]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[2]  Thom W. Frühwirth,et al.  Constraint Handling Rules , 2009, Constraint Programming.

[3]  Lynne E. Parker,et al.  Distributed Intelligence: Overview of the Field and Its Application in Multi-Robot Systems , 2008, AAAI Fall Symposium: Regarding the Intelligence in Distributed Intelligent Systems.

[4]  Maja J. Mataric,et al.  Sold!: auction methods for multirobot coordination , 2002, IEEE Trans. Robotics Autom..

[5]  George Coulouris,et al.  Middleware Support for Context-Aware Multimedia Applications , 2001, DAIS.

[6]  Alan Kay The early history of Smalltalk , 1996 .

[7]  Nancy A. Lynch,et al.  Virtual Stationary Automata for Mobile Networks , 2005 .

[8]  Sándor P. Fekete,et al.  Hovering Data Clouds: A Decentralized and Self-organizing Information System , 2006, IWSOS/EuroNGI.

[9]  Ying Tan,et al.  Spatio-Temporal Event Model for Cyber-Physical Systems , 2009, 2009 29th IEEE International Conference on Distributed Computing Systems Workshops.

[10]  Roy H. Campbell,et al.  GaiaOS: An Infrastructure for Active Spaces , 2001 .

[11]  Grégory Bonnet,et al.  Collaboration among a satellite swarm , 2007, AAMAS '07.

[12]  Lynne E. Parker,et al.  ALLIANCE: an architecture for fault tolerant multirobot cooperation , 1998, IEEE Trans. Robotics Autom..

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

[14]  Thomas Schmickl,et al.  SymbricatorRTOS: A flexible and Dynamic framework for bio-inspired robot control systems and evolution , 2009, 2009 IEEE Congress on Evolutionary Computation.

[15]  James McLurkin,et al.  Dynamic Task Assignment in Robot Swarms , 2005, Robotics: Science and Systems.

[16]  Edward A. Lee Cyber-physical Systems -are Computing Foundations Adequate? Position Paper for Nsf Workshop on Cyber-physical Systems: Research Motivation, Techniques and Roadmap , 1998 .

[17]  Matthias Werner,et al.  An Object-Oriented and Context-Aware Approach for Distributed Mobile Applications , 2011, ARCS Workshops.

[18]  David E. Culler,et al.  TinyOS: An Operating System for Sensor Networks , 2005, Ambient Intelligence.

[19]  Douglas C. Schmidt,et al.  Active object: an object behavioral pattern for concurrent programming , 1996 .