SureSoft 是韓國一家專業的 Mission-Critical 高可信測試軟件企業，擁有適用于 ISO 26262/DO-178 等行業標準，成熟的基于V流程代碼檢測、模型檢測、質量檢測、安全監測、故障注入等應用的軟件工具鏈。

Model Inspector（MI）是韓國 Suresoft 公司的一款軟件模型靜態規范檢查工具，也是韓國唯一的模型靜態驗證工具。MI 用于開發過程中模型的靜態檢查，包括規范檢查、復雜度度量，提供 MAAB、HIS、CG、MISRA_AC_SLSF、MISRA-AC-TL、dSPACE 標準規范及檢查，檢查 Targetlink 等模型是否符合建模標準、評估模型設計的合理性。MI 具備 ISO-26262（汽車）/IEC61508（通用）等認證資質，支撐基于模型的高可靠、高安全的嵌入式電子產品驗證及確認平臺，在現代、起亞等企業得到應用。

優勢

• 工具品質

1. 提供 711 個行業標準建模規則
2. 提供 21 種模型質量度量

• 工具集成

1. Suresoft 工具之間集成
2. 質量自動化系統構建

• 國際認證

1. Cert.from SGS TüV
2. Tool Qualification 提供

• 靈活開發

1. 自行開發和供應
2. 快速響應客戶需求

預期效果

• 可實現安全的建模模式
• 組織和管理建模規則
• 縮短開發周期，降低驗證成本
• 提供以用戶為中心的交互界面
• 確保模型質量指標

模型靜態驗證過程

規則自動檢測

支持大多數規則

• 支持711個建模規則
• 支持行業標準建模規則，如MAAB、MISRA AC SLSF
• 支持安全建模規則

詳細環境

推薦規格