麻豆一区二区三区蜜桃免费_中文字幕Va一区二区三区 _国产成人综合久久二区_丰满多毛的大隂户毛茸茸_国产麻豆剧果冻传媒免费老狼_无码人妻精品一区二区三区久久久 _亚洲中文无码精品卡通_蜜臀亚洲AV永久无码精品老司机

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

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

優(yōu)勢

• 工具品質(zhì)

1. 提供 711 個行業(yè)標準建模規(guī)則
2. 提供 21 種模型質(zhì)量度量

• 工具集成

1. Suresoft 工具之間集成
2. 質(zhì)量自動化系統(tǒng)構建

• 國際認證

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

• 靈活開發(fā)

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

預期效果

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

模型靜態(tài)驗證過程

規(guī)則自動檢測

支持大多數(shù)規(guī)則

• 支持711個建模規(guī)則
• 支持行業(yè)標準建模規(guī)則，如MAAB、MISRA AC SLSF
• 支持安全建模規(guī)則

詳細環(huán)境

推薦規(guī)格