首頁(yè) > 產(chǎn)品中心 
SureSoft 是韓國(guó)一家專(zhuān)業(yè)的 Mission-Critical 高可信測(cè)試軟件企業(yè)，擁有適用于 ISO 26262/DO-178 等行業(yè)標(biāo)準(zhǔn)，成熟的基于V流程代碼檢測(cè)、模型檢測(cè)、質(zhì)量檢測(cè)、安全監(jiān)測(cè)、故障注入等應(yīng)用的軟件工具鏈。
Model Inspector（MI）是韓國(guó) Suresoft 公司的一款軟件模型靜態(tài)規(guī)范檢查工具，也是韓國(guó)唯一的模型靜態(tài)驗(yàn)證工具。MI 用于開(kāi)發(fā)過(guò)程中模型的靜態(tài)檢查，包括規(guī)范檢查、復(fù)雜度度量，提供 MAAB、HIS、CG、MISRA_AC_SLSF、MISRA-AC-TL、dSPACE 標(biāo)準(zhǔn)規(guī)范及檢查，檢查 Targetlink 等模型是否符合建模標(biāo)準(zhǔn)、評(píng)估模型設(shè)計(jì)的合理性。MI 具備 ISO-26262（汽車(chē)）/IEC61508（通用）等認(rèn)證資質(zhì)，支撐基于模型的高可靠、高安全的嵌入式電子產(chǎn)品驗(yàn)證及確認(rèn)平臺(tái)，在現(xiàn)代、起亞等企業(yè)得到應(yīng)用。
優(yōu)勢(shì)
- 工具品質(zhì)
- 提供 711 個(gè)行業(yè)標(biāo)準(zhǔn)建模規(guī)則
- 提供 21 種模型質(zhì)量度量
- 工具集成
- Suresoft 工具之間集成
- 質(zhì)量自動(dòng)化系統(tǒng)構(gòu)建
- 國(guó)際認(rèn)證
- Cert.from SGS TüV
- Tool Qualification 提供
- 靈活開(kāi)發(fā)
- 自行開(kāi)發(fā)和供應(yīng)
- 快速響應(yīng)客戶(hù)需求
預(yù)期效果
- 可實(shí)現(xiàn)安全的建模模式
- 組織和管理建模規(guī)則
- 縮短開(kāi)發(fā)周期，降低驗(yàn)證成本
- 提供以用戶(hù)為中心的交互界面
- 確保模型質(zhì)量指標(biāo)
模型靜態(tài)驗(yàn)證過(guò)程
規(guī)則自動(dòng)檢測(cè)
支持大多數(shù)規(guī)則
- 支持711個(gè)建模規(guī)則
- 支持行業(yè)標(biāo)準(zhǔn)建模規(guī)則，如MAAB、MISRA AC SLSF
- 支持安全建模規(guī)則
詳細(xì)環(huán)境
推薦規(guī)格
