产品优势 | 高安全工业软件全生命周期能力

最高安全等级认证

国内首个通过多个行业最高等级规范安全认证的建模仿真平台软件产品

TÜV 南德最高等级认证

SMAVE Model Suite 开发环境与产品核心组件 SMAVE TCG (Trustworthy Code Generator) 均已通过 TÜV 南德安全攸关软件工具开发最高等级认证。

国内首个行业最高等级规范安全认证

认证范围对标ANSYS SCADE系列产品，是国内首个通过上述行业最高等级规范安全认证的建模仿真平台软件产品。

TÜV 南德
最高等级认证

TUA

全生命周期解决方案

面向高安全、嵌入式软件开发全生命周期的控制系统工业软件研发平台

全生命周期解决方案

SMAVE 系列平台以模型驱动开发、高安全编译与形式化验证技术为核心，完整构建了能覆盖 “需求定义 - 系统建模 - 代码生成 - 仿真测试 - 验证交付”的全生命周期解决方案。

集成核心模块，支持混合建模

平台集成多学科协同仿真、高可信代码自动生成、形式化验证等核心模块，支持状态机、数据流、控制流模型混合建模，可通过静态语义检查、形式化验证等技术，从源头保障模型与代码的正确性。

兼容跨工具链协同

兼容 FMI 标准实现跨工具链协同，结合实时监测与追溯机制，实现从需求到交付件的全程可追溯管理。均能通过该平台简化复杂系统设计流程、降低跨环节协同成本，显著提升研发效率与产品可靠性。

全生命周期解决方案

SMAVE 系列平台以模型驱动开发、高安全编译与形式化验证技术为核心，完整构建了能覆盖 “需求定义 - 系统建模 - 代码生成 - 仿真测试 - 验证交付”的全生命周期解决方案。

集成核心模块，支持混合建模

平台集成多学科协同仿真、高可信代码自动生成、形式化验证等核心模块，支持状态机、数据流、控制流模型混合建模，可通过静态语义检查、形式化验证等技术，从源头保障模型与代码的正确性。

兼容跨工具链协同

兼容 FMI 标准实现跨工具链协同，结合实时监测与追溯机制，实现从需求到交付件的全程可追溯管理。均能通过该平台简化复杂系统设计流程、降低跨环节协同成本，显著提升研发效率与产品可靠性。

全生命周期
解决方案

拥有自主知识产权

实现高安全装备领域模型设计软件的国外产品全面替代

全面替代进口同类

长期以来，国内装备领域的设计、验证软件被 ANSYS SCADE、MATLAB Simulink、LabVIEW、CODESYS等国外产品垄断，面临技术封锁、断供及数据安全多重隐患。丰蕾科技通过十余年技术积累，已实现国外同类产品全面替代。

打破适配性限制

支持数字样机快速构建与克隆，支持灵活配置虚实接口以及高效搭建多样化测试场景。

100% 自主可控

采用异构计算优化与实时调度机制，实现低延迟、高吞吐的实时任务顺利执行。

覆盖开发、运行、集成全流程，定义高安全、智能化的装备工业软件平台

高安全智能化装备工业软件

依托 “SMAVE 软件工具链 + ACEPHERE工控软件+ VxSPACE 硬件产品” 的协同体系，构建了高安全智能化装备工业软件平台，实现从虚拟开发到物理执行的全链条软硬件深度融合。

在集成能力上

在集成能力上，平台支持 “虚实结合” 架构，通过虚拟接口与物理接口的灵活映射，实现数字样机与真实硬件的协同仿真，同时兼容第三方工具与自定义模块开发。目前已形成覆盖 “软件工具 - 虚拟化环境 - 硬件设备 - 集成测试” 的完整解决方案，为航空航天、汽车电子、核能装备等领域提供 “一站式” 高安全控制与测试能力，助力行业向智能化、集成化升级。

在集成能力上

在软件层上

在软件层，SMAVE 系列提供建模、验证、仿真全流程工具，ACEPHERE提供工控应用开发与运行时环境，VxSPACE 虚拟化开发环境支持多虚拟实例并行运行。

在软件层上

在硬件层上

在硬件层，VxSPACE系列桌面化测试测量仪器、高性能控制器、高性能板卡与加速扩展平台、异构工业超融合平台等硬件产品，集成虚拟化加速技术，可适配高性能计算仿真、精密运动控制、分布式协同测试等场景。

在硬件层上

message

获取专业解决方案

联系解决方案专家，进行详细沟通