近日，浙江省经济和信息化厅公布《2023年浙江省首版次软件产品应用推广指导目录》，浙江迪捷软件科技有限公司的“ModelCoder 建模及形式化验证代码生成软件”经过多轮审核及专家评定被纳入目录，这是迪捷软件自主研发的产品继“天目全数字实时仿真软件 V3.5”后，再次获评浙江省首版次软件，充分展示了迪捷卓越的技术实力与市场前景。

首版次高端软件是指通过自主开发或者合作开发，其功能或性能有重大突破，在该领域具有技术领先优势或者打破市场垄断，拥有自主知识产权的同产品名称、同一版本号的软件产品。首版次高端软件的认定对开发区加速提升软件供给能力、构建高端软件产业生态具有重要意义。

该评选是省经信厅进一步落实省委、省政府关于软件产业高质量发展的实施意见，秉承着“好中选优”原则，经地方审核推荐、初审、专家评审、公示，旨在筛选出具有自主知识产权、技术水平高、产业带动力大及市场竞争力强的首版次软件产品的一项重要工程。

ModelCoder 建模及形式化验证代码生成软件

ModelCoder是一款支持基于模型的嵌入式系统设计、仿真和可信代码自动生成的软件，提供图形编辑器、模块库以及对应的求解器，可对算法或控制逻辑进行可视化建模。其可信代码生成器可通过形式化验证技术将用户模型翻译为可信代码，进而不加修改地应用于多种嵌入式系统。

ModelCoder具有结构明了、流程清晰、仿真精细、贴近实际、效率高、灵活、适应面广泛等优点，可被应用于如控制系统和数字信号处理（DSP）等复杂模型的设计和仿真。