A model for vehicular Cyber-Physical System based on extended hybrid automaton

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.