Simulink Check

設計品質を測定し、検証作業を追跡して、規格への準拠を検証

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) により対応しています。

Simulink Check に付属するモデリング標準のチェックリストと、ヒント、チェックのタイプ、結果のステータスを説明するペインを含むブラウザーを表示する、モデルアドバイザーのウィンドウ。

「パス」、「失敗」、「警告」、「正当化済み」などの実行結果を表示するモデルアドバイザーの業界標準のチェック。

業界標準への準拠を確認

ISO 26262、DO-178C, DO-331、DO-254、IEC 61508、ISO 25119、IEC 62304、EN 50128、MISRA C:2012、MathWorks Advisory Board (MAB) ガイドライン、JMAAB、CERT C、CWE、ISO/IEC TS 17961 などの業界標準に対する事前に構成されたチェック機能を使用します。

DO-254 認証準拠のモデルベースデザインを実現

ドキュメンテーション | 例

論理演算子に不正なアイコン形状が使用された場合に警告を発生する、カスタム選択チェックを備えたフォルダー構造。

モデルチェックをカスタマイズ

モデルアドバイザーのカスタムチェックを構成、カスタマイズ、自動化し、モデルが組織独自の規格やガイドラインに準拠していることを確認します。

ドキュメンテーション | 例

編集時にエラーを検出して修正

編集時チェックを使用してエラーを検出し、その場で対処することで、後工程での手直しを回避します。Simulink^®、System Composer™、または Stateflow^® 用のカスタムの編集時チェックを作成し、組織独自の規格の要件を満たします。

ドキュメンテーション | 例

カスタムの編集時チェックを定義する方法

モデル、要件、テストのツリーを示すアーティファクトパネルを表示するモデルテストダッシュボード。

要件ベーステストの追跡

ユニットテストのアーティファクトの状態と品質を監視して、要件ベーステストの完全性を評価し、ISO 26262 と DO-178C 規格に準拠します。

モデルテストダッシュボードを使った要件ベースのテストプロセスの管理

ドキュメンテーション | 例

高信頼性ガイドラインへの準拠の達成率や、再利用可能なコンポーネントなどのメトリクスを棒グラフで表示するメトリクスダッシュボード。

メトリクスを使用したモデルの品質測定

ISO 26262、DO-178C、DO-331、DO-254、IEC 61508、IEC 62304、EN 50128 などの規格に準拠して、モデルのアーキテクチャ、複雑度、可読性を評価するために使用できるモデルメトリクスを収集します。モデルのサイズ、コードの行、ガイドライン準拠状況、再利用、複雑度などのメトリクスを単一のビューに統合します。

OEM とサプライヤー間の共同作業のためのモデル品質目標

ドキュメンテーション | 例

モデルのレビューとレポートの自動化

レビュー用にモデルアドバイザーレポートを生成します。違反を正当化して警告とエラーを非表示にします。Parallel Computing Toolbox™ を使用すると、複数のマシンによるチェックを並行実行して、準拠の検証を加速できます。

ドキュメンテーション | 例

特定の信号出力に影響を与える信号とブロックを強調表示した Simulink モデル。

複雑なモデルの簡略化とデバッグ

モデルスライサーを使用して、シミュレーション中のアクティブな動作に基づく静的解析と動的解析を組み合わせ、機能の依存関係を強調表示します。ベースラインテスト、等価テストの失敗、プロパティ証明の反例、整数オーバーフローなどのエラーをデバッグします。

モデルスライサーを使用したベースラインテストの失敗のデバッグ

ドキュメンテーション | 例

モデル内の重複パターンはクローングループとして強調表示され、棒グラフでサマリーが表示されます。

モデル間でのモデリングクローンの特定とリファクタリング

モデルを解析し、クローンや重複するモデリングパターンを検出します。自動リファクタリングにより、保守性を向上させ、再利用性を高め、設計の複雑度を軽減します。非効率なパターンを検出し、リファクタリングしてコード効率を高めます。

モデリングクローンの検出

ドキュメンテーション | 例

製品リソース:

ドキュメンテーションコード例ビデオ要件リリースノート

Airbus Helicopters、DO-178B 認定ソフトウェアの開発をモデルベースデザインで加速

「当社は、ARP4754 の要件を客観的かつ着実に確立できるように、Simulink のシステム設計モデルを使用しています。モデルを DO-178 のソフトウェア設計モデルの基礎として使用し、そこからフライトコードを生成して、ソフトウェア検証に妥当性確認テストを再利用することで、時間を短縮しています。」
Ronald Blanrue, Airbus Helicopters

その他のユーザー事例を見る