An integration approach to specify and model automotive cyber physical systems

The vehicle has been manufactured from a purely physical system based on the laws of mechanics and chemistry, to a more sophisticated Cyber Physical System (CPS) which embeds electronic components, communication components and control systems to improve performance and safety. Therefore, the system in the vehicle or connected vehicle is a typical cyber physical system, which is called the Automotive Cyber-Physical System (ACPS). In this paper; a design methodology for the design of automotive cyber physical systems which include physical world, communication aspect and computation aspect will be presented. An integrated approach to specification and design, analysis of the overall automotive cyber physical system is proposed. This provides a systematic, model based approach to requirements definition, specification and design of automotive cyber physical systems. As automotive cyber physical systems often require real-time capabilities, spatial representation and reasoning, dynamic aspect modeling and physical world modeling the approach presented gives special consideration to these constraints. We give an example for concrete applications of specifying and modeling Vehicular Ad-hoc NETwork, which shows, how the specification, analysis and design of automotive cyber physical systems are supported by the proposed approach.