产品矩阵

丰蕾科技的产品矩阵覆盖安全关键嵌入式软件开发、形式化验证、多领域仿真、嵌入式虚拟仿真、工业控制器软件、运动控制、工业 HMI、实时运行环境和自动化 AI 嵌入式开发硬件平台。

产品系列

系列	代表产品	主要解决的问题
SMAVE	SMAVE Model Suite、SMAVE Design Verifier、SMAVE Model Fabric、SMAVE Virtual System、SMAVE AI Fuzzer、SMAVE Display	面向高安全嵌入式软件的模型化开发、代码生成、形式化验证、协同仿真、虚拟硬件验证、工控安全测试和航电 HMI 开发。
ACEPHERE	ACEPHERE Studio、ACEPHERE Motion Robotics、ACEPHERE Visualization	面向工业控制器应用开发，支持 IEC 61131-3、PLCopen、运动控制、机器人控制和工业 HMI 可视化。
VxSPACE	VxSPACE RTE、vxRIO、vxDAQ、vxDock	面向自动化 AI 嵌入式开发，提供实时运行环境、数据采集、实时 I/O、控制节点和软硬件协同能力。

丰蕾科技提供 SMAVE、ACEPHERE、VxSPACE 三大产品系列，覆盖从模型化设计、仿真验证、自动代码生成到工业控制、实时运行和自动化 AI 嵌入式开发的高安全工业软件工具链。