Network-Aware Virtual Platform for the Verification of Embedded Software for Communications
暂无分享,去创建一个
Alain Pegatoquet | Davide Quaglia | François Verdier | Enrico Fraccaroli | Jean-Marie Cottin | Calypso Barnes | Stefano Angeleri
[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.