您的模型質量診斷專家 MI

2022-06-06 21:15:07 字數 1275 閱讀 5181

原廠商

南韓suresoft,是kolas國際公認測評機構,提公升安全關鍵領域軟體可信度。

應用分析

•  產品認證要求:行業標準(iso-26262,do-178c等)要求開發嵌入式軟體,須進行模型靜態檢查

•  高模型質量要求:採用mbd模式,開發嵌入式軟體10年來,廣泛使用simulink / targetlink模型進行設計,設計質量的保證,離不開模型靜態檢查/規範檢查,高質量模型才能生成高質量**

•  適用的使用者:

♦  急待提公升模型設計質量、模型自動生成**質量的企業;

♦  被設計風格迥異、協同開發迭代困難、多子系統整合錯誤定位困難等困擾的團隊;

♦  期望在設計、驗證各個環節快速保證產品質量的企業決策人。

基本功能

•  model inspector,簡稱mi,模型靜態檢查工具,支援建模規範檢查、複雜度度量,檢查simulink/targetlink模型,提高模型質量(更安全、更易用、更輕量),堪比模型界的「qac」!

•  支援大多數國際通用規則,484條行業標準建模規則

•  支援複雜度度量:21種模型度量指標

•  違規指導:提供違規建議、糾正建議

•  違規修改:自動化修改;全程追溯定位模型違規位置

•  自動生成多種格式的報告(pdf, html, xls)

特色功能

•  認證資質:iso-26262 / do-178c / iec61508等

•  功能更完善:

♦  規則更全(標準規則484條),覆蓋各歷史版本規則

♦  複雜度指標加倍(度量指標21種)

♦  檢查程度更完備(檢查規則包含的每條描述)

•  工程易用性好:

♦  批量模型檢查

♦  使用者定義複雜度量指標閾值

♦  獨立性好,面向使用者友好介面

•  開放擴充套件性好:

♦  使用者自由裁剪、組合、編輯已有規則,使用者自定義規則

恆潤團隊 & 解決方案

•  團隊諮詢經驗豐富,mbd諮詢經驗10年+,多個典型使用者的建模規範諮詢:

♦  定製產品級規範檢查流程

♦  深度培訓/諮詢服務

♦  定製產品級建模指南

♦  定製產品級模型庫、建模模板

果師兄恢復大師 您身邊的手機資料恢復專家

蘋果手機微信聊天記錄刪除了怎麼恢復?蘋果手機 刪除了可以找回來嗎?微信好友刪除了ezzmsnevyo怎麼找回來?以上這些問題都是可以通過果師兄恢復大師找回的。相信很多蘋果使用者會驚訝 怎麼可能?ezzmsnevyo真的假的?今天想告訴大家 是真的,即使你的iphone資料在沒有備份的情況下,也是有機...

工作中用到的模型診斷指數

均值 方差 最小值 最大值 1 分位數 5 分位數 10 分位數 25 分位數 50 分位數 75 分位數 90 分位數 95 分位數 99 分位數。一般要將資料排序後才能求得分位數。1.1 對每個model seg a seg b seg c all 計算score向量的統計量 1.2 對seg ...

工作中用到的模型診斷指數

均值 方差 最小值 最大值 1 分位數 5 分位數 10 分位數 25 分位數 50 分位數 75 分位數 90 分位數 95 分位數 99 分位數。一般要將資料排序後才能求得分位數。1.1 對每個model seg a seg b seg c all 計算score向量的統計量 1.2 對seg ...