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

企業(yè)號介紹

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

北匯信息POLELINK

北匯信息始終專注于汽車電子領(lǐng)域的新技術(shù)和新產(chǎn)品,秉承“價(jià)值創(chuàng)造、共享成功”理念,為整車廠和零部件企業(yè)提供完整的研發(fā)、測試解決方案。

410 內(nèi)容數(shù) 40w+ 瀏覽量 39 粉絲

基于模型的靜態(tài)測試工具M(jìn)XAM

型號: MXAM

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

MXAM簡介

MES是一家專注于為嵌入式軟件提供高質(zhì)量開發(fā)工具和服務(wù)的高科技公司,尤其在基于模型的開發(fā)領(lǐng)域具有顯著影響力。MXAM(Model Examiner)是一款由MES開發(fā)的專業(yè)工具,專為MATLAB/Simulink環(huán)境下的基于模型的設(shè)計(jì)和開發(fā)提供靜態(tài)分析和驗(yàn)證。MXAM旨在幫助工程師和開發(fā)團(tuán)隊(duì)確保他們的模型遵守既定的建模規(guī)范、行業(yè)標(biāo)準(zhǔn)(如MISRA,MAB,Targetlink等)、以及特定項(xiàng)目的定制化規(guī)則,從而提升模型質(zhì)量和軟件安全性。

北匯信息作為MES的中國合作伙伴,將幫助中國客戶借助MXAM提升嵌入式開發(fā)軟件的模型質(zhì)量。

 

1. 模型靜態(tài)分析

MXAM應(yīng)用各種靜態(tài)分析技術(shù)(如數(shù)據(jù)流分析,控制流分析等)自動掃描模型結(jié)構(gòu)以檢測潛在問題,如不恰當(dāng)?shù)男盘栠B接、未初始化的信號、零除及平方根的負(fù)輸入等。

MXAM可以驗(yàn)證模型是否符合MAB、MISRA SL/SF、MISRA TL和 Embedded Coder等建模標(biāo)準(zhǔn)。MES功能安全文檔歸納總結(jié)了和功能安全相關(guān)的指導(dǎo)規(guī)范,從而使開發(fā)的模型滿足國際安全標(biāo)準(zhǔn)ISO 26262、ISO 25119、IEC 61508以及DO 178B/C的要求。

 

2. 優(yōu)化模型以防止編碼錯(cuò)誤

在MBD這種開發(fā)模式下,軟件模型是軟件代碼的基礎(chǔ)。優(yōu)化的軟件模型可以提高軟件代碼生成的成功率,從而節(jié)省開發(fā)資源,將有限資源投用到如功能開發(fā)及測試等更迫切需要的地方。

MXAM對于常見的軟件代碼生成工具諸如Embedded Coder、TargetLink以及ASCET提供特定的建模規(guī)范文檔以保障軟件模型質(zhì)量,同時(shí)確保模型配置中診斷及代碼生成項(xiàng)符合規(guī)范,從而能夠保證自動生成代碼的高效性。

 

3. 提供綜合報(bào)告并提供模型修復(fù)建議

MXAM的建模規(guī)范審核結(jié)果非常清晰。如果發(fā)現(xiàn)錯(cuò)誤,MXAM可以直接指出出現(xiàn)錯(cuò)誤的模型部分并給出錯(cuò)誤分析以及修改建議,并且在多數(shù)情況下支持自動修復(fù)錯(cuò)誤模型部分。

 

4. 互動式的模型評審

MXAM 中可通過注釋添加個(gè)人的模型違規(guī)意見,從而持續(xù)記錄模型審核及評價(jià)結(jié)果。MXAM 可以全面總結(jié)和記錄手動及自動建模規(guī)范審查的結(jié)果。

 

5. 模型重構(gòu)支持

5.1 創(chuàng)建和刪除結(jié)構(gòu)相關(guān)的信號

通過子系統(tǒng)層次結(jié)構(gòu)創(chuàng)建或刪除信號既耗時(shí)又易出錯(cuò)。使用 MoRe 可以通過一個(gè)簡單操作添加或刪除此類信號。通過選擇源端口和目標(biāo)端口,可以自動生成或刪除相關(guān)聯(lián)的輸入、輸出和信號線。

 

5.2 便利地重構(gòu)子系統(tǒng)

MoRe支持在不影響模型功能的前提下快速、輕松地修改分解模型。通過簡單的操作將已連接的功能模塊移入或移出子系統(tǒng)。此外,也可以將一個(gè)子系統(tǒng)劃分為兩個(gè)子系統(tǒng)或?qū)蓚€(gè)子系統(tǒng)合并成一個(gè)系統(tǒng)。

MoRe支持子系統(tǒng)接口的修改。例如,您可以通過對話框在外部更改子系統(tǒng)的端口順序。

 

5.3 生成和分解總線

通過使用MoRe可以將已連接的信號輕松、快速地生成總線。這是一個(gè)在修改模型時(shí)常用但耗時(shí)的步驟。在實(shí)現(xiàn)過程中,MoRe 會自動生成需要的Creator、Selector 以及信號線。除此之外,還為總線提供增添信號功能和Selector分解或合并功能。

 

6. 模型規(guī)則自定義

允許用戶根據(jù)組織內(nèi)部的最佳實(shí)踐或特定標(biāo)準(zhǔn)定義自己的規(guī)則集,并對模型進(jìn)行檢查。

 

7.支持多種報(bào)告形式

MXAM的靜態(tài)掃描過程完全自動化,在完成靜態(tài)測試之后可以自動生成詳細(xì)報(bào)告說明模型檢查的結(jié)果,便于追蹤問題的修復(fù)進(jìn)度和審計(jì)目的。MXAM支持的報(bào)告格式包括:HTML、PDF、 EXCEL和XML。

 

8.資質(zhì)認(rèn)證

MXAM支持ISO26262標(biāo)準(zhǔn)要求產(chǎn)品開發(fā)的所有測試活動。根據(jù)ISO26262的要求,當(dāng)使用軟件工具進(jìn)行安全相關(guān)的開發(fā)活動時(shí),需要對使用的軟件工具進(jìn)行資質(zhì)審核。

MXAM 通過了TüV SüD(南德意志技術(shù)監(jiān)督協(xié)會)認(rèn)證,可用于安全相關(guān)的嵌入式軟件開發(fā)過程,符合ISO 26262、IEC 61508和ISO 25119標(biāo)準(zhǔn)。

 

客戶列表(部分)

為你推薦

  • DDS通信中間件——DCPS規(guī)范(下)2024-11-27 11:47

    DDS通信中間件——DCPS規(guī)范(下)本期還是DCPS規(guī)范,填上期沒有聊完的QoS的坑。本系列文章將包括以下內(nèi)容陸續(xù)更新:1.DDS規(guī)范概述2.DCPS規(guī)范解讀3.DDS-XTypes與IDL解讀4.RTPS規(guī)范解讀5.DDS安全規(guī)范解讀6.DDS-RPC規(guī)范解讀7.DDS-TSN規(guī)范解讀8.DDS-XRCE規(guī)范解讀1.概述“數(shù)據(jù)還可以通過靈活的服務(wù)質(zhì)量(Q
    69瀏覽量
  • AI 助力汽車電子測試:落地應(yīng)用的六大挑戰(zhàn)2024-11-27 11:47

    引言:AI的機(jī)遇與挑戰(zhàn)自從ChatGPT橫空出世以來,人工智能似乎一夜之間變得無處不在。在日常使用中,我們常常在驚艷與失望之間徘徊:它有時(shí)能展現(xiàn)出令人驚嘆的能力,洞察深刻、對答如流,有時(shí)卻又犯下令人哭笑不得的錯(cuò)誤。正如ChatGPT官方頁面的警示語所說:“ChatGPT也可能會犯錯(cuò)。請核查重要信息。”這提醒我們,盡管AI技術(shù)突飛猛進(jìn),但要將其轉(zhuǎn)化為實(shí)際生產(chǎn)力
    277瀏覽量
  • 艙駕融合一體化測試解決方案2024-11-21 01:03

    艙駕融合通過軟硬件的深度整合,實(shí)現(xiàn)了架構(gòu)簡化、成本優(yōu)化和性能提升,是智能汽車發(fā)展的必然趨勢。然而,這種融合也帶來諸多測試挑戰(zhàn):ASILB/D不同安全等級的功能共存、跨域資源協(xié)同調(diào)度、系統(tǒng)復(fù)雜度顯著提升等。研發(fā)測試過程中,為保證系統(tǒng)的功能正確性、系統(tǒng)穩(wěn)定性及可靠性,需要構(gòu)建一套完整的測試體系。為此,北匯信息推出一套系統(tǒng)仿真測試設(shè)備,用于應(yīng)用功能的測試驗(yàn)證,結(jié)合
  • 北匯信息入選CAICV聯(lián)盟“智能網(wǎng)聯(lián)汽車隱形冠軍成長計(jì)劃”2024-11-14 14:25

    2024年11月11-14日,第三十一屆中國汽車工程學(xué)會年會暨展覽會在中國重慶·科學(xué)會堂勝利召開。中國智能網(wǎng)聯(lián)汽車產(chǎn)業(yè)創(chuàng)新聯(lián)盟CAICV在此次盛會期間,舉行了“智能網(wǎng)聯(lián)汽車隱形冠軍成長計(jì)劃”的發(fā)布,北匯信息有幸成為首批入圍企業(yè)。
  • SBW線控轉(zhuǎn)向系統(tǒng)HiL測試解決方案2024-11-14 01:06

    隨著汽車行業(yè)向智能化和自動駕駛技術(shù)的不斷推進(jìn),線控轉(zhuǎn)向(Steer-by-Wire,SBW)技術(shù)逐漸被各方重視起來。SBW系統(tǒng)通過電子信號取代傳統(tǒng)的機(jī)械轉(zhuǎn)向裝置,使得方向盤和轉(zhuǎn)向機(jī)械機(jī)構(gòu)解耦,為汽車帶來了更高的集成度,更大的可變轉(zhuǎn)向比,更靈活的設(shè)計(jì)和更高的舒適性等。Vector可提供完整的SBW控制器測試解決方案,以下將結(jié)合當(dāng)前實(shí)施的線控轉(zhuǎn)向功能測試系統(tǒng)項(xiàng)目
  • “亦”真“亦”假?——MXsteerWheel與DYNA4的強(qiáng)強(qiáng)聯(lián)手2024-11-14 01:06

    高性能力反饋方向盤MXsteerWheel作為線控轉(zhuǎn)向開發(fā)的新幫手,在北匯信息的展臺上一直是大家關(guān)注的焦點(diǎn)。由于它簡練出眾的外表與真實(shí)阻尼的手感,吸引參展的朋友都樂此不疲地進(jìn)行嘗試。而后又不禁感嘆,亦真亦假!圖1桌面式駕駛模擬器系統(tǒng)組成整體來看,駕駛模擬器由CANoe測試平臺、高性能實(shí)時(shí)機(jī)、方向盤電機(jī)與控制中樞,三者構(gòu)成測試閉環(huán)。不過,在系統(tǒng)中,有位“掃地僧
  • MES工具更新信息 04/20242024-11-13 14:46

    我們剛剛發(fā)布了最新的MES模賽思工具更新。MXAM、MoRe和MQC的最新版本已經(jīng)為您下載安裝做好了準(zhǔn)備。 下面列出了工具亮點(diǎn)的簡要概述和發(fā)行說明。同時(shí)也歡迎您前往官網(wǎng)查看我們的新功能演示視頻,我們的開發(fā)團(tuán)隊(duì)為您詳細(xì)介紹并演示了本次更新的功能亮點(diǎn)。
    145瀏覽量
  • 【征集令】2025年全球汽車軟件開發(fā)狀況調(diào)查,500美金等你拿!2024-11-08 09:17

    本次Perforce聯(lián)合北匯信息,誠摯邀請中國汽車軟件開發(fā)專業(yè)人士參加該報(bào)告2025年的調(diào)查。這項(xiàng)調(diào)查涵蓋了發(fā)現(xiàn)汽車軟件工作人員面臨的最新趨勢、挑戰(zhàn)和技術(shù),我們需要傾聽您的寶貴見解!
  • Klocwork 2024.3新特性速覽2024-11-07 09:49

    Klocwork 2024.3 為?C/C++?分析引擎和構(gòu)建上傳流程引入了新功能和性能改進(jìn)。此版本還附帶了增強(qiáng)的安全性和用戶體驗(yàn)改進(jìn),包括用于?SAML/OIDC?身份驗(yàn)證的?IDE?插件中更好的用戶身份驗(yàn)證工作流程。其他增強(qiáng)功能包括更廣泛的編碼標(biāo)準(zhǔn)覆蓋范圍以及改進(jìn)的與?Bazel?構(gòu)建系統(tǒng)的集成。
  • 符合ISO 26262的零部件級的軟件測試解決方案2024-11-07 08:05

    功能安全的開發(fā)、測試過程中概念階段的活動一般都是由主機(jī)廠負(fù)責(zé),而從系統(tǒng)開發(fā)到單元實(shí)現(xiàn)則是由供應(yīng)商負(fù)責(zé),對于供應(yīng)商所做的一系列測試通常稱為零部件級測試。根據(jù)ISO26262功能安全標(biāo)準(zhǔn)的劃分,功能安全在零部件階段的測試包括:軟件單元測試、軟件集成測試、硬件集成測試、嵌入式軟件測試、軟硬件集成測試。本次主要探討軟件在零部件級的軟件測試。目前功能安全零部件測試的困
  • TSN和DDS測試解決方案2024-05-10 09:29

    北匯信息提供的TSN/DDS測試系統(tǒng),測試工具鏈多樣化:提供Vector、TSN Systems、Spirent、臻融科技全套測試解決方案,滿足不同測試場景下的實(shí)際需求。
    359瀏覽量
  • 汽車智能座艙域功能測試2024-05-10 09:20

    北匯信息推出座艙域功能測試解決方案,支持在實(shí)驗(yàn)室環(huán)境以及實(shí)車環(huán)境下完成座艙域功能測試,不僅可以確保產(chǎn)品質(zhì)量、提升用戶體驗(yàn)、保障行車安全,也能降低維護(hù)成本、加速產(chǎn)品上市、滿足法規(guī)要求、推動技術(shù)創(chuàng)新等。
    2.2k瀏覽量
  • 車載T-Box邏輯功能測試方案2024-04-26 11:19

    北匯信息基于對客戶需求規(guī)范、行業(yè)法規(guī)及自身測試經(jīng)驗(yàn)Know-How,為客戶提供完整和專業(yè)的T-Box邏輯功能測試解決方案。支持在實(shí)驗(yàn)室環(huán)境及實(shí)車環(huán)境下完成T-Box上層邏輯功能測試及實(shí)車數(shù)據(jù)分析測試,可以極大地提升T-Box的可靠性和穩(wěn)定性。
  • 汽車OTA通道和壓力測試方案2024-04-25 09:16

    北匯信息基于對客戶需求規(guī)范、行業(yè)法規(guī)及自身測試經(jīng)驗(yàn)Know-How,為汽車客戶提供完整和專業(yè)的汽車OTA通道測試和壓力測試解決方案,包括測試系統(tǒng)開發(fā)、測試規(guī)范開發(fā)、測試腳本實(shí)現(xiàn)及測試實(shí)施的全流程服務(wù)。
    1.4k瀏覽量
  • TSN網(wǎng)絡(luò)設(shè)計(jì)與驗(yàn)證咨詢服務(wù)2022-09-24 16:59

    TSN通信技術(shù)逐步走進(jìn)汽車行業(yè)的視野,目前國內(nèi)外OEM已積極展開TSN技術(shù)預(yù)研與儲備工作。伴隨TSN車規(guī)級通信芯片成熟度的提升,TSN必將成為IVN以太網(wǎng)主干網(wǎng)的核心基礎(chǔ)技術(shù)之一。北匯信息多年來一直致力于TSN設(shè)計(jì)與驗(yàn)證的實(shí)踐工作,積累了豐富的TSN項(xiàng)目經(jīng)驗(yàn)。其間,參與多個(gè)國內(nèi)TSN項(xiàng)目,擁有完整的TSN設(shè)計(jì)、仿真、原型搭建的開發(fā)經(jīng)驗(yàn),同時(shí)為客戶提供齊備的TSN測試工具鏈與驗(yàn)證方法。
    TSN
    690瀏覽量
  • 北匯信息MES成功案例及合作伙伴2022-07-19 18:59

    MES成功案例上海汽車制動系統(tǒng)有限公司(SABS)上海汽車制動系統(tǒng)有限公司(簡稱SABS)是德國大陸公司與上海汽車工業(yè)(集團(tuán))總公司雙方共同投資組建的企業(yè)。公司主要產(chǎn)品為ABS防抱死制動系統(tǒng)、制動鉗、助力器、傳感器、制動軟管等。其生產(chǎn)涉及機(jī)加、電鍍、裝配等三種模式。本著“統(tǒng)一規(guī)劃、分步實(shí)施”的原則,SABS逐年分步進(jìn)行了MES系統(tǒng)建設(shè)。系統(tǒng)覆蓋了機(jī)加、電鍍、裝配車間。包含:設(shè)備集成、SAP集成、計(jì)
    692瀏覽量
  • 注塑MES解決方案2022-07-19 18:42

    通過MES系統(tǒng)建設(shè),可以對生產(chǎn)計(jì)劃、執(zhí)行過程、生產(chǎn)質(zhì)量、資源等進(jìn)行全面的數(shù)字化管控,打破工廠信息孤島的現(xiàn)狀,通過整合工廠數(shù)據(jù),實(shí)現(xiàn)數(shù)據(jù)集中管控與共享,為生產(chǎn)制造經(jīng)營信息提煉提供數(shù)據(jù)基礎(chǔ)。
    654瀏覽量
  • 軍工航空航天MES解決方案2022-07-19 18:30

    軍工航空航天MES解決方案:過建立以MES為核心的生產(chǎn)管理系統(tǒng),與相關(guān)信息系統(tǒng)的集成,形成完整的生產(chǎn)信息化管理平臺,實(shí)現(xiàn)信息化建設(shè)的目標(biāo)。
    997瀏覽量
  • 汽車行業(yè)MES解決方案2022-07-19 18:19

    針對汽車生產(chǎn)制造行業(yè)對制造管理系統(tǒng)的管理需求,以及北匯信息在汽車行業(yè)多年的MES實(shí)施經(jīng)驗(yàn),北信息提供一套成熟的生產(chǎn)信息化管理系統(tǒng)(MES)為生產(chǎn)管理者及企業(yè)管理者提供真實(shí)、完整、多視角的評估報(bào)告,有效支持各級管理決策。
    923瀏覽量
  • 底盤系統(tǒng)硬件在環(huán)(HiL)測試解決方案2022-07-19 17:44

    北匯信息為OEM和零部件企業(yè)提供眾多成熟的底盤系統(tǒng)解決方案,包括電動助力轉(zhuǎn)向系統(tǒng)EPS HiL測試方案,制動系統(tǒng)HiL測試方案等。