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

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

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

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

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

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

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

會(huì)議時(shí)間與地點(diǎn)

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

會(huì)議亮點(diǎn)

嵌入式軟件開發(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)險(xiǎn)

早期掃描和自動(dòng)化驗(yàn)證

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

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

電動(dòng)飛行汽車：MBD 對(duì) DO-178C 的支持及其與 ISO 26262 的差異對(duì)比

飛行汽車或 eVTOL(電動(dòng)垂直起降飛行器)被認(rèn)為是未來出行方式的理想選擇，從地面二維交通轉(zhuǎn)向地空立體交通，不僅需要?jiǎng)?chuàng)新的設(shè)計(jì)，從安全和管理角度，依然離不開局方對(duì)飛行器進(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 對(duì) DO-178C 的支持展開，同時(shí)會(huì)簡單對(duì)比 ISO 26262 和 DO-178C 兩類標(biāo)準(zhǔn)的差異。

該主題將從以下四個(gè)方面來介紹：

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

MBD 對(duì) DO-178C 的支持

DO-178C 和 ISO 26262 差異對(duì)比

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

演講者

胡樂華，MathWorks

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

龔小平，MathWorks

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

陶國棟，MathWorks

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