（1）系统建模与形式化：确定系统物理模型及其边界，以及模型的可信性分析和形式化处理。
（2）算法分析和程序设计：考虑算法的稳定性、计算精度和速度，考虑仿真程序对运行参数、控制参数、输出要求等。
（3）模型校验：检验所选仿真算法的合理性、系统模型的正确性。
（4）仿真结果分析：对系统性能作出评价，模型可信性检验。

（1）边缘计算改善交通拥堵；
（2）边缘计算推动智能交通多样化场景落地；
（3）边缘计算车载智能物联网终端应用。

（1）基于边缘计算的智慧交通应用；
（2）基于边缘计算的工业控制应用；
（3）基于边缘计算的视频监控智能分析应用。