基于AADL的汽车网络物理系统建模