Requirement Analysis Method for Vehicular Cyber Physical Systems

Vehicular Cyber-Physical System (VCPS) is a complex network of embedded systems. The VCPS combines traditional state-based discrete control model and continuous models based on physical environments expressed by the classic differential equations which are the most suitable model for modeling physical system. Vehicular Cyber-Physical System is a very complex cyber-physical system (CPS) with intricate interplay between the physical world and the cyber world. On one side, the complicated physical world of VCPS incurs many challenging issues to the cyber world. On the other side, the design of control algorithms and networking protocols in the cyber world significantly impact the performance in the physical world. The requirements specification of vehicular cyber physical system is particularly critical because we must provide high safety of these transportation systems. Therefore, techniques to provide adequate requirements specification and to find errors early are of great importance. In this paper, we extend the AADL to model the behavior characteristic, continuous dynamic features, spatial-temporal requirements and physical environment of vehicular cyber physical systems. We propose a method to transform the rule of Cellular Automata to AADL model for modeling spatial-temporal requirements and we propose an approach to transform the Modelica model into AADL model and we also provide the method to transform the AADL model into Modelica model. The proposed method is illustrated by Vehicular Ad-hoc NETwork.