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).
VANET CPS AADL Spatial-Temporal Continuous Dynamic Features
Lichen Zhang
Faculty of Computer Science and Technology Guangdong University of Technology Guangzhou 510090,China
国际会议
英国伦敦
英文
71-75
2013-09-02（万方平台首次上网日期，不代表论文的发表时间）