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

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

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

模型質量是高效MBD的關鍵

設計質量是高效實現(xiàn)功能質量的關鍵

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

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

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

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

直播簡介

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

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

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

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