Published August 26, 2015
| Version v1
Conference paper
Network-aware Virtual Platform for the Verification of Embedded Software for Communications
- Others:
- EDF (EDF)
- 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)
- IEEE
Description
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.
Abstract
International audience
Additional details
- URL
- https://hal.science/hal-01287666
- URN
- urn:oai:HAL:hal-01287666v1
- Origin repository
- UNICA