ModelCoder可搭建核级DCS系统的数据流模型和状态机模型，在核电站发生事故时紧急“刹车”，确保反应堆安全，并进行事故后检测。数据流模型可通过图形化前端拖拽搭建，采集温度、余热等数据；状态机模型通过数据流模型采集的数据实现系统状态的控制。

其中，数据流模型除基础的Lustre基础算子外，还包含扩展的高阶算子及结构体操作算子；代码生成工具可经形式化验证自动生成高安全可靠的C代码。

▲ModelCoder代码生成工具架构图

ModelCoder适用于汽车ECU电子控制单元的开发，可实现动力总成（发动机、变速箱、车桥、液压）和整车整机的建模、仿真和测试。用户可使用基础模块库搭建不同类型的动力系统，如汽油/柴油发动机、驱动电机、变速器总成、电池组和控制器等模型。

除设计权衡分析、组件选型、控制参数优化和测试等功能外，ModelCoder还供自定义修改模型数据。用户可手动将参考应用组件的参数修改为自有数据，也可将原有子系统封装为自定义模块。自定义组件可与其他用户共享，在整车开发过程中复用。