Integrated Approach for Modeling Cyber Physical Systems
Cyber physical systems contain three parts: control part, communication part and physical part. In this paper, we propose an integrated approach for modeling cyber physical systems. Differential Dynamic Logic is used for modeling control part, Communicating Sequential Process (CSP) is applied to specify communication part, and Modelica is used for modeling physical part of cyber physical systems. The proposed approach is illustrated by a case study of the one-street style of vehicles on the street.
This work is supported by national high technology research and development program of China (No. 2011AA010101), national basic research program of China (No. 2011CB302904), the national science foundation of China under grant No. 61173046, No. 61021004, No. 61061130541), doctoral program foundation of institutions of higher education of China (No. 200802690018), national; science foundation of Guangdong province under grant No. S2011010004905.
- 4.Fritzson P, Engelson V (1998) Modelica—a unified object-oriented language for system modeling and simulation. ECOOP’98—Object-Oriented Programming, pp 67–90Google Scholar