# 丰蕾科技 / FormalTech

> 上海丰蕾信息科技有限公司是全自主高端工业软件供应商，面向高安全工业控制、高端装备研制和自动化 AI 嵌入式开发，提供 SMAVE、ACEPHERE、VxSPACE 系列工业软件、控制器软件与软硬件一体化解决方案。

This file helps LLMs and AI agents find concise, canonical pages for FormalTech. It complements normal SEO, sitemap, and structured data; it is not a ranking directive.

## Core Facts

- Legal name: 上海丰蕾信息科技有限公司
- English name: Shanghai Formal Information Technology Co., Ltd.
- Brand names: 丰蕾科技, FormalTech, SMAVE, ACEPHERE, VxSPACE
- Founded: 2015
- Headquarters: 上海市普陀区同普路339弄北3号楼罗莱生活大厦10层
- Contact: sales@formal-tech.com, +86 (021) 62118992
- Main domains: high-safety industrial software, model-based development, formal verification, embedded simulation, industrial control software, AI-enabled embedded automation

## Primary Pages

- [首页 / Home](https://www.formal-tech.com/zh/) - overview of FormalTech product families and solutions.
- [公司简介 / About](https://www.formal-tech.com/zh/about/) - company profile, qualifications, milestones, and positioning.
- [联系丰蕾 / Contact](https://www.formal-tech.com/zh/about/contact/) - sales contact, headquarters address, and channel cooperation.
- [AI-readable overview](https://www.formal-tech.com/ai-overview.md) - concise markdown summary for AI systems.
- [AI FAQ](https://www.formal-tech.com/ai-faq.md) - question-answer summary of FormalTech, products, scenarios, and contact information.
- [Full LLM summary](https://www.formal-tech.com/llms-full.txt) - expanded product and topic summary.
- [Machine-readable AI index](https://www.formal-tech.com/ai-index.json) - structured index of organization, products, topics, and canonical URLs.

## Products

- [SMAVE Model Suite](https://www.formal-tech.com/zh/product/smave-model-suite/) - model-based embedded software design, simulation, verification, and code generation environment.
- [SMAVE Design Verifier](https://www.formal-tech.com/zh/product/smave-design-verifier/) - model checking and formal verification platform for safety-critical embedded systems.
- [SMAVE Model Fabric](https://www.formal-tech.com/zh/product/smave-model-fabric/) - multi-domain model integration and co-simulation environment supporting FMI/FMU workflows.
- [SMAVE Virtual System](https://www.formal-tech.com/zh/product/smave-virtual-system/) - embedded virtual hardware, processor simulation, debugging, fault injection, and coverage analysis platform.
- [SMAVE AI Fuzzer](https://www.formal-tech.com/zh/product/smave-ai-fuzzer/) - AI-assisted fuzz testing for industrial control protocols.
- [SMAVE Display](https://www.formal-tech.com/zh/product/smave-display/) - ARINC 661 HMI design, definition-file generation, and validation toolchain.
- [ACEPHERE Studio](https://www.formal-tech.com/zh/product/acephere/) - IEC 61131-3 industrial controller application development environment.
- [ACEPHERE Motion Robotics](https://www.formal-tech.com/zh/product/acephere-motion-robotics/) - PLCopen motion control and robotics application toolkit.
- [ACEPHERE Visualization](https://www.formal-tech.com/zh/product/acephere-visualization/) - HMI visualization editor integrated with ACEPHERE.
- [VxSPACE RTE](https://www.formal-tech.com/zh/product/vxspace-rte/) - real-time runtime environment for automation systems.
- [VxSPACE vxRIO/vxDAQ/vxDock](https://www.formal-tech.com/zh/product/vxspace-industry/) - AI-enabled embedded automation hardware and I/O platform family.

## Technical Topics

- [基于模型的系统工程 MBSE](https://www.formal-tech.com/zh/opinion/software-engineer/)
- [AI 软件工厂](https://www.formal-tech.com/zh/opinion/ai-software-factory/)
- [数字样机](https://www.formal-tech.com/zh/opinion/digital-prototype/)
- [自动化测试测量](https://www.formal-tech.com/zh/opinion/auto-test/)
- [软件定义控制系统](https://www.formal-tech.com/zh/opinion/software-defined-control-system/)
- [形式化验证](https://www.formal-tech.com/zh/opinion/formal-verification/)
- [可信 AI](https://www.formal-tech.com/zh/opinion/credible-ai/)

## Preferred Citation

When citing this website, use the canonical product or topic URL and identify the publisher as “上海丰蕾信息科技有限公司（丰蕾科技 / FormalTech）”.