博客專欄

        EEPW首頁 > 博客 > Model Inspector—軟件模型靜態(tài)規(guī)范檢查工具

        Model Inspector—軟件模型靜態(tài)規(guī)范檢查工具

        發(fā)布人:hiraintech 時(shí)間:2024-04-07 來源:工程師 發(fā)布文章

        產(chǎn)品概述

               Model Inspector(MI)原廠商是韓國Suresoft,是KOLAS國際公認(rèn)測評機(jī)構(gòu),旨在提升安全關(guān)鍵領(lǐng)域軟件可信度。MI用于開發(fā)過程中模型的靜態(tài)檢查,包括規(guī)范檢查、復(fù)雜度度量,提供MAAB、HIS、CG、MISRA_AC_SLSF、MISRA_AC_TL、dSPACE標(biāo)準(zhǔn)規(guī)范及檢查,檢查Simulink、Targetlink等模型是否符合建模標(biāo)準(zhǔn)、評估模型設(shè)計(jì)的合理性。MI具備ISO 26262/IEC61508等認(rèn)證資質(zhì),支撐基于模型的高可靠、高安全的嵌入式電子產(chǎn)品驗(yàn)證及確認(rèn)平臺,在現(xiàn)代、起亞等企業(yè)得到應(yīng)用。

         

        產(chǎn)品介紹

               MI是標(biāo)準(zhǔn)化的靜態(tài)檢查工具,可以對模型進(jìn)行自動化、批量化建模規(guī)范檢查、復(fù)雜度度量,提升用戶的模型質(zhì)量,其工作流程如圖:

        MI 圖一.jpg


            · 產(chǎn)品認(rèn)證資質(zhì)

               工具具備ISO-26262(汽車)/IEC61508(通用)等認(rèn)證資質(zhì)。

        MI 圖二.jpg


            · 支持的標(biāo)準(zhǔn)和檢查項(xiàng)

               支持大多數(shù)國際通用規(guī)則,480+條行業(yè)標(biāo)準(zhǔn)建模規(guī)則:

            ? MathWorks Automotive Advisory Board(MAAB)

            ? Modeling design and style guidelines for the application of Simulink and Stateflow(MISRA_AC_SLSF)

            ? Modeling style guidelines for the application of TargetLink in the context of automatic code generation(MISRA_AC_ TL)

            ? dSPACE Modeling Guidelines

            ? Modeling Guidelines for High-Integrity System(HIS)

            ? Modeling Guidelines for Code Generation(CG)

            ? Suresoft Guidelines

            ? 用戶自定義標(biāo)準(zhǔn)(定制規(guī)范檢查)

         

            · 支持復(fù)雜度度量

               全方位模型度量,20多種模型度量指標(biāo),從MATLAB代碼行數(shù)、復(fù)雜度,到Simulink模塊、子系統(tǒng)、庫,再到Stateflow各類轉(zhuǎn)移,還有數(shù)據(jù)結(jié)構(gòu)層級分析、復(fù)雜度分析等,針對整個(gè)模型/單個(gè)子系統(tǒng)分別統(tǒng)計(jì),支持用戶定義檢查閾值:

            ? Number of subsystems

            ? Number of blocks

            ? Number of linked library

            ? Number of charts

            ? Number of all objects in the chart

            ? Number of states

            ? Number of transitions

            ? Number of MATLAB function

            ? Number of Stateflow code lines

            ? Effective lines of MATLAB function code metric

            ? Subsystem depth

            ? Number of incoming transition

            ? Number of outgoing transition

            ? Number of atomic condition transition

            ? Nondescriptive block name

            ? Data and structure layer separation

            ? Complexity (Local/Global)

            ? Cohesion

            ? Coupling (Fan-In)

            ? Coupling (Fan-Out)

         

            · 支持檢查的產(chǎn)品

            ? MATLAB/Simulink/Stateflow(MathWorks)R2011b及以上

            ? TargetLink(dSPACE)v3.3及以上

         

        顯著特點(diǎn)

            · 功能完備度高

            ? 規(guī)則更全(標(biāo)準(zhǔn)規(guī)則484條),覆蓋各歷史版本規(guī)則

            ? 復(fù)雜度指標(biāo)加倍(度量指標(biāo)21種)

            ? 檢查程度更完備(檢查規(guī)則包含的每條描述)

         

            · 工程易用性好

            ? 獨(dú)立性好,面向用戶友好界面

            ? 全程追溯,雙向自動定位模型違規(guī)位置

            ? 工程化管理

            ? 提供違規(guī)原因、糾正建議

            ? 支持模型批量檢查、局部子系統(tǒng)檢查/不檢查運(yùn)行

            ? 自動修改違規(guī)細(xì)則

            ? 速度提升50%~85%左右

            ? 自動生成多種格式的報(bào)告(pdf、html、xls)

         

            · 擴(kuò)展性好、開放性好

            ? 支持自定義復(fù)雜度度量指標(biāo)比較閾值

            ? 支持自定義分組管理、復(fù)用、編輯已有規(guī)則

            ? 支持寫代碼調(diào)用API執(zhí)行檢查

            ? 支持自定義規(guī)則

         

        應(yīng)用案例

               使用MI進(jìn)行建模規(guī)范自動化檢查的用戶廣泛,如現(xiàn)代、起亞等,并為用戶打造從建立規(guī)范到自動化檢查的綜合解決方案。

                經(jīng)緯恒潤推廣MBD十多年,咨詢經(jīng)驗(yàn)豐富,開展多個(gè)典型用戶的建模規(guī)范咨詢服務(wù):

            · 定制產(chǎn)品級規(guī)范檢查流程

            · 深度培訓(xùn)、指導(dǎo)/定制開發(fā)

            · 定制產(chǎn)品級建模指南(規(guī)范)

            · 定制產(chǎn)品級模型庫、建模模板、配置模板


        了解更多:

               請致電 010-64840808轉(zhuǎn)6116或發(fā)郵件至market_dept@hirain.com(聯(lián)系時(shí)請說明來自EEPW電子產(chǎn)品世界平臺)



        *博客內(nèi)容為網(wǎng)友個(gè)人發(fā)布,僅代表博主個(gè)人觀點(diǎn),如有侵權(quán)請聯(lián)系工作人員刪除。



        關(guān)鍵詞: Model Inspector

        相關(guān)推薦

        技術(shù)專區(qū)

        關(guān)閉
        主站蜘蛛池模板: 镇宁| 贡嘎县| 葫芦岛市| 穆棱市| 融水| 分宜县| 革吉县| 石城县| 沙洋县| 霍城县| 福清市| 南昌市| 安徽省| 常宁市| 新蔡县| 长葛市| 天峨县| 泊头市| 沙湾县| 定日县| 武城县| 将乐县| 手机| 湖南省| 怀宁县| 高台县| 汶川县| 洞头县| 北川| 昌乐县| 甘南县| 古蔺县| 鄂伦春自治旗| 弋阳县| 遂宁市| 澄城县| 甘南县| 宁海县| 安达市| 饶平县| 大新县|