MathWorks 公司將于11 月 14 日（周四）下午 14:00 通過騰訊會議舉行主題為《基于模型的設計開發(fā)符合 ISO 26262 和 DO-178C 的應用軟件》的專題研討會，誠邀您參會。

隨著智能網(wǎng)聯(lián)汽車和電動飛行汽車 eVTOL 等新技術的快速發(fā)展，軟件開發(fā)面臨多重挑戰(zhàn)。首先，技術復雜性增加，要求開發(fā)人員深入理解新技術與安全標準的交互。其次，功能安全和行業(yè)標準對軟件開發(fā)流程、測試和驗證活動提出嚴格要求，增加了開發(fā)周期和成本。此外，跨學科團隊的協(xié)作也至關重要，因為需要結(jié)合汽車工程、航空技術和軟件開發(fā)的專業(yè)知識。

針對上述挑戰(zhàn)，基于模型設計 MBD 提供了可視化和可驗證的模型來簡化復雜系統(tǒng)的開發(fā)；支持自動代碼生成和仿真，減少人為錯誤并加速驗證過程；促進跨學科協(xié)作和需求追蹤，確保標準合規(guī)性。通過本次研討會，您將了解到基于模型設計 MBD 的最新特性和最佳實踐，以及如何通過早期發(fā)現(xiàn)問題，降低開發(fā)成本和時間，同時提高軟件的可靠性和安全性。

基于仿真的故障注入測試和安全分析

嵌入式軟件開發(fā)中的信息安全與漏洞管理

MBD 對 DO-178C 的支持及其與 ISO 26262 的差異對比

建議參會對象：從事乘用車、商用車（包括非道路和工程車輛）、飛行汽車及其產(chǎn)品研發(fā)的系統(tǒng)、軟件、測試工程師和管理人員

會議時間與地點

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

會議亮點

嵌入式軟件開發(fā)中的信息安全與漏洞管理

在當今快速發(fā)展的技術環(huán)境中，嵌入式系統(tǒng)無處不在，從汽車到醫(yī)療設備，這些系統(tǒng)的安全性至關重要。本次演講將深入探討嵌入式軟件開發(fā)中的信息安全挑戰(zhàn)，并揭示如何通過先進的漏洞管理工具和形式化方法來提升關鍵安全系統(tǒng)的防護能力。

您將了解：

嵌入式系統(tǒng)面臨的信息安全威脅

Polyspace 形式化證明幫助信息安全編碼標準和更多

打造高質(zhì)量軟件，降低漏洞風險

早期掃描和自動化驗證

基于仿真的故障注入測試和安全分析

“異常行為”是功能安全關注的重要內(nèi)容：HARA 基于系統(tǒng)架構(gòu)分析功能失效帶來的危害事件和緩解策略，F(xiàn)MEA 則進一步分析失效模式和影響以及對應的故障檢測和處理等安全機制，而安全機制的確認正是故障注入測試的主要目的。以往的安全分析（如HARA、FEMA 等）通?；诒砀瘢c安全需求、系統(tǒng)架構(gòu)和算法實現(xiàn)之間僅有松散的關聯(lián)，而故障注入測試更是到流程后期才進行，缺乏對安全機制是否有效的快速反饋。本次演講將展示如何基于模型進行安全分析和故障注入測試的方法，該方法將基于模型來建立系統(tǒng)故障、相關危害以及故障檢測和緩解邏輯之間的清晰而正式的關聯(lián)，進而成為可集成到整個系統(tǒng)設計過程中的全面安全分析框架，并能在系統(tǒng)模型中注入故障（包括故障位置、故障方式和故障觸發(fā)等）而無需對初始設計進行任何更改，從而通過仿真來前置系統(tǒng)穩(wěn)健性的評估。

電動飛行汽車：MBD 對 DO-178C 的支持及其與 ISO 26262 的差異對比

飛行汽車或 eVTOL(電動垂直起降飛行器)被認為是未來出行方式的理想選擇，從地面二維交通轉(zhuǎn)向地空立體交通，不僅需要創(chuàng)新的設計，從安全和管理角度，依然離不開局方對飛行器進行嚴格地認證。機載軟件作為認證的一部分，在當前法律法規(guī)尚未明確的前提下，越來越多的 eVTOL 從業(yè)人員選擇借鑒源自傳統(tǒng)民航領域的 DO-178C 標準。MBD 是汽車和航空業(yè)廣泛采用和普遍認可的開發(fā)流程，在新型 eVTOL 領域，MBD 完全能夠繼續(xù)支撐機載軟件的開發(fā)和后續(xù)飛行器的認證工作。本話題圍繞 MBD 對 DO-178C 的支持展開，同時會簡單對比 ISO 26262 和 DO-178C 兩類標準的差異。

該主題將從以下四個方面來介紹：

DO-178C 及其補充文件介紹

MBD 對 DO-178C 的支持

DO-178C 和 ISO 26262 差異對比

MathWorks 提供的 DO-178C 咨詢服務

演講者

胡樂華，MathWorks

MathWorks 中國高級應用工程師，專注于 MBD 在汽車和航空等高安全行業(yè)的應用，在模型和代碼生成及驗證，嵌入式代碼生成方面，有豐富的經(jīng)驗?，F(xiàn)已全面負責 Polyspace 產(chǎn)品的推廣和深度支持。擁有 3 年的 MBD 產(chǎn)品培訓經(jīng)驗。加入 MathWorks 之前，曾就職于霍尼韋爾和中航工業(yè)，從事機載軟件和系統(tǒng)仿真方面的工作。

龔小平，MathWorks

MathWorks 中國首席技術專家，負責基于模型設計和系統(tǒng)工程在汽車行業(yè)的應用，關注 AUTOSAR、功能安全和信息安全等行業(yè)標準在傳統(tǒng)電控和新能源及自動駕駛方向的應用。在加入 MathWorks 之前曾從事多年的汽車底盤電控系統(tǒng)和軟件研發(fā)，在系統(tǒng)工程和軟件工程領域具有豐富的經(jīng)驗。

陶國棟，MathWorks

MathWorks 中國咨詢團隊主管。曾就職于上海飛機設計研究院，從事機載系統(tǒng)設計研發(fā)工作，有著豐富的基于模型的系統(tǒng)工程方面的經(jīng)驗。在 MathWorks 專注于使用 MATLAB/Simulink 實踐基于模型的設計（MBD）全工具鏈產(chǎn)品的應用，包括持續(xù)集成、硬件部署、工具定制和電驅(qū)系統(tǒng)等，服務于客戶的 MBD 流程導入和提升，助力企業(yè)虛實結(jié)合和數(shù)智化轉(zhuǎn)型。陶國棟在南京航空航天大學獲得飛行器動力工程學士學位，并在上海交通大學獲得了動力工程碩士學位。