Distributed systems: concepts and design
Distributed systems: concepts and design
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
Simulation Model Design and Execution: Building Digital Worlds
Simulation Model Design and Execution: Building Digital Worlds
Designing a Home of the Future
IEEE Pervasive Computing
The Aware Home: A Living Laboratory for Ubiquitous Computing Research
CoBuild '99 Proceedings of the Second International Workshop on Cooperative Buildings, Integrating Information, Organization, and Architecture
The Art of Software Testing
SENS: A Sensor, Environment and Network Simulator
ANSS '04 Proceedings of the 37th annual symposium on Simulation
Ambient intelligence: visualizing the future
Proceedings of the working conference on Advanced visual interfaces
Evaluating a Location-Based Application: A Hybrid Test and Simulation Environment
IEEE Pervasive Computing
A Testbed for Evaluating Human Interaction with Ubiquitous Computing Environments
TRIDENTCOM '05 Proceedings of the First International Conference on Testbeds and Research Infrastructures for the DEvelopment of NeTworks and COMmunities
AspectJ Cookbook
Simulation for the Social Scientist
Simulation for the Social Scientist
Perspectives of ambient intelligence in the home environment
Telematics and Informatics
Requirements for an ubiquitous computing simulation and emulation environment
InterSense '06 Proceedings of the first international conference on Integrated internet ad hoc and sensor networks
Everyware: The Dawning Age of Ubiquitous Computing
Everyware: The Dawning Age of Ubiquitous Computing
A model of forensic analysis using goal-oriented logging
A model of forensic analysis using goal-oriented logging
Interactive theatre via mixed reality and Ambient Intelligence
Information Sciences: an International Journal
Specifying, detecting and analysing emergent behaviours in multi-level agent-based simulations
Proceedings of the 2007 Summer Computer Simulation Conference
Agent-based modelling and simulation for the analysis of social patterns
Pattern Recognition Letters
Relationship between generalized rough sets based on binary relation and covering
Information Sciences: an International Journal
Agent-based modeling of host-pathogen systems: The successes and challenges
Information Sciences: an International Journal
Scalability in Distributed Multi-Agent Based Simulations: The JADE Case
FGCNS '08 Proceedings of the 2008 Second International Conference on Future Generation Communication and Networking Symposia - Volume 05
Review: Ambient intelligence: Technologies, applications, and opportunities
Pervasive and Mobile Computing
Infrastructure for Forensic Analysis of Multi-Agent Systems
Programming Multi-Agent Systems
Augmented experiment: participatory design with multiagent simulation
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On model design for simulation of collective intelligence
Information Sciences: an International Journal
Debugging complex software systems by means of pathfinder networks
Information Sciences: an International Journal
Multi-agent based simulation: where are the agents?
MABS'02 Proceedings of the 3rd international conference on Multi-agent-based simulation II
Multi-agent modeling and simulation for petroleum supply chain
ICIC'06 Proceedings of the 2006 international conference on Intelligent computing: Part II
Infrastructure for forensic analysis of multi-agent based simulations
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
From KISS to KIDS: an 'anti-simplistic' modelling approach
MABS'04 Proceedings of the 2004 international conference on Multi-Agent and Multi-Agent-Based Simulation
An approach to debug interactions in multi-agent system software tests
Information Sciences: an International Journal
Information Sciences: an International Journal
Context-Aware Multi-Agent Planning in intelligent environments
Information Sciences: an International Journal
Generic modelling of security awareness in agent based systems
Information Sciences: an International Journal
Robust design of multi-agent system interactions: A testing approach based on pattern matching
Engineering Applications of Artificial Intelligence
Testing context-aware services based on smartphones by agent based social simulation
Journal of Ambient Intelligence and Smart Environments - Intelligent agents in Ambient Intelligence and smart environments
Hi-index | 0.07 |
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.