用于控制器开发过程中的建模仿真,及后续嵌入式开发中的规范