芯耀
540
在車(chē)載電子電氣系統(tǒng)深度影響行車(chē)安全的當(dāng)下，電控系統(tǒng)電子化控制程度持續(xù)提升，汽車(chē)軟件開(kāi)發(fā)生命周期縮短。基于模型設(shè)計(jì)（MBD）開(kāi)發(fā)控制器應(yīng)用層軟件成為主流，尤其在新能源與智能駕駛領(lǐng)域優(yōu)勢(shì)顯著。但該模式下，模型、生成代碼及最終軟件的質(zhì)量保障成為行業(yè)關(guān)注重點(diǎn)。企業(yè)亟需通過(guò)模型靜態(tài)測(cè)試，統(tǒng)一建模風(fēng)格、優(yōu)化架構(gòu)、規(guī)避缺陷，構(gòu)建符合功能安全及ASPICE要求的質(zhì)量體系。基于此，模型靜態(tài)測(cè)試在保障模型質(zhì)量及提升測(cè)試效率環(huán)節(jié)關(guān)鍵效用凸顯。
-實(shí)現(xiàn)模型規(guī)范自動(dòng)化檢測(cè)，提升人力與硬件資源利用效率
-助力企業(yè)建立專(zhuān)屬建模規(guī)范，應(yīng)對(duì)功能安全開(kāi)發(fā)、ASPICE流程改進(jìn)及質(zhì)量提升
-搭建完善的供應(yīng)商軟件質(zhì)量管理體系，確保模型代碼可靠性
-便于可持續(xù)集成，固化測(cè)試流程、加速迭代，實(shí)現(xiàn)數(shù)據(jù)可追溯與關(guān)聯(lián)
Model Inspector模型靜態(tài)測(cè)試工具
Model Inspector是一款專(zhuān)門(mén)針對(duì)汽車(chē)、航空、軌交等行業(yè)的靜態(tài)模型檢查工具，可以對(duì)模型進(jìn)行自動(dòng)化、批量化建模規(guī)范和復(fù)雜度量的檢查，提升用戶(hù)模型質(zhì)量。其內(nèi)置符合ISO26262、IEC61508、DO178C、 IEC 62304、IEC62279、DO-330、IEC60080、EN50128等行業(yè)標(biāo)準(zhǔn)的映射規(guī)則集，且支持自定義構(gòu)建規(guī)則集，可以根據(jù)所選規(guī)范、項(xiàng)目需求、使用頻率等形成項(xiàng)目匹配的規(guī)范庫(kù)，統(tǒng)一的建模風(fēng)格、模型配置可以保證模型的復(fù)雜程度合適、架構(gòu)設(shè)計(jì)合理，提高模型整體的可讀性和可復(fù)用性。
Model Inspector主要技術(shù)指標(biāo)和性能
1.??測(cè)試流程簡(jiǎn)潔清晰，可按需進(jìn)行單/多模型，或各檢測(cè)項(xiàng)自由組合式配置。
模型靜態(tài)測(cè)試流程
2.? ?支持多種行業(yè)模型規(guī)則集的檢查，如DO-178，DSPACE、HIS、IEC 61508、IEC 62304、ISO 26262、MAB/MAAB、MISRA_AC_TL等。
行業(yè)規(guī)則集覆蓋情況
上圖中各類(lèi)規(guī)范介紹
-MAB: MAB規(guī)范是由獨(dú)立的行業(yè)工作組（多個(gè)行業(yè)的主要OEM和供應(yīng)商組成）針對(duì) MATLAB、Simulink、Stateflow和 Embedded Coder的使用制定的一套建模規(guī)范
-MISRA_AC_SLSF: Simulink和Stateflow應(yīng)用的建模設(shè)計(jì)和風(fēng)格指南，由汽車(chē)工業(yè)軟件可靠性協(xié)會(huì)（MISRA）推出
-MISRA_AC_TL: 在自動(dòng)代碼生成環(huán)境中TargetLink應(yīng)用的建模風(fēng)格指南
-DSPACE：MATLAB/Simulink/Stateflow和TargetLink建模指南
-HIS:高完整性系統(tǒng)建模指南
-CG：代碼生成的建議指南
除此，Suresoft結(jié)合多年廠商經(jīng)驗(yàn)制定的一份工具專(zhuān)用建模指南SMG也可作為企業(yè)形成更完善企標(biāo)的推薦參考。
3.? ?支持一鍵式自動(dòng)檢查規(guī)則。Model Inspector選定模型和規(guī)范后可以檢查一鍵式自動(dòng)檢查規(guī)則，檢查性能更快，還支持在每個(gè)項(xiàng)目的基礎(chǔ)上管理模型、規(guī)則和檢查結(jié)果。
一鍵式自動(dòng)檢查
4.? 支持模型的自動(dòng)修復(fù)，一鍵輕松快速校正。Model Inspector支持一鍵自動(dòng)校正模型，根據(jù)違規(guī)修正建議進(jìn)行修改，可自動(dòng)修改模塊和模型屬性，包含配置項(xiàng)、背景、模塊名字、顯示和形狀等。
一鍵式自動(dòng)修正模型
5.? ?支持21種模型質(zhì)量度量指標(biāo)。Model Inspector支持21種模型度量指標(biāo)，包含復(fù)雜度、內(nèi)聚度、耦合度等，支持多層級(jí)模型的檢查，可以自定義篩選模型或模塊進(jìn)行檢測(cè)。從MATLAB代碼行數(shù)、復(fù)雜度，到Simulink模塊、子系統(tǒng)、庫(kù)，再到Stateflow各類(lèi)轉(zhuǎn)移，以及數(shù)據(jù)結(jié)構(gòu)層級(jí)分析、復(fù)雜度分析等，針對(duì)整個(gè)模型/單個(gè)子系統(tǒng)分別統(tǒng)計(jì)，支持用戶(hù)定義檢查閾值。
模型度量指標(biāo)
6.? 顯示檢測(cè)后的Dashboard記錄規(guī)則檢查和度量分析結(jié)果，并與MATLAB進(jìn)行聯(lián)動(dòng)。
Dashboard平臺(tái)管理
7.? 提供歷史標(biāo)簽，方便開(kāi)發(fā)和測(cè)試人員對(duì)模型進(jìn)行改進(jìn)。測(cè)試人員與開(kāi)發(fā)人員聯(lián)合進(jìn)行測(cè)試標(biāo)記，共同推動(dòng)模型質(zhì)量改進(jìn)?？刹榭催`規(guī)趨勢(shì)、差別檢查規(guī)則和特定違規(guī)度量信息。
協(xié)同開(kāi)發(fā)測(cè)試
8.? 生成多種類(lèi)別測(cè)試報(bào)告，并可直接追溯模型問(wèn)題。支持多種類(lèi)別報(bào)告形式的生成，如PDF、DOC、XLSX、HTML格式等，并且報(bào)告可以進(jìn)行模型的追溯，便于從報(bào)告問(wèn)題直接定位到模型來(lái)進(jìn)行修正。
9.? 支持模型規(guī)則集和模型質(zhì)量度量的定制開(kāi)發(fā)。
10.? 獲得多行業(yè)功能安全認(rèn)證證書(shū)。同時(shí)，便捷支持CICD集成，如：Jenkins、Devops等。
經(jīng)緯恒潤(rùn)在嵌入式MBD測(cè)試領(lǐng)域擁有超過(guò)10年以上的咨詢(xún)和實(shí)戰(zhàn)經(jīng)驗(yàn)，具有豐富的項(xiàng)目經(jīng)驗(yàn)和深厚的技術(shù)功底，能夠針對(duì)客戶(hù)的特定需求提供定制化的模型測(cè)試咨詢(xún)服務(wù)。
-定制產(chǎn)品級(jí)規(guī)范檢查流程
-深度培訓(xùn)、指導(dǎo)/定制開(kāi)發(fā)
-定制產(chǎn)品級(jí)建模指南
-定制產(chǎn)品級(jí)模型庫(kù)、建模模板、配置模板
-模型靜態(tài)測(cè)試服務(wù)
-模型動(dòng)態(tài)測(cè)試服務(wù)
