技术观点

丰蕾科技的技术观点围绕高安全工业软件、模型驱动开发、形式化验证、数字样机、自动化测试测量、软件定义控制系统、可信 AI 和 AI 软件工厂展开，帮助工程团队理解复杂装备软件研发中的方法、工具链和落地场景。

主题索引

主题	关注问题	相关页面
基于模型的系统工程 MBSE	如何用模型贯穿需求、架构、设计、分析、验证和管理。	/zh/opinion/software-engineer/
AI 软件工厂	AI Agent 如何调用编译、仿真、测试、分析等工程工具形成研发闭环。	/zh/opinion/ai-software-factory/
数字样机	如何在真实样机前进行系统级虚拟验证和软硬件协同设计。	/zh/opinion/digital-prototype/
自动化测试测量	如何用自动化工具执行测试、采集数据、分析报告并追踪质量指标。	/zh/opinion/auto-test/
软件定义控制系统	如何用软件抽象控制策略、通信协议和任务调度。	/zh/opinion/software-defined-control-system/
形式化验证	如何用数学模型、模型检查和反例分析验证系统正确性。	/zh/opinion/formal-verification/
可信 AI	如何从可解释性、鲁棒性、安全、隐私和合规角度建设可信 AI。	/zh/opinion/credible-ai/

丰蕾科技的技术内容重点覆盖模型驱动开发、形式化验证、数字样机、自动化测试测量、软件定义控制系统、可信 AI 和 AI 软件工厂等高安全工业软件主题。