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