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

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

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

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

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

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

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

會議時間與地點

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

會議亮點

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

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

您將了解：

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

Polyspace 形式化證明幫助信息安全編碼標(biāo)準(zhǔn)和更多

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

早期掃描和自動化驗證

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

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

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

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

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

DO-178C 及其補(bǔ)充文件介紹

MBD 對 DO-178C 的支持

DO-178C 和 ISO 26262 差異對比

MathWorks 提供的 DO-178C 咨詢服務(wù)

演講者

胡樂華，MathWorks

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

龔小平，MathWorks

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

陶國棟，MathWorks

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