High fidelity virtualization of cyber-physical systems

International Journal of Modeling, Simulation, and Scientific Computing

Volumn 4, Issue 2, 2013, Pages

  Zhang, Yu ^a,b   Xie, Fei ^b   Dong, Yunwei ^a   Yang, Gang ^a   Zhou, Xingshe ^a  

^a NORTHWESTERN POLYTECHNICAL UNIVERSITY   (China)

^b Department of Electrical and Computer Engineering   (United States)

Author keywords

co simulation; Cyber physical systems; virtual machine; virtualization

Indexed keywords

CYBER PHYSICAL SYSTEM; EMBEDDED SYSTEMS; MATLAB; NETWORK SECURITY; VIRTUAL MACHINE; VIRTUAL REALITY;

CONTINUOUS DOMAIN; COSIMULATION; CYBER-PHYSICAL SYSTEMS (CPS); DYNAMIC BEHAVIORS; PHYSICAL COMPONENTS; REAL-WORLD CONTROL SYSTEMS; VIRTUAL EXECUTION ENVIRONMENTS; VIRTUAL HARDWARE;

VIRTUALIZATION;

EID: 84879385562     PISSN: 17939623     EISSN: 17939615     Source Type: Journal    
DOI: 10.1142/S1793962313400059     Document Type: Article

References (23)

1. Lee E. A., Cps foundations, Proc. 47th Design Automation Conf. (DAC), Anaheim, CA, ACM, June, pp. 737-742, 2010.
2. Nelson S., Waskiewicz P. J., Virtualization, Writing (and testing) device drivers without hardware, Linux Plumbers Conf., Santa Rasa, CA, August, 2011.
3. Bellard F., Qemu, a fast and portable dynamic translator, Proc. Annu. Conf. USENIX Annu. Tech. Conf., ATEC '05, Anaheim, CA, USENIX Association, Berkeley, CA, USA, pp. 41-46, 2005.
4. MathWorks, Matlab/simulink, http://www.mathworks.com.
5. Becker D., Singh R., Tell S., An engineering environment for hardware/software co-simulation, Design Automation Conf. 1992. Proc., 29th ACM/IEEE, June, pp. 129-134, 1992.
6. Eker J., Janneck J., Lee E. A., Liu J., Liu X., Ludvig J., Sachs S., Xiong Y., Neuen-dorffer S., Taming heterogeneity - the ptolemy approach, Proc. IEEE 91(1):127-144, 2003.
7. Hoffmann A., Kogel T., Meyr H., A framework for fast hardware-software co-simulation, Design, Automation and Test in Europe, 2001, Conference and Exhibition 2001, Proc., Munich, ACM, pp. 760-764, 2001.
8. Semeria L., Ghosh A., Methodology for hardware/software co-verification in c/c++, Design Automation Conf., 2000. Proc. ASP-DAC 2000. Asia and South Pacific, Yokohama, Japan, ACM, June, pp. 405-408, 2000.
9. Passerone C., Lavagno L., Chiodo M., Sangiovanni-Vincentelli A., Fast hardware/software co-simulation for virtual prototyping and trade-off analysis, Proc. 34th Annual Design Automation Conf., DAC '97, Anaheim, CA, ACM, New York, NY, pp. 389-394, 1997.
10. Mentor graphics, Seamless, http://www.mentor.com.
11. National instruments, Labview, http://www.ni.com/labview.
12. Wolfram research, Mathematica, http://www.wolfram.com.
13. Modelica association, Modelica, https://modelica.org.
14. Mentor graphics, Modelsim, http://www.model.com.
15. Mueller W., Becker M., Elfeky A., DiPasquale A., Virtual prototyping of cyber-physical systems, Design Automation Conf. (ASP-DAC), 2012 17th Asia and South Pacific, Sydney, ACM, February, pp. 219-226, 2012.
16. Al-Hammouri A. T., A comprehensive co-simulation platform for cyber-physical systems, Comput. Commun. 36(1):8-19, 2012.
17. Yeh T.-C., Chiang M.-C., On the interfacing between qemu and systemc for virtual platform construction: Using dma as a case, J. Syst. Archit. 58(3-4):99-111, 2012.
18. Kuznetsov G. C. V., Vitaly Chipounov, Testing closed-source binary device drivers with ddt, USENIX Annual Technical Conf. (USENIX), Boston, MA, pp. 159-172, June, 2010.
19. Benveniste A., Caspi P., Edwards S., Halbwachs N., Le Guernic P., de Simone R., The synchronous languages 12 years later, Proc. IEEE 91(1):64-83, 2003.
20. Halbwachs N., Caspi P., Raymond P., Pilaud D., The synchronous data flow programming language lustre, Proc. IEEE 79(9):1305-1320, 1991.
21. Bauer K., A New Modelling Language for Cyber-Physical Systems, Ph.D. Thesis, Technical University of Kaiserslautern, Germany, 2012.
22. Vess M. F., System modeling and controller design for a single degree of freedom spacecraft simulator, Master's Thesis, University of Maryland, USA, 2005.
23. Atkins E., Green J., Yi J., Woo H., Browne J., Mok A., Xie F., The tablesat platform and its verifiable control software, American Institute of Aeronautics and Astronautics, Seattle, USA, 2009.