使用基于模型的软件设计和代码自动生成工具进行轨道列控系统的研制，已经完成并通过了 EN50128 SIL4 级认证。帮助提高了开发效率，提高软件开发质量，帮助规范了符合 EN50128 的研制流程，大量减少认证的工作量。

当前在航空航天、轨道、汽车电子等领域，随着飞控、导航、通讯以及显式等系统所需要承载的任务日益强大，其所包含的子系统的功能以及各个子系统之间的交互关系势必越来越复杂，从而对系统及其所包含软硬件的要求也是越来越高，尤其是各个厂家在可获得同等硬件资源的条件下，软件通常起着决定性的角色，能够快速的开发出运行正确、安全可靠以及易于维护的软件是研制单位产品开发成败的关键。传统的基于文档的系统及其软件开发方法越来越暴露出弊端，诸如需求定义不清晰容易引起二义性、大量手写代码容易引入人为错误、设计错误往往在开发完成集成测试时才能发现，这些都会极大的影响产品的质量，提高产品的开发成本。

通过使用基于模型的软件设计和代码自动生成工具提供图形化的建模方式，基于形式化同步语言，可从根本上保证软件模型具备精确性、一致性、可验证性、无二义性，以及模型行为的确定性，在设计阶段引入模型仿真能及时的发现需求及设计错误，自动生成符合 ISO C 标准的嵌入式源代码；生成的代码可以直接嵌入到产品中不需要做任何的修改，极大的减少软件工程师繁重的编码工作及人为引入的错误，提高研制效率以及软件的质量，减轻代码验证的工作量以及认证成本。