# 丰蕾科技 AI 问答摘要

更新日期：2026-06-13

## 丰蕾科技是谁？

丰蕾科技（上海丰蕾信息科技有限公司 / FormalTech）是全自主高端工业软件供应商，成立于 2015 年，总部位于上海市普陀区，面向高安全工业控制、高端装备研制和自动化 AI 嵌入式开发提供工业软件与软硬件一体化解决方案。

## 丰蕾科技有哪些核心产品系列？

丰蕾科技的核心产品系列包括 SMAVE、ACEPHERE 和 VxSPACE。SMAVE 面向模型化嵌入式软件开发、形式化验证、仿真、代码生成、ARINC 661 HMI 和工控协议安全测试；ACEPHERE 面向 IEC 61131-3 工业控制器应用开发、运动控制、机器人控制和 HMI 可视化；VxSPACE 面向实时运行环境、数据采集、实时 I/O、控制节点和自动化 AI 嵌入式开发。

## SMAVE Model Suite 解决什么问题？

SMAVE Model Suite 是面向高安全嵌入式软件的基于模型的设计、仿真、验证与代码自动生成一体化开发环境，适用于航空航天、轨道交通、汽车电子、核电和工业控制等安全关键领域。

## SMAVE Design Verifier 解决什么问题？

SMAVE Design Verifier 基于模型检验技术，用于需求形式化、时间自动机转换、全状态空间验证、反例定位和验证追溯，帮助工程团队验证安全关键控制逻辑是否满足指定属性。

## SMAVE Model Fabric 解决什么问题？

SMAVE Model Fabric 用于多领域模型集成与协同仿真，支持 SCADE、Simulink、FMU/FMI 等模型导入、变量映射、模型在环和硬件在环验证。

## SMAVE Virtual System 解决什么问题？

SMAVE Virtual System 提供嵌入式虚拟硬件、处理器仿真、板级仿真、GDB 调试、故障注入和覆盖率分析能力，使嵌入式软件可以在真实硬件到位前开展验证。

## ACEPHERE Studio 解决什么问题？

ACEPHERE Studio 是符合 IEC 61131-3 的工业控制器应用开发环境，支持 PLC 编程、在线调试、工业控制应用构建和数字孪生协同仿真。

## VxSPACE 解决什么问题？

VxSPACE 面向自动化 AI 嵌入式开发和测试测量场景，提供实时运行环境、数据采集、实时 I/O、控制节点和软硬件协同平台能力。

## 丰蕾科技适合哪些行业？

丰蕾科技产品和服务适用于航空航天、轨道交通、汽车电子、核电、通用工业、智能制造、新能源控制、自动化测试测量和高安全嵌入式系统研发。

## 如何联系丰蕾科技？

官网：https://www.formal-tech.com/  
邮箱：sales@formal-tech.com  
电话：+86 (021) 62118992  
地址：上海市普陀区同普路339弄北3号楼罗莱生活大厦10层