MathWorks公司将举办线上专题研讨会

MathWorks 公司将于11 月 14 日（周四）下午 14:00 通过腾讯会议举行主题为《基于模型的设计开发符合 ISO 26262 和 DO-178C 的应用软件》的专题研讨会，诚邀您参会。

随着智能网联汽车和电动飞行汽车 eVTOL 等新技术的快速发展，软件开发面临多重挑战。首先，技术复杂性增加，要求开发人员深入理解新技术与安全标准的交互。其次，功能安全和行业标准对软件开发流程、测试和验证活动提出严格要求，增加了开发周期和成本。此外，跨学科团队的协作也至关重要，因为需要结合汽车工程、航空技术和软件开发的专业知识。

针对上述挑战，基于模型设计 MBD 提供了可视化和可验证的模型来简化复杂系统的开发；支持自动代码生成和仿真，减少人为错误并加速验证过程；促进跨学科协作和需求追踪，确保标准合规性。通过本次研讨会，您将了解到基于模型设计 MBD 的最新特性和最佳实践，以及如何通过早期发现问题，降低开发成本和时间，同时提高软件的可靠性和安全性。

基于仿真的故障注入测试和安全分析

嵌入式软件开发中的信息安全与漏洞管理

MBD 对 DO-178C 的支持及其与 ISO 26262 的差异对比

建议参会对象：从事乘用车、商用车（包括非道路和工程车辆）、飞行汽车及其产品研发的系统、软件、测试工程师和管理人员

会议时间与地点

2024 年 11 月 14 日 | 14:00 - 16:00

会议亮点

嵌入式软件开发中的信息安全与漏洞管理

在当今快速发展的技术环境中，嵌入式系统无处不在，从汽车到医疗设备，这些系统的安全性至关重要。本次演讲将深入探讨嵌入式软件开发中的信息安全挑战，并揭示如何通过先进的漏洞管理工具和形式化方法来提升关键安全系统的防护能力。

您将了解：

嵌入式系统面临的信息安全威胁

Polyspace 形式化证明帮助信息安全编码标准和更多

打造高质量软件，降低漏洞风险

早期扫描和自动化验证

基于仿真的故障注入测试和安全分析

“异常行为”是功能安全关注的重要内容：HARA 基于系统架构分析功能失效带来的危害事件和缓解策略，FMEA 则进一步分析失效模式和影响以及对应的故障检测和处理等安全机制，而安全机制的确认正是故障注入测试的主要目的。以往的安全分析（如HARA、FEMA 等）通常基于表格，与安全需求、系统架构和算法实现之间仅有松散的关联，而故障注入测试更是到流程后期才进行，缺乏对安全机制是否有效的快速反馈。本次演讲将展示如何基于模型进行安全分析和故障注入测试的方法，该方法将基于模型来建立系统故障、相关危害以及故障检测和缓解逻辑之间的清晰而正式的关联，进而成为可集成到整个系统设计过程中的全面安全分析框架，并能在系统模型中注入故障（包括故障位置、故障方式和故障触发等）而无需对初始设计进行任何更改，从而通过仿真来前置系统稳健性的评估。

电动飞行汽车：MBD 对 DO-178C 的支持及其与 ISO 26262 的差异对比

飞行汽车或 eVTOL(电动垂直起降飞行器)被认为是未来出行方式的理想选择，从地面二维交通转向地空立体交通，不仅需要创新的设计，从安全和管理角度，依然离不开局方对飞行器进行严格地认证。机载软件作为认证的一部分，在当前法律法规尚未明确的前提下，越来越多的 eVTOL 从业人员选择借鉴源自传统民航领域的 DO-178C 标准。MBD 是汽车和航空业广泛采用和普遍认可的开发流程，在新型 eVTOL 领域，MBD 完全能够继续支撑机载软件的开发和后续飞行器的认证工作。本话题围绕 MBD 对 DO-178C 的支持展开，同时会简单对比 ISO 26262 和 DO-178C 两类标准的差异。

该主题将从以下四个方面来介绍：

DO-178C 及其补充文件介绍

MBD 对 DO-178C 的支持

DO-178C 和 ISO 26262 差异对比

MathWorks 提供的 DO-178C 咨询服务

演讲者

胡乐华，MathWorks

MathWorks 中国高级应用工程师，专注于 MBD 在汽车和航空等高安全行业的应用，在模型和代码生成及验证，嵌入式代码生成方面，有丰富的经验。现已全面负责 Polyspace 产品的推广和深度支持。拥有 3 年的 MBD 产品培训经验。加入 MathWorks 之前，曾就职于霍尼韦尔和中航工业，从事机载软件和系统仿真方面的工作。

龚小平，MathWorks

MathWorks 中国首席技术专家，负责基于模型设计和系统工程在汽车行业的应用，关注 AUTOSAR、功能安全和信息安全等行业标准在传统电控和新能源及自动驾驶方向的应用。在加入 MathWorks 之前曾从事多年的汽车底盘电控系统和软件研发，在系统工程和软件工程领域具有丰富的经验。

陶国栋，MathWorks

MathWorks 中国咨询团队主管。曾就职于上海飞机设计研究院，从事机载系统设计研发工作，有着丰富的基于模型的系统工程方面的经验。在 MathWorks 专注于使用 MATLAB/Simulink 实践基于模型的设计（MBD）全工具链产品的应用，包括持续集成、硬件部署、工具定制和电驱系统等，服务于客户的 MBD 流程导入和提升，助力企业虚实结合和数智化转型。陶国栋在南京航空航天大学获得飞行器动力工程学士学位，并在上海交通大学获得了动力工程硕士学位。