A novel agent-based simulation framework for sensing in complex adaptive environments

TL;DR

This paper introduces FABS, a formal agent-based simulation framework for modeling wireless sensor networks in complex adaptive environments, demonstrated through a flocking animal model monitored by sensors.

Contribution

FABS uniquely combines formal specification with agent-based modeling to simulate sensor networks in complex environments, enhancing clarity and precision.

Findings

Successful modeling of animal flocking with sensor deployment

Demonstrated applicability of FABS to complex adaptive systems

Provided a clear formal specification for sensor network simulation

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 (WSN) sensing a Complex Adaptive Environment. This specification model is then used to develop an agent-based model of both the wireless sensor network 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.