Network-aware Virtual Platform for the Verification of Embedded Software for Communications
Résumé
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 a virtual platform to simulate the node of interest in a realistic communication scenario involving different network nodes. We then explain how this solution has the potentiality to perform verification of the protocol stack, which would be a great asset for industry and academia to validate the communication software under development or use.
Mots clés
WSN
telecommunication computing
program verification
embedded systems
binary code
communication functionality
embedded software verification
network protocol stack verification
network-aware virtual platform
networked embedded system
Binary codes
Computer bugs
Debugging
Hardware
Protocols
Software
Wireless sensor networks
Co-Simulation
Embedded software
Network Simulation
Protocol Verification
Virtual platforms
Wireless Sensor Network