Specifying and Modeling Automotive Cyber Physical Systems

Automotive Cyber-Physical Systems (ACPS) have attracted a significant amount of interest in the past few decades. The mechatronic control systems that are typically implemented in automotive application, such as engine control, transmission control, throttle control, and braking, typically involve multiple complex physical systems with dedicated embedded controllers that communicate with each other via a vehicle network. Moreover, Future vehicles, by communicating with other vehicles, roadside infrastructures, and personal communication devices, will adapt to the external regional environment and consequently avoid collisions and congestion. The automobile has developed 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 and control systems to improve performance and safety. In this paper, we integrate AADL with Modelica, UML, and formal methods to specify automotive cyber physical systems. We specify cyber part of automotive cyber physical systems with AADL and UML, and model physical part of cyber physical systems with Modelica. We apply formal specification method in requirement analysis process in order to ensure that the software requirements model satisfies required system function and performance goals and constraints, including safety. The proposed method is illustrated by Vehicular Ad-hoc Network.