Published August 31, 2016
| Version v1
Conference paper
Developing a Framework Dedicated to Wireless Protocol Property Validation during Simulation
Contributors
Others:
- Laboratoire d'Electronique, Antennes et Télécommunications (LEAT) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)
- EDF (EDF)
Description
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 executing the protocol's binary code, as well as the development of an observer module to analyze exchanged frames.
Abstract
Work in Progress sessionAbstract
International audienceAdditional details
Identifiers
- URL
- https://hal.science/hal-01343907
- URN
- urn:oai:HAL:hal-01343907v1
Origin repository
- Origin repository
- UNICA