精品国产人成在线_亚洲高清无码在线观看_国产在线视频国产永久2021_国产AV综合第一页一个的一区免费影院黑人_最近中文字幕MV高清在线视频

企業(yè)號(hào)介紹

全部
  • 全部
  • 產(chǎn)品
  • 方案
  • 文章
  • 資料
  • 企業(yè)

經(jīng)緯恒潤(rùn)

經(jīng)緯恒潤(rùn)，專業(yè)從事汽車電子、智能駕駛、車聯(lián)網(wǎng)、新能源、人工智能的電子產(chǎn)品研發(fā)生產(chǎn)、工程咨詢、研發(fā)工具以及特定場(chǎng)景自動(dòng)駕駛運(yùn)維服務(wù)等。

539 內(nèi)容數(shù) 44w+ 瀏覽量 110 粉絲

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

型號(hào)： Model Inspector

--- 產(chǎn)品參數(shù) ---

  • 所在地 北京

--- 產(chǎn)品詳情 ---

產(chǎn)品概述

       Model Inspector（MI）原廠商是韓國(guó)Suresoft，是KOLAS國(guó)際公認(rèn)測(cè)評(píng)機(jī)構(gòu)，旨在提升安全關(guān)鍵領(lǐng)域軟件可信度。MI用于開(kāi)發(fā)過(guò)程中模型的靜態(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)、評(píng)估模型設(shè)計(jì)的合理性。MI具備ISO 26262/IEC61508等認(rèn)證資質(zhì)，支撐基于模型的高可靠、高安全的嵌入式電子產(chǎn)品驗(yàn)證及確認(rèn)平臺(tái)，在現(xiàn)代、起亞等企業(yè)得到應(yīng)用。

 

產(chǎn)品介紹

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

 

 

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

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

 

 

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

          支持大多數(shù)國(guó)際通用規(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)、庫(kù)，再到Stateflow各類轉(zhuǎn)移，還有數(shù)據(jù)結(jié)構(gòu)層級(jí)分析、復(fù)雜度分析等，針對(duì)整個(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ú)立性好，面向用戶友好界面

       - 全程追溯，雙向自動(dòng)定位模型違規(guī)位置

       - 工程化管理

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

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

       - 自動(dòng)修改違規(guī)細(xì)則

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

       - 自動(dòng)生成多種格式的報(bào)告（pdf、html、xls）

 

  • 擴(kuò)展性好、開(kāi)放性好

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

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

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

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

 

應(yīng)用案例

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

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

 

  • 定制產(chǎn)品級(jí)規(guī)范檢查流程
  • 深度培訓(xùn)、指導(dǎo)/定制開(kāi)發(fā)
  • 定制產(chǎn)品級(jí)建模指南（規(guī)范）
  • 定制產(chǎn)品級(jí)模型庫(kù)、建模模板、配置模板

 

文章來(lái)源：經(jīng)緯恒潤(rùn)

為你推薦

  • 快速符合ISO26262產(chǎn)品認(rèn)證——動(dòng)力域L2監(jiān)控方案精華分享2024-08-15 14:08

    ISO 26262標(biāo)準(zhǔn)將汽車“功能安全（FuSa）”定義為“不存在因電氣和電子系統(tǒng)故障所導(dǎo)致的不合理風(fēng)險(xiǎn)”。經(jīng)緯恒潤(rùn)能夠幫助用戶提出恰當(dāng)?shù)陌踩O(jiān)控策略、完成L2相關(guān)功能的開(kāi)發(fā)、單元與集成測(cè)試，同時(shí)，在安全監(jiān)控方案中考慮合理降級(jí)策略，平衡可用性&安全性。本文將通過(guò)VCU L2應(yīng)用層監(jiān)控方案，講解如何利用扭矩監(jiān)控來(lái)實(shí)現(xiàn)功能安全要求。

  • ISO26262-MBD-靜態(tài)驗(yàn)證在V左的布局考量2024-08-14 14:31

    經(jīng)緯恒潤(rùn)將根據(jù)行業(yè)規(guī)范集合、ISO26262要求及專家經(jīng)驗(yàn)等定制建模規(guī)范，形成規(guī)范指南和映射清單；根據(jù)規(guī)范要求將模型配置參數(shù)和建模庫(kù)等形成刷新工具，用于輔助用戶在開(kāi)發(fā)過(guò)程中遵守規(guī)范；根據(jù)能否自動(dòng)檢查分成工具檢查和人工檢查兩部分，通過(guò)檢查結(jié)果來(lái)回歸模型開(kāi)發(fā)，最終輸出規(guī)范檢查報(bào)告。

  • 破局者：Codebeamer如何打破傳統(tǒng)束縛，開(kāi)啟工程新紀(jì)元2024-07-08 13:28

    隨著電子技術(shù)和軟件組件在產(chǎn)品設(shè)計(jì)中的地位日益凸顯，傳統(tǒng)的工程實(shí)踐正經(jīng)歷著一場(chǎng)深刻的變革。在這一轉(zhuǎn)型過(guò)程中，應(yīng)用生命周期管理（Application Configuration Management，ALM）的重要性愈發(fā)突出，能夠幫助企業(yè)擺脫孤立無(wú)援、互不兼容的工具束縛，促進(jìn)硬件工程與軟件交付之間的無(wú)縫銜接。
    184瀏覽量

  • 新架構(gòu)下服務(wù)建模，關(guān)鍵在這6步！2024-07-08 10:36

    經(jīng)緯恒潤(rùn)基于SystemWeaver平臺(tái)，按照SOA建模理念為客戶提供了新一代基于SOA的企業(yè)級(jí)電子電氣系統(tǒng)協(xié)同設(shè)計(jì)解決方案，可以有效支持服務(wù)和信號(hào)的混合架構(gòu)建模。

  • 基于TAE的數(shù)字鑰匙自動(dòng)化測(cè)試解決方案2024-05-29 15:15

    通過(guò)自動(dòng)化測(cè)試執(zhí)行軟件TAE、總線監(jiān)控分析工具VBA和程控電源，的聯(lián)合調(diào)用，實(shí)現(xiàn)數(shù)字鑰匙 的功能測(cè)試、性能測(cè)試、診斷測(cè)試、可靠性測(cè)試等多項(xiàng)測(cè)試工作。

  • 如何從0到1設(shè)計(jì)診斷系統(tǒng)2024-04-26 17:59

    診斷系統(tǒng)設(shè)計(jì)主要涵蓋了診斷方案設(shè)計(jì)、診斷需求定義和診斷數(shù)據(jù)庫(kù)開(kāi)發(fā)。本文會(huì)逐一介紹這些環(huán)節(jié)，以便更好地理解和把握診斷系統(tǒng)設(shè)計(jì)的全貌。

  • 網(wǎng)絡(luò)安全數(shù)字孿生：一種新穎的汽車軟件解決方案2024-04-22 17:19

    汽車軟件的數(shù)字孿生為整個(gè)汽車生命周期的汽車軟件提供了一種新的方法。軟件孿生技術(shù)可以幫助整車廠和供應(yīng)商優(yōu)化和驗(yàn)證他們的設(shè)計(jì)，它還有助于改善現(xiàn)有車輛在道路上的運(yùn)行。更具體地說(shuō)，軟件孿生技術(shù)為ECU固件的網(wǎng)絡(luò)安全提供了巨大的好處。有了這項(xiàng)技術(shù)，無(wú)論是處于開(kāi)發(fā)階段的車輛，還是運(yùn)營(yíng)中的車隊(duì)，都可以迅速識(shí)別、評(píng)估和補(bǔ)救風(fēng)險(xiǎn)。

  • 基于信息安全的軟測(cè)工具鏈解決方案2024-04-18 18:48

    本文特別推出基于信息安全的軟測(cè)工具鏈解決方案，為客戶在信息安全方向?qū)崿F(xiàn)自動(dòng)化測(cè)試提供優(yōu)選。

  • CANXL標(biāo)準(zhǔn)發(fā)布 | (1)一文讀懂CANXL數(shù)據(jù)鏈路層總線，通信再進(jìn)化！2024-04-12 16:12

    2024年3月22日，期待已久的ISO 11898-2：2024版本橫空出世，標(biāo)志著新一代CAN總線的時(shí)代即將到來(lái)（ISO/FDIS 11898-1：2023也處于最終投票階段）。搭載著2048Byte的CANXL列車已蓄勢(shì)待發(fā)，決心突破10M的高速通道。Autosar、英飛凌、ST、Vector和NXP等行業(yè)風(fēng)向標(biāo)早已準(zhǔn)備迎接CANXL高速通道給整車SoA架構(gòu)帶來(lái)新的變革。

  • 域控軟件安全隔離關(guān)鍵技術(shù)剖析：MCU域 VS SOC域2024-04-11 14:00

    安全隔離的底層原理是避免軟件對(duì)內(nèi)存的不合理訪問(wèn)，以滿足功能安全要求。硬件層面上，有MPU、MMU這樣的硬件進(jìn)行程序內(nèi)存空間的保護(hù)和約束；軟件層面上，容器化技術(shù)和虛擬化技術(shù)也能幫助用戶制定更靈活的隔離策略。但并不是說(shuō)實(shí)現(xiàn)了這些安全隔離機(jī)制就等于完全滿足了安全隔離需求，還需要結(jié)合軟件和系統(tǒng)的正確設(shè)計(jì)來(lái)共同達(dá)成目標(biāo)。
    700瀏覽量