1. A model for vehicular Cyber-Physical System based on extended hybrid automaton
- Author
-
Li Ye-jing, Shao Yu-zhen, Chen Ming-cai, Feng Fei, Zhang Guang-quan, and Hou Xing-hua
- Subjects
Service (systems architecture) ,Software ,Finite-state machine ,Computer science ,business.industry ,Computation ,Real-time computing ,Cyber-physical system ,Hybrid automaton ,business ,Automaton - Abstract
Cyber-Physical Systems (CPS) are networks of embedded systems with the integrations of computation and physical processes. Modern cars consist of many ECUs, which form a complex environment of embedded network, a typical vehicular CPS. This paper analyses the features of vehicular CPS software in depth such as heterogeneity and distributed, then we propose a modeling method for vehicular Cyber-Physical System with extended hybrid automata as formal modeling tools from the perspective of service providing, treating the monitor and control device entities as device services respectively. At last, a case of the vehicle speed control system shows the validity of the modeling method.
- Published
- 2013