万博1manbetx^®CHECK™はモデル，要件，テストを解析，设计设计品质と标准の准拠性をします。开放中にモデリングおよびガイドライン违反を特色，业主界のするメトリクスを提供ますますますまする高信料頼ソフトウェア开放标准には，iso 26262，DO-178C，DO-254，IEC 61508，ISO 25119，IEC 62304，MathWorks咨询板（MAB）スタイルスタイルが含まます。万博1manbetxSimulink检查は，证书c，cwe，およびiso / iec ts 17961といった，セキュリティセキュリティで保护されれコーディング标准もサポートししにカスタムカスタムををやガイドラインガイドラインをチェック作作作作作作作为。编集编集际，编集时尚チェックが问题を特价します。

万博1manbetxSimulink检查は，サイズサイズ复雑度，设计のステータスとととを评価するためのメトリクスを提供ししででますますしししますはますししダッシュでははしににづくテストテストアクティビティでられたデータづくづくテストしててたデータづくづくししてします。自动モデルリファクタリングにより，モデリングクローンの置换，设计の复雑度の，およびおよび利用可なコンテンツのををうます。モデルスライサーツール，问题スライサーはことができ。デバッグ用の简简介绍生成します。

业主标准には，IEC认证套件（ISO 26262とIEC61508用）と做资格套件（DO-178用）によって対応しています。