直播時(shí)間：2024年6月12號(hào)20:00 直播平臺(tái)：視頻號(hào)、CSDN、B站、抖音下方一鍵預(yù)約
直播大綱

?基于模型的軟件開發(fā)（MBD）

基本原則和優(yōu)勢(shì)

模型質(zhì)量是高效MBD的關(guān)鍵

設(shè)計(jì)質(zhì)量是高效實(shí)現(xiàn)功能質(zhì)量的關(guān)鍵

?ISO 26262標(biāo)準(zhǔn)對(duì)軟件靜態(tài)測(cè)試的要求

靜態(tài)模型測(cè)試的工具支持

?ISO 26262標(biāo)準(zhǔn)對(duì)軟件動(dòng)態(tài)測(cè)試的要求

動(dòng)態(tài)模型測(cè)試的工具支持

直播簡(jiǎn)介

隨著汽車ECUs的功能愈加復(fù)雜，汽車行業(yè)對(duì)軟件模型的質(zhì)量、安全性和可靠性的要求也日益嚴(yán)格?；谀Ｐ偷拈_發(fā)（Model-Based Development，簡(jiǎn)稱MBD）是汽車軟件開發(fā)領(lǐng)域的成熟方法，也是開發(fā)高質(zhì)量軟件的重要手段。MBD使用模型作為溝通的通用語(yǔ)言，在整個(gè)開發(fā)過(guò)程中促進(jìn)雙向可追溯性。它支持質(zhì)量保證活動(dòng)的前置，從模型早期開發(fā)階段就盡早減少錯(cuò)誤，并支持迭代開發(fā)，從而有效確保軟件質(zhì)量。正確實(shí)施的MBD能夠顯著提升開發(fā)效率、降低開發(fā)成本，并顯著提高代碼質(zhì)量，加快安全關(guān)鍵型軟件的開發(fā)進(jìn)度。專業(yè)的工具支持能有效促進(jìn)MBD的實(shí)施，并確保模型的開發(fā)和測(cè)試過(guò)程全面符合ISO 26262功能安全標(biāo)準(zhǔn)。在本次直播中，北匯信息聯(lián)合德國(guó)MES模賽思公司，帶您全面了解基于模型的開發(fā)的原則、優(yōu)勢(shì)及質(zhì)量保證活動(dòng)前置的必要性，ISO 26262標(biāo)準(zhǔn)對(duì)模型靜態(tài)和動(dòng)態(tài)測(cè)試的相關(guān)要求，并向您介紹相應(yīng)的專業(yè)測(cè)試支持工具：MES Model Examiner (MXAM)與TPT。講師簡(jiǎn)介

主講人是來(lái)自MES模賽思的產(chǎn)品經(jīng)理?xiàng)钣裰?/strong>。他擁有十年以上的安全相關(guān)系統(tǒng)的開發(fā)經(jīng)驗(yàn)，協(xié)助客戶將專業(yè)質(zhì)量工具應(yīng)用于基于模型的軟件開發(fā)實(shí)踐。他熱衷于分享如何通過(guò)高效合規(guī)的質(zhì)量工具和明晰定義的流程以提高安全相關(guān)軟件的開發(fā)效率并確保軟件質(zhì)量。另一位主講人是來(lái)自Polelink北匯信息的軟件測(cè)試工程師楊錚，主要負(fù)責(zé)模型測(cè)試工具TPT及其相關(guān)的測(cè)試服務(wù)工作，擁有多年的模型動(dòng)態(tài)測(cè)試經(jīng)驗(yàn)。公司簡(jiǎn)介

MES模賽思公司于2006年在德國(guó)柏林成立，自2018年起先后在美國(guó)底特律和中國(guó)上海設(shè)立子公司。MES模賽思致力于在基于模型的嵌入式軟件開發(fā)中提供質(zhì)量保證，為基于MATLAB Simulink/Stateflow、dSPACE TargetLink等平臺(tái)的建模過(guò)程提供靜態(tài)模型分析和模型改進(jìn)的專業(yè)工具、方案及嵌入式開發(fā)相關(guān)領(lǐng)域的培訓(xùn)和咨詢服務(wù)。在汽車行業(yè)中，除少數(shù)幾家公司外，全球主要頂尖制造商及供應(yīng)商均在他們的開發(fā)環(huán)境中使用MES模賽思的解決方案。

MXAM來(lái)自MES模賽思，是您進(jìn)行全面靜態(tài)模型分析的首選工具。MXAM通過(guò)分析模型結(jié)構(gòu)，評(píng)估模型指標(biāo)，自動(dòng)執(zhí)行建模規(guī)范檢查，并支持模型自動(dòng)化修復(fù)與重構(gòu)，為用戶提供全面的模型檢查優(yōu)化方案，有效確保模型符合行業(yè)標(biāo)準(zhǔn)。MXAM已通過(guò)TüV SüD（南德意志技術(shù)監(jiān)督協(xié)會(huì)）認(rèn)證。TPT作為針對(duì)嵌入式系統(tǒng)的基于模型的動(dòng)態(tài)測(cè)試工具，支持眾多業(yè)內(nèi)主流的工具平臺(tái)和測(cè)試環(huán)境，可應(yīng)用于整個(gè)嵌入式軟件開發(fā)周期，實(shí)現(xiàn)各種異構(gòu)環(huán)境下的自動(dòng)化測(cè)試。無(wú)論是在測(cè)試建模，測(cè)試環(huán)境還是測(cè)試評(píng)估，測(cè)試報(bào)告方面，都占據(jù)強(qiáng)大優(yōu)勢(shì)。北匯信息作為MES模賽思和TPT的中國(guó)合作伙伴，可提供工具使用支持、模型或代碼測(cè)試、測(cè)試需求跟蹤、ISO 26262資質(zhì)認(rèn)證等服務(wù)。