MXAM簡介

MES是一家專注于為嵌入式軟件提供高質量開發工具和服務的高科技公司，尤其在基于模型的開發領域具有顯著影響力。MXAM（Model Examiner）是一款由MES開發的專業工具，專為MATLAB/Simulink環境下的基于模型的設計和開發提供靜態分析和驗證。MXAM旨在幫助工程師和開發團隊確保他們的模型遵守既定的建模規范、行業標準（如MISRA，MAB，Targetlink等）、以及特定項目的定制化規則，從而提升模型質量和軟件安全性。

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

1. 模型靜態分析

MXAM應用各種靜態分析技術（如數據流分析，控制流分析等）自動掃描模型結構以檢測潛在問題，如不恰當的信號連接、未初始化的信號、零除及平方根的負輸入等。

MXAM可以驗證模型是否符合MAB、MISRA SL/SF、MISRA TL和 Embedded Coder等建模標準。MES功能安全文檔歸納總結了和功能安全相關的指導規范，從而使開發的模型滿足國際安全標準ISO 26262、ISO 25119、IEC 61508以及DO 178B/C的要求。

2. 優化模型以防止編碼錯誤

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

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

3. 提供綜合報告并提供模型修復建議

MXAM的建模規范審核結果非常清晰。如果發現錯誤，MXAM可以直接指出出現錯誤的模型部分并給出錯誤分析以及修改建議，并且在多數情況下支持自動修復錯誤模型部分。

4. 互動式的模型評審

MXAM 中可通過注釋添加個人的模型違規意見，從而持續記錄模型審核及評價結果。MXAM 可以全面總結和記錄手動及自動建模規范審查的結果。

5. 模型重構支持

5.1 創建和刪除結構相關的信號

通過子系統層次結構創建或刪除信號既耗時又易出錯。使用 MoRe 可以通過一個簡單操作添加或刪除此類信號。通過選擇源端口和目標端口，可以自動生成或刪除相關聯的輸入、輸出和信號線。

5.2 便利地重構子系統

MoRe支持在不影響模型功能的前提下快速、輕松地修改分解模型。通過簡單的操作將已連接的功能模塊移入或移出子系統。此外，也可以將一個子系統劃分為兩個子系統或將兩個子系統合并成一個系統。

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

5.3 生成和分解總線

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

6. 模型規則自定義

允許用戶根據組織內部的最佳實踐或特定標準定義自己的規則集，并對模型進行檢查。

7.支持多種報告形式

MXAM的靜態掃描過程完全自動化，在完成靜態測試之后可以自動生成詳細報告說明模型檢查的結果，便于追蹤問題的修復進度和審計目的。MXAM支持的報告格式包括：HTML、PDF、 EXCEL和XML。

8.資質認證

MXAM支持ISO26262標準要求產品開發的所有測試活動。根據ISO26262的要求，當使用軟件工具進行安全相關的開發活動時，需要對使用的軟件工具進行資質審核。

MXAM 通過了TüV SüD（南德意志技術監督協會）認證，可用于安全相關的嵌入式軟件開發過程，符合ISO 26262、IEC 61508和ISO 25119標準。

客戶列表（部分）