Network-aware Virtual Platform for the Verification of Embedded Software for Communications

Calypso Barnes (1) , Jean-Marie Cottin (1) , Enrico Fraccaroli , Stefano Angeleri , Davide Quaglia , Alain Pegatoquet (2) , François Verdier (2)

1 EDF - EDF
2 LEAT - Laboratoire d'Electronique, Antennes et Télécommunications

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

Domaines: Systèmes embarqués

Calypso Barnes, Jean-Marie Cottin, Enrico Fraccaroli, Stefano Angeleri, Davide Quaglia, et al.. Network-aware Virtual Platform for the Verification of Embedded Software for Communications. 18th Euromicro Conference on Digital Systems Design (DSD 2015), Aug 2015, Madeire, Portugal. pp.518-525, ⟨10.1109/DSD.2015.110⟩. ⟨hal-01287666⟩