Home // ICWMC 2016, The Twelfth International Conference on Wireless and Mobile Communications // View article
Authors:
Calypso Barnes
François Verdier
Alain Pegatoquet
Daniel Gaffé
Jean-Marie Cottin
Keywords: Network Simulation; Co-Simulation; Protocol Verification; Wireless Sensor Networks; Embedded Software
Abstract:
The development and debugging of a wireless protocol are complex tasks that many face in the industry and academia. This paper aims at facilitating those tasks by proposing a simulation framework that is capable of verifying and validating a protocol stack at binary level. This simulation framework is based on the co-simulation of QEMU and SystemC, which are interfaced through TLMu. An observer module was developed to analyze the traffic in the simulated network, which contains protocol properties modeled in Light Esterel to check that the frame exchanges comply with the protocol properties, in order to validate the protocol implementation.We describe the development of the simulation framework and its node models capable of executing the protocol's binary stack. We then explain the modeling of protocol properties in Light Esterel and their insertion in the simulation framework. Finally, we test the OCARI protocol for wireless sensor networks in the simulation framework.
Pages: 59 to 64
Copyright: Copyright (c) IARIA, 2016
Publication date: November 13, 2016
Published in: conference
ISSN: 2308-4219
ISBN: 978-1-61208-514-2
Location: Barcelona, Spain
Dates: from November 13, 2016 to November 17, 2016