Developing a Framework Dedicated to Wireless Protocol Property Validation during Simulation

This article presents the development of a new simulation framework for wireless sensor networks based on QEMU and SystemC that is capable of validating the binary code of wireless protocols, by validating and verifying protocol properties during simulation. We describe the development of the model of a node’s hardware platform capable of executing the protocol’s binary code, as well as the development of an observer module to analyze exchanged frames.