Title :
Cyber-physical systems modeling method based on Modelica
Author :
Junjie, Tang ; Jianjun, Zhao ; Jianwan, Ding ; Liping, Chen ; Gang, Xie ; Bin, Gu ; Mengfei, Yang
Author_Institution :
Nat. CAD Center, Huazhong Univ. of Sci. & Technol., Wuhan, China
Abstract :
Cyber-physical systems (CPS) is an integration of computation with physical systems and physical processes. It is widely used in energy, health and other industrial areas. Modeling and simulation is of the greatest challenges in CPS research. Modelica has a great potentiality in the modeling and simulation of CPS. We analyze the characteristics and requirements of CPS modeling, and also the features of Modelica in the paper. In respect of information model, physical model and model interface, this paper introduces a unified modeling method for CPS, based on Modelica. The method provides a reliable foundation for the design, analysis and verification of CPS.
Keywords :
Unified Modeling Language; formal verification; object-oriented programming; CPS analysis; CPS design; CPS modeling; CPS simulation; CPS verification; Modelica; cyber-physical systems modeling method; information model; model interface; physical model; unified modeling method; Computational modeling; Data models; Equations; Integrated circuit modeling; Mathematical model; Object oriented modeling; Solid modeling;
Conference_Titel :
Software Security and Reliability Companion (SERE-C), 2012 IEEE Sixth International Conference on
Conference_Location :
Gaithersburg, MD
Print_ISBN :
978-1-4673-2670-4
DOI :
10.1109/SERE-C.2012.49
