Modeling Automotive Cyber Physical Systems

Automotive cyber physical systems (CPSs) involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans. However, automotive cyber physical systems are not a loose combination of cyber system and physical system, but are a tight and comprehensive integration, and they are ubiquitous spatial-temporal and very large-scale complex systems. In automotive cyber physical systems, the behavior of the physical world such as the velocity, flow and density are dynamic and continuous changing with time while the process of communication and calculation in vehicular cyber system is discrete. In this paper, we extend the AADL to model the cyber world and physical world of automotive cyber physical system, and we propose a method to transform the rule of Cellular Automata to AADL model for modeling spatial-temporal requirements. We also propose an approach to transform the Modelica model to AADL model. The proposed method is illustrated by Vehicular Ad-hoc NETwork (VANET).