Towards the Verification of Industrial Communication Protocols through a Simulation Environment Based on QEMU and SystemC - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Towards the Verification of Industrial Communication Protocols through a Simulation Environment Based on QEMU and SystemC

Résumé

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 then describe the development of a simulation framework where the node's hardware platform is modeled with QEMU and SystemC, and the development of an observer module which analyzes the frames exchanged to detect anomalies. This approach is validated with a protocol named OCARI based on the IEEE 802.15.4 (LR-WPAN) standard, which is currently in its pre-industrialization phase. The experimental results demonstrate the functional correctness of our node model implementation, and show how a protocol property can be checked during simulation with the developed simulation framework.
Fichier non déposé

Dates et versions

hal-01344890 , version 1 (12-07-2016)

Identifiants

Citer

Calypso Barnes, Jean-Marie Cottin, François Verdier, Alain Pegatoquet. Towards the Verification of Industrial Communication Protocols through a Simulation Environment Based on QEMU and SystemC. ACM/IEEE 19th International Conference on Models Driven Engineering Languages and Systems (MODELS 2016), Oct 2016, Saint-Malo, France. pp. 207-214, ⟨10.1145/2976767.2976810⟩. ⟨hal-01344890⟩

Altmetric

Partager

More