HPC from a self-organisation perspective: The case of crowd steering at the urban scale

HPC normally refers to the aggregation of computational capabilities in such a way that intense computations can be executed in a much shorter time than it would require on a classic end-user machine. In this paper, we propose a different point of view on such matter: focussing on situated self-organising systems, i.e. systems in which myriads of nodes deployed in a physical environment locally cooperate in order to obtain a global coherent and robust behaviour. We show how the intrinsic need of contextual information pushes towards distribution of the computation among such nodes, resembling a sort of high-performance computing system at a urban scale. We exemplify this concept by discussing an experience on designing and simulating a crowd steering application, able to provide users walking directions considering the contingencies, in this case overcrowded areas.

[1]  Corrado Priami,et al.  Stochastic pi-Calculus , 1995, Comput. J..

[2]  Mirko Viroli,et al.  Chemical-oriented simulation of computational systems with ALCHEMIST , 2013, J. Simulation.

[3]  Mirko Viroli,et al.  Gradient-Based Self-Organisation Patterns of Anticipative Adaptation , 2012, 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems.

[4]  Andrea Omicini,et al.  Simulation in Agent-Oriented Software Engineering: The SODA case study , 2013, Sci. Comput. Program..

[5]  Ronaldo Menezes,et al.  Using Swarm Intelligence in Linda Systems , 2003, ESAW.

[6]  Corrado Priami,et al.  Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS , 2005, Proceedings of the Winter Simulation Conference, 2005..

[7]  Ming Wang,et al.  Discrete Event Simulation: State of the Art , 2007, Int. J. Online Eng..

[8]  Michael J. North,et al.  A Declarative Model Assembly Infrastructure for Verification and Validation , 2006, WCSS.

[9]  Stefania Bandini,et al.  Crowd Behavior Modeling: From Cellular Automata to Multi-Agent Systems , 2009, Multi-Agent Systems.

[10]  Roberto Montemanni,et al.  Design patterns from biology for distributed computing , 2006, TAAS.

[11]  Franco Zambonelli,et al.  A survey on nature-inspired metaphors for pervasive service ecosystems , 2011, Int. J. Pervasive Comput. Commun..

[12]  Alois Ferscha,et al.  Predicting Social Density in Mass Events to Prevent Crowd Disasters , 2013, SocInfo.

[13]  Andrea Omicini,et al.  Self Organization in Coordination Systems Using a WordNet-Based Ontology , 2010, 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems.

[14]  Stefania Bandini,et al.  Crowd Behaviour Modeling: From Cellular Automata to Multi-Agent Systems , 2009 .

[15]  Patrick Weber,et al.  OpenStreetMap: User-Generated Street Maps , 2008, IEEE Pervasive Computing.

[16]  Michael J. North,et al.  Tutorial on agent-based modelling and simulation , 2005, Proceedings of the Winter Simulation Conference, 2005..

[17]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[18]  Elizabeth Sklar,et al.  NetLogo, a Multi-agent Simulation Environment , 2007, Artificial Life.

[19]  Franco Zambonelli,et al.  Injecting Self-Organisation into Pervasive Service Ecosystems , 2012, Mobile Networks and Applications.

[20]  Franco Zambonelli,et al.  Programming pervasive and mobile computing applications: The TOTA approach , 2009, TSEM.

[21]  Adelinde M. Uhrmacher,et al.  Discrete event modelling and simulation in systems biology , 2007, J. Simulation.

[22]  David Garlan,et al.  Context is key , 2005, CACM.

[23]  Franco Zambonelli,et al.  Self-aware Pervasive Service Ecosystems , 2011, FET.

[24]  Christine Julien,et al.  Resource discovery with evolving tuples , 2007, ESSPE '07.

[25]  Andrea Omicini,et al.  A framework for modelling and implementing self-organising coordination , 2009, SAC '09.

[26]  Stefania Bandini,et al.  Agent Based Modeling and Simulation: An Informatics Perspective , 2009, J. Artif. Soc. Soc. Simul..

[27]  Franco Zambonelli,et al.  Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces , 2011, TAAS.

[28]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[29]  Michael Schumacher,et al.  Governing Environments for Agent-Based Traffic Simulations , 2007, CEEMAS.

[30]  Mirko Viroli,et al.  Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks , 2013, SAC '13.

[31]  Jacob Beal,et al.  Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments , 2012, COORDINATION.

[32]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[33]  Hein Meling,et al.  Anthill: a framework for the development of agent-based peer-to-peer systems , 2002, Proceedings 22nd International Conference on Distributed Computing Systems.

[34]  Mirko Viroli,et al.  Description and composition of bio-inspired design patterns: a complete overview , 2012, Natural Computing.

[35]  Andrea Omicini,et al.  Design Patterns for Self-organising Systems , 2007, CEEMAS.

[36]  Stefania Bandini,et al.  Agent Based Modeling and Simulation: An Informatics Perspective , 2009, J. Artif. Soc. Soc. Simul..

[37]  Mirko Viroli,et al.  Biochemical Tuple Spaces for Self-organising Coordination , 2009, COORDINATION.