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

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

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

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

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

?ISO 26262標準對軟件靜態(tài)測試的要求

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

?ISO 26262標準對軟件動態(tài)測試的要求

動態(tài)模型測試的工具支持

直播簡介

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

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

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

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