At last, this paper shows an example for test and verification of the SimLA.

• 最后以一个测试空调控制板的控制程序的例子,测试验证SimLA的实现情况。 总结SimLA的不足之处,对其下一步开发提出了一些设想。