万博1manbetxSimulink的检查
スタイルガイドラインやモデリング标准への准拠性を検证
万博1manbetxSimulink的检查™は，开発中の标准およびガイドライン违反を特定する，业界认定のチェックやメトリクスを提供します。做-178，ISO 26262，IEC 61508，IEC 62304，MathWorks公司顾问委员会（MAB）スタイルガイドラインなどの高信頼性ソフトウェア开発标准をサポートしています。编集中は，编集时チェックが准拠の问题を特定します。独自の标准やガイドラインに准拠するカスタムチェックを作成することも可能です。
万博1manbetx模型检查が提供するサイズや複雑度などのメトリクスを使用して,モデルのアーキテクチャや標準への準拠性を評価できます。統合型のメトリクスダッシュボードを使用し,設計ステータスと品質を評価できます。また,モデルの自動リファクタリング機能を使用して,重複する設計要素の置換,設計の複雑度の軽減,および,再利用可能なコンテンツの特定が可能です。モデルスライサーツールはモデル内の問題のある動作を切り離し,デバッグ用に簡略化されたモデルを生成します。
IEC认证工具包（ISO 26262およびIEC 61508用）およびDO资格套件（DO-178用）を通じて，业界标准のサポートが可能です。
詳細を見る:
高信頼性ソフトウェア開発のためのすぐに使用可能なチェック
モデルおよび生成されたコードの品质およびセキュリティを向上させるために，万博1manbetxSimulink的检查は，DO-178C，DO-331，ISO 26262，IEC 61508，EN 50128の业界标准のほか，高信頼性ソフトウェアを开発するためのMISRA C：2012，MABスタイルガイドライン，および，IEC62304の规格，そして，CERT C，CWE，およびISO / IEC TS 17961といったセキュアコーディング规格等に対して，事前に构成されたチェックを提供します。
结果と推奨アクションを含む対话型レポート。
编集时のエラー特定と修正
スペルチェックがドキュメント内のスペルエラーを回避するのに役立つのと同様に，编集时チェックは，モデルを编集する际に违反を通知します。编集中にエラーを修正することにより，开発プロセスの遅い段阶で発生する，コストのかかる手直し作业や追加テストを最小限に抑えることができます。
设计时に准拠の问题を発见および修正。
セキュリティ標準への準拠を確認
作成されたコードのCERT C，CWE，ISO / IEC TS 17961への准拠性を改善するために，モデルを确认して，コーディング标准への准拠を可能にするモデル构造を特定できます。
作成されたコードのコーディング标准への准拠性を低下させるブロックを検出
モデルチェックの设定，カスタマイズ，および，自动化
モデルが组织独自の基准またはガイドラインに准拠していることを确认するために，モデルアドバイザーAPIまたはモデルアドバイザーの设定エディターを使用して，モデリングのチェックおよび设定を调整できます。复数マシンによるチェックを并行处理して，准拠検证を加速できます。
モデルアドバイザーの設定エディターを使用してカスタムチェックを作成
モデルメトリクスの收集
万博1manbetxSimulink的检查は，DO-178，DO-331，IEC 61508，IEC 62304，ISO 26262，およびEN 50128规格に准拠して，モデルのアーキテクチャ，复雑さ，および可読性を评価するために使用できるモデルメトリクスを收集します。
モデルメトリクスAPIを使用してカスタムメトリクスを收集。
ダッシュボードを使用した统合メトリクスの表示
メトリクスダッシュボードは，モデルのサイズ，コードの行数，ガイドラインの准拠状况，再利用，复雑さなどのメトリクスを単一のビューで统合し，プロジェクトの品质に关する洞察を提供します。
设计ステータスを统合したビューを持つメトリクスダッシュボード。
依存关系の强调表示
モデルスライサーは,静的な依存関係解析を使用してブロック,信号,およびモデルコンポーネントの間の相互依存関係を強調表示します。また,シミュレーション中のアクティブな挙動に基づく動的依存関係解析を使用して,大規模または複雑なモデルにおける機能の依存関係を分かりやすくします。
スタンドアロンの简略化モデルの作成
モデルスライサーは，ユーザー指定の开始点，记录された信号，またはシミュレーションの时间枠に基づいてモデルの一部を切り出し，シミュレーションでの挙动を保ちつつ规模を小さくしたモデルとして保存することで，デバッグを行いやすくするとともに，パフォーマンスを改善します。
スライスするモデルの部分を強調表示。
Stateflow的を使用したアクティビティベースのタイムスライス
モデルの强调表示を特定のStateflow的™状态および迁移が同时にアクティブになる时间间隔に制限することで，关心のある挙动を分离することができます。
状态がアクティブときにアクティブなロジックを特定。
モデリングクローンの特定とリファクタリング
モデリングクローンの特定ツールは，モデルを分析して，重复するモデリングパターンを见つけます。これらの重复するクローンを，再利用可能なライブラリに自动的にリファクタリングして，保守性を向上し，设计の复雑度を軽减することができます。
コンポーネントの再利用性およびモデルの可読性を向上するためのモデル変換
モデルトランスフォーマーツールは，变体来源ブロックまたは变子系统ブロックに変换可能なモデリングパターンを特定し，モデルのコンポーネント化と再利用性を向上するためにモデルをリファクタリングします。このツールは，可読性を向上するために削除できるデータストアブロックを特定できます。
バリアントで置き換えることのできるモデリングパターンを見つけます。
MAB 5.0のサポート
MAB 5.0モデリングスタイルガイドラインに対するモデルのチェックを自动化
モデルアドバイザーの设定エディターの改善
より柔软かつ一元化されたエディターを使用し，カスタムのチェック设定を作成して更新
DO-254チェック
DO-254规约への准拠を検证
追加のJMAAB 5.1チェック
JMAAB 5.1モデリングスタイルガイドラインに対するモデルのチェックを自动化
コードパースペクティブでの更新时チェック
コード生成でサポートされていないブロックを特定
自动クローンリファクタリングアプリ
サブシステムまたはライブラリパターンのクローン検出，リファクタリング，およびリファクタリング后のモデルの等価性をチェック
これらの機能および対応する関数の詳細については,リリースノートを参照してください。
