国产替代新突破！公司高安全模型驱动嵌入式软件开发工具SMAVE Model Suite产品核心组件通过TÜV南德核电最高安全认证

2025年8月11日，丰蕾科技自主研发的SMAVE Model Suite 产品核心组件SMAVE TCG(Trustworthy Code Generator)成功通过TÜV南德意志集团（以下简称“TÜV南德”）安全攸关软件工具开发最高等级认证，新增认证范围覆盖IEC 60880: 2006（核电站对安全性至关重要的仪器仪表和控制系统—执行A类功能的计算机系统的软件问题）。作为核电安全级仪控系统（Nuclear Safety-grade I&C Systems）国际标准，其针对核电站最高安全等级的A类安全功能软件的开发（如反应堆保护、紧急堆停、安全显示与控制、事故后监测等关键系统）制定了全生命周期的严苛开发规范，构建了涵盖需求分析、设计实现、验证确认到退役的全过程质量保证体系，注重故障检测与容错设计机制，并强制实施可追溯性矩阵和形式化验证。这一重大突破标志着我国在高安全嵌入式软件开发工具链领域取得了重大进展，为核电自主可控提供了强有力的核心支撑。

此前，丰蕾科技已于今年6月22日通过IEC 61508-3: 2010（电气/电子/可编程电子安全相关系统的功能安全）、ISO 26262-8: 2018（道路车辆功能安全）和EN 50128: 2011/A2: 2020（铁路应用－通信、信号和处理系统，铁路控制和保护系统软件）功能安全三大标准。此次认证后，SMAVE TCG成为国内首款同时满足核电控制、道路车辆及通用工业等领域最高安全等级要求的模型驱动嵌入式软件开发工具。在不断对标 ANSYS SCADE 系列等国际领先产品的征程中，我们的技术能力也在持续提升，逐步在全球市场中崭露头角。

作为世界上规模最大、最具影响力的TÜV检验机构，TÜV南德服务范围覆盖认证、测试、检验、资讯及专家指导等多个领域，以认证体系的严谨性著称业界。其不仅主导着Mathworks Matlab Simulink与ANSYS SCADE等国际知名模型驱动开发工具产品的合规认证，更是全球航空航天、汽车电子等领域功能安全认证的黄金标准。认证期间，公司认证团队与TÜV南德功能安全专家紧密协作。TÜV南德严格依照安全生命周期各阶段对SMAVE TCG进行了全面的技术文档审核、并开展了全方位的安全评估和测试。经过严格的评估审核，SMAVE TCG各项安全功能完全符合核电领域最严苛的标准要求，最终成功荣获TÜV 南德颁发的功能安全证书。

传统核电安全级仪控系统软件开发长期存在依赖法国ANSYS SCADE系列工具的情况，丰蕾科技SMAVE Model Suite产品凭借自身核心技术，实现国产化突破。该产品为用户打造关键嵌入式软件集成开发环境，支持数据流、控制流混合建模，提供图形化建模、模型检查、仿真调试、C代码自动生成等功能，适配国产操作系统和处理器平台，兼容 ANSYS SCADE 工程导入，可一键迁移存量模型。

在核电高安全领域，SMAVE TCG以模型检查和C代码生成双引擎架构为复杂系统开发提供全链路保障。支持反应堆保护系统、集散控制系统、棒控棒位系统等关键核心核电仪控系统开发，通过形式化验证确保紧急停堆逻辑可靠，其模型检查引擎可对显示数据交互逻辑、控制指令传输流程等进行数学级严格验证，确保系统在各种工况下的正确响应；支持自动生成高可靠监测代码，实时采集、分析事故后关键参数，保障监测数据完整有效。同时全面支持国产操作系统与处理器平台适配，兼容 ANSYS SCADE 项目平滑迁移，为核电仪控系统国产化替代提供无缝衔接方案。

此次核电标准突破，意味着丰蕾科技高安全模型驱动嵌入式软件开发工具链可正式应用于核电仪控系统软件开发，填补国内空白，为核电仪控国产化提供高可信工具支撑。未来，丰蕾科技将继续秉持创新精神，不断提升技术实力，赋能更多行业安全发展。

关于上海丰蕾信息科技有限公司

上海丰蕾信息科技有限公司成立于2015年9月，是专业从事高安全控制系统高端工业软件产品研发的科技型企业。公司是国家级专精特新“小巨人”企业、上海市科技小巨人、上海市质量标杆企业、上海市“专精特新”企业、区级企业技术中心，拥有上海市专家工作站、博士后创新实践基地；已通过CMMI-5级、ISO 9001与工信部两化融合和知识产权贯标管理体系认证；2022年度上海最具投资潜力50佳创业企业，连续3年获评上海软件和信息技术服务业高成长百强企业；国标委TC124/SC5委员单位，OMG、Modelica、INCOSE、SAE、PI-China等国际规准与协会组织核心成员。

TÜV南德意志集团成立于1866年，前身为蒸汽锅炉检验协会。发展至今，已成为了全球化的机构。TÜV南德意志集团在50个国家设立了1,000多个分支机构，拥有近28,000名员工，致力于不断地提高自身的技术、体系及专业知识。集团的技术专家在工业4.0、自动驾驶及可再生能源的安全与可靠性方面均作出了显著的技术创新。