Main Content

このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。

Simulink Check 入門

設計品質の測定、検証アクティビティの追跡、標準への準拠性の検証

Simulink® Check™ はモデル、要件、テストを解析し、設計の品質と標準への準拠性を評価します。設計中にモデリング標準およびガイドラインの違反を特定する、業界認定のチェックとメトリクスを提供します。サポートされる高信頼性ソフトウェア開発標準には、ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304、および MathWorks Advisory Board (MAB) スタイル ガイドラインが含まれます。Simulink Check は、CERT C、CWE、および ISO/IEC TS 17961 といった、セキュリティで保護されたコーディング標準もサポートします。エディターで準拠問題を特定できる、独自の標準やガイドラインに準拠するカスタム チェックを作成できます。

Simulink Check は、サイズおよび複雑度など、設計のステータスと品質を評価するためのメトリクスを提供します。モデル テスト ダッシュボードでは、要件に基づくテスト アクティビティで得られたデータを統合して、テストのステータスを追跡します。自動モデル リファクタリングにより、モデリング クローンの置換、設計の複雑度の削減、および再利用可能なコンテンツの特定を行うことができます。モデル スライサー ツールは、問題のあるモデル動作を分離して、デバッグ用の簡略化モデルを生成します。

業界標準には、IEC Certification Kit (for ISO 26262 and IEC 61508) と DO Qualification Kit (for DO-178) によって対応しています。

チュートリアル

注目の例

モデル アドバイザー カスタム構成の作成と展開

モデル アドバイザー カスタム構成の作成と展開

カスタム チェックをモデル アドバイザーに追加し、不要な付属チェックを削除する方法を説明する。

ライブ スクリプトを開く
モデル保守性ダッシュボードを使用して設計の複雑度を監視する

モデル保守性ダッシュボードを使用して設計の複雑度を監視する

設計のサイズ、複雑度、アーキテクチャを評価する。

ライブ スクリプトを開く
モデル テスト ダッシュボードを使用してテスト アクティビティのステータスと品質を調査

モデル テスト ダッシュボードを使用してテスト アクティビティのステータスと品質を調査

プロジェクト内のモデル テストのステータスと品質を評価する。

ライブ スクリプトを開く
Identify and Troubleshoot Gaps in Code Testing Results and Coverage

Identify and Troubleshoot Gaps in Code Testing Results and Coverage

Use the code testing dashboards to assess and address code testing issues.

ライブ スクリプトを開く

ビデオ

編集時のチェックによる準拠問題の早期発見
編集時のチェックにより Simulink または Stateflow におけるガイドラインまたは標準に関する問題を編集時に特定する方法を学習する。

モデリング標準への準拠
モデル アドバイザーを使用して、標準への準拠性を検証

DO-178C 開発プロセスにおける適格なツールの使用、パート 4: 適格なモデル検証—モデル規格
静的解析を実行して、DO-178C および DO-331 に準拠してモデルの規格、整合性、正確性を検証する。