MATLAB EXPO 2026 中国

本演讲系统论述了基于MATLAB^®和  Simulink^®平台的MBD工作流在磁浮交通领域的工程应用。重点构建了涵盖悬浮控制仿真、单点试验台及多点耦合振动试验台的模型驱动开发框架，实现了从多体动力学建模、控制器设计、闭环仿真验证到代码自动生成与硬件在环测试的全流程贯通。该框架支持多物理场耦合分析与快速实验验证，为磁悬浮系统关键技术研发提供了高效、可靠的工程实现途径。

设计高性能控制器只是控制系统开发的开始。在实际应用中，系统必须保证在面临不确定性、约束和极端情况时，能够可靠运行。

例如，当机械臂接近关节极限，或自动驾驶车辆接近前车安全距离时会发生什么？在这种情况下，控制系统必须在满足性能指标的同时，始终满足额外的约束条件。因为违背这些约束条件可能导致性能下降、不稳定，甚至灾难性故障。

本主题中，我们将讨论如何在控制算法中引入保证机制——一种实时监控控制指令并执行安全关键约束的特殊监督控制结构。与会者将了解到：

• 保证机制的基本原理及其在增强控制器性能中的作用
• 如何在Simulink^®中利用控制屏障函数和无源性等技术实现这些机制
• 相关案例演示

随着基于模型设计（Model‑Based Design）项目规模不断扩大，团队面临以更快、更可重复的方式交付高质量软件的压力。持续集成（CI）正是在此背景下发挥作用：它能够自动化测试、代码生成与报告流程，确保每一次更改都能在早期得到验证并高效完成。无论你刚开始接触 CI，还是希望将自动化扩展至更大规模，本次分享都将为你提供构建、测试与快速发布的工具和洞察，同时满足质量与认证要求。

在本次会议中，你将了解如何：

为 Simulink^® 与Model‑Based Design 定制构建 CI 管线；

使用内置任务与增量构建提升执行速度；

在云端的容器化环境中运行工作流程；

使用仪表板与报告工具可视化进度；

应用最佳实践以保持 CI 管线稳定高效。 

随着嵌入式系统日益复杂，确保软件质量与合规性亟需模型驱动与代码驱动开发实践的有力结合。本文将介绍 Polyspace^® 产品家族——一套专用于 C 和 C++ 软件组件严格验证与确认（V&V）的工具集。

Polyspace 产品集成了多项先进技术，包括形式化方法、抽象解释、代码插桩以及目标连接，能够对代码进行深入的静态与动态分析，支持广泛的软件质量保障活动，例如：

• 强制执行行业编码规范（如 MISRA、CERT）
• 检测运行时错误与未定义行为
• 自动化测试生成与执行
• 进行软件架构分析
• 测量结构覆盖率

Polyspace 产品专为满足航空航天、汽车、半导体、电子、工业自动化及医疗设备等行业的严苛安全与安全性要求而设计，有助于加快认证流程，降低开发风险。

了解 Polyspace 产品如何无缝集成于代码驱动和模型驱动（如 Simulink^®）的工作流中，并与 Simulink Test^™、Simulink Design Verifier^™ 及 Simulink Check^™ 等工具协同工作。您将看到其如何实现从早期软件设计到代码实现再到部署的持续、可追溯的 V&V 流水线。

通过不同的演示，了解 Polyspace 产品如何融入现代 DevOps 工作流，实现：

• 代码和模型变更的预提交检查
• 与 CI/CD 流水线集成
• 早期缺陷检测与持续质量监控
• 对模型自动生成代码和手写代码的验证

欢迎参加本次会议，深入了解 Polyspace 产品如何帮助开发团队更快地构建更安全、更可靠的嵌入式软件。