Title :
A Novel Agent-Based Simulation Framework for Sensing in Complex Adaptive Environments
Author :
Niazi, Muaz A. ; Hussain, Amir
Author_Institution :
Dept. of Comput. Sci. & Math., Univ. of Stirling, Stirling, UK
Abstract :
In this paper, we present a novel formal agent-based simulation framework (FABS). FABS uses formal specification as a means of clear description of wireless sensor networks (WSNs) sensing a complex adaptive environment. This specification model is then used to develop an agent-based model of both the WSN as well as the environment. As proof of concept, we demonstrate the application of FABS to a boids model of self-organized flocking of animals monitored by a random deployment of proximity sensors.
Keywords :
computerised instrumentation; formal specification; wireless sensor networks; animal monitoring; boids model; complex adaptive environments; formal agent-based simulation framework; formal specification; proximity sensors; random deployment; self-organized flocking; wireless sensor networks; Adaptation model; Biological system modeling; Computational modeling; Formal specifications; Mathematical model; Sensors; Wireless sensor networks; Agent-based simulation; FABS; boids; cognitive sensors; complex adaptive environment; flocking; formal specification; modeling; proximity sensing; self organization; wireless sensor networks;
Journal_Title :
Sensors Journal, IEEE
DOI :
10.1109/JSEN.2010.2068044
