Validating ambient intelligence based ubiquitous computing systems by means of artificial societies

This paper introduces a new methodology based on the use of Multi-Agent Based Simulations (MABS) for testing and validation of Ambient Intelligence based Ubiquitous Computing (UbiCom) systems. An ambient intelligence based UbiCom is a pervasive system in which services have some intelligence in order to smoothly interact with users immersed in the environment. The motivation for this methodology is its application in UbiCom large-scale systems where large numbers of users are involved and in applications which deal with dangerous environments. In these cases, real tests are impractical and an artificial society is required. MABS allows building cheap and quick prototypes which can describe UbiCom systems. Analyzing these prototypes, if they are sufficiently descriptive, allows requisites violations in functionality of real UbiCom system designs to be discovered. MABSs and particularly the most descriptive ones can present very complex behaviors. Therefore, the MABS analysis obtained with the presented methodology is not trivial. Consequently, this paper also proposes two techniques for the analysis of general complex MABSs: forensic analysis and the use of simpler simulations. Moreover, the methodology proposes to inject elements of the actual UbiCom system in the simulated world to increase the confidence of the validation process. The proposal is illustrated with a detailed case study that considers a building on our campus and an AmI service for evacuation in case of fire.

[1]  Sean Peisert,et al.  A model of forensic analysis using goal-oriented logging , 2007 .

[2]  Nick Collier,et al.  Repast: An extensible framework for agent simulation , 2001 .

[3]  Juan A. Botía Blaya,et al.  Human Behaviours Simulation in Ubiquitous Computing Environments , 2010, MALLOW.

[4]  Peter J. Brown,et al.  The Stick-e Document: a Framework for Creating Context-aware Applications , 1996 .

[5]  Millán Arroyo,et al.  Agent-based modelling and simulation for the analysis of social patterns , 2008, Pattern Recognit. Lett..

[6]  Martijn C. Schut,et al.  On model design for simulation of collective intelligence , 2010, Inf. Sci..

[7]  P. Davidsson,et al.  Scalability in Distributed Multi-Agent Based Simulations: The JADE Case , 2008, 2008 Second International Conference on Future Generation Communication and Networking Symposia.

[8]  Bruce Edmonds,et al.  From KISS to KIDS - An 'Anti-simplistic' Modelling Approach , 2004, MABS.

[9]  Huaglory Tianfield,et al.  Multi-agent modeling and simulation for petroleum supply chain , 2006 .

[10]  Nigel Davies,et al.  Evaluating a location-based application: a hybrid test and simulation environment , 2004, IEEE Pervasive Computing.

[11]  Diane J. Cook,et al.  Author's Personal Copy Pervasive and Mobile Computing Ambient Intelligence: Technologies, Applications, and Opportunities , 2022 .

[12]  Marco Remondino,et al.  MABS Validation Through Repeated Execution and Data Mining Analisys , 2006 .

[13]  Sean Luke,et al.  MASON: A New Multi-Agent Simulation Toolkit , 2004 .

[14]  Francesco Vatalaro,et al.  Presence 2010: The emergence of ambient intelligence , 2003 .

[15]  G. Nigel Gilbert,et al.  Simulation for the social scientist , 1999 .

[16]  Emilio Serrano,et al.  Ubik: a multi-agent based simulator for ubiquitous computing applications , 2009 .

[17]  John J. Barton,et al.  UBIWISE, A Ubiquitous Wireless Infrastructure Simulation Environment , 2002 .

[18]  William Zhu,et al.  Relationship between generalized rough sets based on binary relation and covering , 2009, Inf. Sci..

[19]  Paul A. Fishwick,et al.  Simulation model design and execution - building digital worlds , 1995 .

[20]  Stefan Poslad,et al.  Ubiquitous Computing: Smart Devices, Environments and Interactions , 2009 .

[21]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[22]  Xiaolin Hu,et al.  Modeling group structures in pedestrian crowd simulation , 2010, Simul. Model. Pract. Theory.

[23]  John C. Cherniavsky,et al.  Validation, Verification, and Testing of Computer Software , 1982, CSUR.

[24]  Jorge J. Gómez-Sanz,et al.  Intelligent data analysis applied to debug complex software systems , 2009, Neurocomputing.

[25]  George Coulouris,et al.  Distributed systems - concepts and design , 1988 .

[26]  Juan A. Botía Blaya,et al.  Infrastructure for Forensic Analysis of Multi-Agent Systems , 2009, ProMAS.

[27]  Alan S. Perelson,et al.  Agent-based modeling of host–pathogen systems: The successes and challenges , 2008, Information Sciences.

[28]  Martin Klepal,et al.  A testbed for evaluating human interaction with ubiquitous computing environments , 2005, First International Conference on Testbeds and Research Infrastructures for the DEvelopment of NeTworks and COMmunities.

[29]  Gul A. Agha,et al.  SENS: a sensor, environment and network simulator , 2004, 37th Annual Simulation Symposium, 2004. Proceedings..

[30]  Huib Aldewereld,et al.  Developing Agent-based Organizational Models for Crisis Management , 2009 .

[31]  Christopher D. Clack,et al.  Specifying, detecting and analysing emergent behaviours in multi-level agent-based simulations , 2007, SCSC.

[32]  Stephen S. Intille,et al.  Designing a Home of the Future , 2002, IEEE Pervasive Comput..

[33]  Oscar Cordón,et al.  Debugging complex software systems by means of pathfinder networks , 2010, Inf. Sci..

[34]  Boris E. R. de Ruyter,et al.  Ambient intelligence: visualizing the future , 2004, AVI.

[35]  Antonio F. Gómez-Skarmeta,et al.  Information and Hybrid Architecture Model of the OCP Contextual Information Management System , 2006, J. Univers. Comput. Sci..

[36]  Steven L. Lytinen,et al.  Agent-based Simulation Platforms: Review and Development Recommendations , 2006, Simul..

[37]  Russell Miles.  Aspectj Cookbook , 2004 .

[38]  G. Riva,et al.  Being There: Concepts, Effects and Measurements of User Presence in Synthetic Environments , 2003 .

[39]  Michael C. Mozer,et al.  The Neural Network House: An Environment that Adapts to its Inhabitants , 1998 .

[40]  Vinny Cahill,et al.  Requirements for an ubiquitous computing simulation and emulation environment , 2006, InterSense '06.

[41]  Michael Friedewald,et al.  Perspectives of ambient intelligence in the home environment , 2005 .

[42]  Athanasios V. Vasilakos,et al.  Interactive theatre via mixed reality and Ambient Intelligence , 2008, Inf. Sci..

[43]  Adam Greenfield,et al.  Everyware: The Dawning Age of Ubiquitous Computing , 2006 .

[44]  Hideyuki Nakanishi,et al.  Augmented Experiment: Participatory Design with Multiagent Simulation , 2007, IJCAI.

[45]  Alexis Drogoul,et al.  Multi-agent Based Simulation: Where Are the Agents? , 2002, MABS.

[46]  Juan A. Botía Blaya,et al.  Infrastructure for Forensic Analysis of Multi-Agent Based Simulations , 2009, PROMAS.

[47]  Gregory D. Abowd,et al.  The Aware Home: A Living Laboratory for Ubiquitous Computing Research , 1999, CoBuild.

[48]  Robert Axelrod.  Advancing the art of simulation in the social sciences , 1997 .