Network-Aware Virtual Platform for the Verification of Embedded Software for 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.

[1]  Jens Palsberg,et al.  Avrora: scalable sensor network simulation with precise timing , 2005, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..

[2]  Ming-Chao Chiang,et al.  A QEMU and SystemC-Based Cycle-Accurate ISS for Performance Estimation on SoC Development , 2011, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[3]  Ioannis Chatzigiannakis,et al.  Flexible experimentation in wireless sensor networks , 2012, Commun. ACM.

[4]  Graziano Pravadelli,et al.  A common architecture for co-simulation of SystemC models in QEMU and OVP virtual platforms , 2014, 2014 22nd International Conference on Very Large Scale Integration (VLSI-SoC).

[5]  Fabrice Bellard,et al.  QEMU, a Fast and Portable Dynamic Translator , 2005, USENIX ATC, FREENIX Track.

[6]  Michael Gschwind,et al.  Dynamic Binary Translation and Optimization , 2001, IEEE Trans. Computers.

[7]  Thomas Noël,et al.  Using SensLAB as a First Class Scientific Tool for Large Scale Wireless Sensor Network Experiments , 2011, Networking.

[8]  Luciano Lavagno,et al.  Virtual Platform-Based Design Space Exploration of Power-Efficient Distributed Embedded Applications , 2015, ACM Trans. Embed. Comput. Syst..

[9]  Walid Dabbous,et al.  DCE: Test the real code of your protocols and applications over simulated networks , 2014, IEEE Communications Magazine.

[10]  Tao Xie,et al.  RTOS-aware refinement for TLM2.0-based HW/SW designs , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[11]  Pedro José Marrón,et al.  COOJA/MSPSim: interoperability testing for wireless sensor networks , 2009, SimuTools.

[12]  David E. Culler,et al.  TOSSIM: accurate and scalable simulation of entire TinyOS applications , 2003, SenSys '03.

[13]  Daniel Gajski,et al.  Transaction level modeling: an overview , 2003, First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721).

[14]  Tomás de Miguel,et al.  From LOTOS to C , 1988, FORTE.

[15]  Jordi Carrabina,et al.  Mixed simulation kernels for high performance virtual platforms , 2009, 2009 Forum on Specification & Design Languages (FDL).

[16]  John S. Baras,et al.  ATEMU: a fine-grained sensor network simulator , 2004, 2004 First Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2004. IEEE SECON 2004..

[17]  Thomas Noël,et al.  Adding value to WSN simulation using the IoT-LAB experimental platform , 2013, 2013 IEEE 9th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob).

[18]  Son T. Vuong,et al.  Semiautomatic Implementation of Protocols Using an Estelle-C Compiler , 1988, IEEE Trans. Software Eng..

[19]  Thomas Watteyne,et al.  Adaptive synchronization in multi-hop TSCH networks , 2015, Comput. Networks.

[20]  Franco Fummi,et al.  Flexible energy-aware simulation of heterogenous wireless sensor networks , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[21]  E. Fleury,et al.  Worldsens: Development and Prototyping Tools for Application Specific Wireless Sensors Networks , 2007, 2007 6th International Symposium on Information Processing in Sensor Networks.

[22]  M. Aboelaze,et al.  Current and future trends in sensor networks: a survey , 2005, Second IFIP International Conference on Wireless and Optical Communications Networks, 2005. WOCN 2005..

[23]  Alain Greiner,et al.  A Generic Instruction Set Simulator API for Timed and Untimed Simulation and Debug of MP2-SoCs , 2009, 2009 IEEE/IFIP International Symposium on Rapid System Prototyping.