BARNES , Calypso

Wireless sensor networks are a thriving area that shows good potential for many applications. In order for manufacturers to adopt this technology more easily, it is necessary to demonstrate that the operation of these networks is reliable, and therefore validate the protocols used by the network nodes to communicate. Different validation...

International audience

National audience

This paper aims at presenting an approach to validate, verify and debug a wireless communication protocol through the use of simulated models. We discuss the main issues in validating a communication protocol, as well as the merits and limitations of the existing solutions to verify network protocol stack binary codes by using simulation. We...

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 ofthe model of a node's hardware platform capable of...

This article presents a new simulation framework for wireless sensor networks based on QEMU and SystemC that aims at validating the binary code of wireless protocols by checking that the protocol's implementation complies with its property specifications during simulation. We describe the development of the model of a node's precise hardware...

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...

National audience

The paper focuses on techniques for the verification of software implementing communication functionality in networked embedded systems. We discuss the merits and limitations of tools for the simulation of a networked embedded system executing the binary code of the network protocol stack. In particular, we compare different solutions to extend...