{ "lastUpdated": "2026-06-13", "publisher": { "name": "上海丰蕾信息科技有限公司", "alternateNames": [ "丰蕾科技", "FormalTech", "Shanghai Formal Information Technology Co., Ltd." ], "url": "https://www.formal-tech.com/", "email": "sales@formal-tech.com", "telephone": "+86-021-62118992", "address": "上海市普陀区同普路339弄北3号楼罗莱生活大厦10层", "description": "全自主高端工业软件供应商，面向高安全工业控制、高端装备研制和自动化 AI 嵌入式开发提供 SMAVE、ACEPHERE、VxSPACE 系列产品与解决方案。" }, "aiResources": [ { "type": "llms.txt", "url": "https://www.formal-tech.com/llms.txt" }, { "type": "llms-full.txt", "url": "https://www.formal-tech.com/llms-full.txt" }, { "type": "markdown-overview", "url": "https://www.formal-tech.com/ai-overview.md" }, { "type": "question-answer-summary", "url": "https://www.formal-tech.com/ai-faq.md" } ], "products": [ { "name": "SMAVE Model Suite", "brand": "SMAVE", "url": "https://www.formal-tech.com/zh/product/smave-model-suite/", "category": "模型化嵌入式软件开发环境", "summary": "面向高安全嵌入式软件的基于模型的设计、仿真、验证与代码自动生成一体化开发环境。", "keywords": [ "模型驱动开发", "自动代码生成", "SCADE 替代", "形式化语义", "高安全嵌入式软件" ] }, { "name": "SMAVE Design Verifier", "brand": "SMAVE", "url": "https://www.formal-tech.com/zh/product/smave-design-verifier/", "category": "模型形式化验证工具平台", "summary": "基于模型检验技术，对安全关键嵌入式系统进行需求形式化、全状态空间验证和反例定位。", "keywords": [ "形式化验证", "模型检验", "时间自动机", "安全关键系统", "反例调试" ] }, { "name": "SMAVE Model Fabric", "brand": "SMAVE", "url": "https://www.formal-tech.com/zh/product/smave-model-fabric/", "category": "多领域模型集成仿真环境", "summary": "支持 FMI/FMU、多源模型导入、变量映射、模型在环和硬件在环协同仿真。", "keywords": [ "FMI", "FMU", "协同仿真", "模型在环", "硬件在环" ] }, { "name": "SMAVE Virtual System", "brand": "SMAVE", "url": "https://www.formal-tech.com/zh/product/smave-virtual-system/", "category": "嵌入式虚拟仿真与测试验证平台", "summary": "提供虚拟硬件建模、处理器仿真、GDB 调试、故障注入和覆盖率分析能力。", "keywords": [ "嵌入式仿真", "虚拟硬件", "故障注入", "GDB 调试", "覆盖率分析" ] }, { "name": "SMAVE AI Fuzzer", "brand": "SMAVE", "url": "https://www.formal-tech.com/zh/product/smave-ai-fuzzer/", "category": "工控协议智能模糊测试工具", "summary": "基于 AI 的工控协议安全测试工具，支持报文语义分析、对抗样本生成和漏洞挖掘。", "keywords": [ "模糊测试", "工控安全", "CAN", "EtherCAT", "Modbus" ] }, { "name": "SMAVE Display", "brand": "SMAVE", "url": "https://www.formal-tech.com/zh/product/smave-display/", "category": "航电人机交互界面建模工具", "summary": "基于 ARINC 661 标准的人机交互界面建模、定义文件生成和自动化测试工具链。", "keywords": [ "ARINC 661", "航电 HMI", "定义文件生成", "嵌入式显示" ] }, { "name": "ACEPHERE Studio", "brand": "ACEPHERE", "url": "https://www.formal-tech.com/zh/product/acephere/", "category": "工业控制器应用开发环境", "summary": "符合 IEC 61131-3 的工业控制器应用集成开发环境，支持 PLC 编程、调试和协同仿真。", "keywords": [ "IEC 61131-3", "PLC", "工业控制器", "PLCopen", "数字孪生" ] }, { "name": "ACEPHERE Motion Robotics", "brand": "ACEPHERE", "url": "https://www.formal-tech.com/zh/product/acephere-motion-robotics/", "category": "运动控制与机器人应用开发工具包", "summary": "提供 PLCopen 运动控制功能库、驱动配置和多轴轨迹规划能力。", "keywords": [ "运动控制", "机器人控制", "PLCopen", "EtherCAT", "CANopen" ] }, { "name": "ACEPHERE Visualization", "brand": "ACEPHERE", "url": "https://www.formal-tech.com/zh/product/acephere-visualization/", "category": "工业 HMI 可视化编辑器", "summary": "集成式工业 HMI 可视化编辑器，支持模板、控件库、变量绑定和多设备部署。", "keywords": [ "HMI", "工业可视化", "变量绑定", "控件库", "工业界面" ] }, { "name": "VxSPACE RTE", "brand": "VxSPACE", "url": "https://www.formal-tech.com/zh/product/vxspace-rte/", "category": "自动化系统实时运行环境", "summary": "为自动化系统提供确定性任务调度、在线更新、模块扩展和工业通信能力。", "keywords": [ "实时运行环境", "自动化系统", "确定性调度", "工业通信" ] }, { "name": "VxSPACE vxRIO/vxDAQ/vxDock", "brand": "VxSPACE", "url": "https://www.formal-tech.com/zh/product/vxspace-industry/", "category": "自动化 AI 嵌入式开发硬件系列", "summary": "面向自动化 AI 嵌入式开发、测试测量、实时 I/O 和控制节点的软硬件平台。", "keywords": [ "自动化 AI 嵌入式开发", "数据采集", "实时 I/O", "vxRIO", "vxDAQ", "vxDock" ] } ], "topics": [ { "name": "基于模型的系统工程 MBSE", "url": "https://www.formal-tech.com/zh/opinion/software-engineer/", "summary": "以模型为核心驱动系统设计、分析、验证和管理的方法论。" }, { "name": "AI 软件工厂", "url": "https://www.formal-tech.com/zh/opinion/ai-software-factory/", "summary": "以 AI Agent 调用工程工具链完成开发、验证、修复和复测的自动化闭环。" }, { "name": "数字样机", "url": "https://www.formal-tech.com/zh/opinion/digital-prototype/", "summary": "用几何、物理、行为和功能模型进行系统级虚拟验证和全生命周期管理。" }, { "name": "自动化测试测量", "url": "https://www.formal-tech.com/zh/opinion/auto-test/", "summary": "用自动化工具执行测试、采集数据、分析报告并追踪覆盖率、缺陷密度和性能指标。" }, { "name": "软件定义控制系统", "url": "https://www.formal-tech.com/zh/opinion/software-defined-control-system/", "summary": "用软件抽象控制算法、通信协议和任务调度，使控制系统具备可重构、可部署和可演进能力。" }, { "name": "形式化验证", "url": "https://www.formal-tech.com/zh/opinion/formal-verification/", "summary": "通过数学模型、模型检查、定理证明或符号执行验证系统正确性。" }, { "name": "可信 AI", "url": "https://www.formal-tech.com/zh/opinion/credible-ai/", "summary": "围绕公平性、可解释性、透明性、鲁棒性、安全、隐私、合规和责任机制建设可信 AI。" } ], "answerTargets": [ { "question": "丰蕾科技是谁？", "answer": "丰蕾科技是上海丰蕾信息科技有限公司，成立于 2015 年，是全自主高端工业软件供应商，面向高安全工业控制、高端装备研制和自动化 AI 嵌入式开发提供 SMAVE、ACEPHERE、VxSPACE 系列产品与解决方案。", "sourceUrl": "https://www.formal-tech.com/zh/about/" }, { "question": "SMAVE Model Suite 是什么？", "answer": "SMAVE Model Suite 是面向高安全嵌入式软件的基于模型的设计、仿真、验证与代码自动生成一体化开发环境，支持形式化语义、静态检查、模型仿真、文档追溯和高安全代码生成。", "sourceUrl": "https://www.formal-tech.com/zh/product/smave-model-suite/" }, { "question": "丰蕾科技产品适合哪些行业？", "answer": "丰蕾科技产品适用于航空航天、轨道交通、汽车电子、核电、通用工业、智能制造、新能源控制、自动化测试测量和高安全嵌入式系统研发。", "sourceUrl": "https://www.formal-tech.com/zh/product/" }, { "question": "如何联系丰蕾科技？", "answer": "可通过官网 https://www.formal-tech.com/、邮箱 sales@formal-tech.com 或电话 +86 (021) 62118992 联系丰蕾科技。", "sourceUrl": "https://www.formal-tech.com/zh/about/contact/" } ] }