做爰全过程免费无码的视频_国产精品伦理久久久?首页_亚洲最新av一级大片_污片在线观看完整版学生_亚洲特黄在线免费视频播放_少妇内射精品888视频_婷婷五月丁香五月_日韩黄色成人一级片_2012中文字幕二页免费_三级全黄60分钟在线播放

MXAM簡(jiǎn)介

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的中國(guó)合作伙伴，將幫助中國(guó)客戶借助MXAM提升嵌入式開發(fā)軟件的模型質(zhì)量。

模型靜態(tài)分析

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

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

MXAM的工作流主要包括：新建或打開一個(gè)現(xiàn)有項(xiàng)目，選擇模型和設(shè)置規(guī)范文檔，運(yùn)行分析，查看結(jié)果，在指導(dǎo)下自動(dòng)或手動(dòng)修復(fù)違反建模規(guī)范的情況，通過注釋功能批注規(guī)范違反原因，最后保存并導(dǎo)出合規(guī)性報(bào)告。

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

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

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

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

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

互動(dòng)式的模型評(píng)審

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

模型重構(gòu)支持

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

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

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

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

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

3-生成和分解總線

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

4-自動(dòng)布局與改進(jìn)布局

通過使用MoRe為Simulink模型自動(dòng)創(chuàng)建高質(zhì)量且完全符合規(guī)范的布局。

自動(dòng)布局與優(yōu)化布局提供了更易于理解的數(shù)據(jù)流、更清晰的塊順序以及子系統(tǒng)中源塊和接收器塊的更好可視化分離，增加模型可讀性、可理解性，同時(shí)通過清晰的布局可避免一些建模錯(cuò)誤。

模型規(guī)則自定義

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

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

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

與工具鏈無縫銜接

MXAM支持所有常見平臺(tái)，不論是內(nèi)部部署平臺(tái)或是云平臺(tái) – 可通過集中式可擴(kuò)展設(shè)置，輕松集成在您的工具鏈中。

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

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

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

客戶列表（部分）