Simulink Check

 

Simulink Check

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

詳細を見る:

モデル品質のチェック

スタイルガイドラインやモデリング標準への準拠性を検証します。

高信頼性ソフトウェア開発のためのすぐに使用できるチェック

モデルや生成されたコードの品質とセキュリティを向上するために、Simulink Check では、業界標準に準拠するための事前に構成されたチェック機能が用意されています。業界標準には、ISO 26262、DO-178C、DO-331、DO-254、IEC 61508、ISO 25119、EN 50128 のほか、MISRA C:2012、MathWorks Advisory Board (MAB) ガイドライン、高信頼性ソフトウェアを開発するための IEC 62304 標準、CERT C、CWE、および ISO/IEC TS 17961 といったセキュリティで保護されたコーディング規約などがあります。

ガイドライン違反を含むモデルを強調表示。

結果と推奨アクションを含む対話型レポート。

編集時のエラーの特定と修正

スペルチェックがドキュメント内のスペルエラーを回避するのに役立つのと同様に、編集時チェックは、モデルの編集時に違反を通知します。開発プロセスの遅い段階で発生する、コストのかかる手直し作業や追加テストを最小限に抑えために、編集中にエラーを修正することができます。

編集時チェック。

編集時チェックにより、設計時に準拠の問題を発見して修正。

モデルチェックの設定、カスタマイズ、および自動化

モデルが組織独自の規格またはガイドラインに準拠していることを確認するために、モデルアドバイザー API またはモデルアドバイザーの設定エディターを使用して、モデリングのチェックおよび設定を調整できます。複数のマシンによるチェックを並行処理して、準拠検証を加速できます。

モデルアドバイザーの設定エディターを使用してカスタムチェックを作成。

モデルアドバイザーの設定エディターを使用してカスタムチェックを作成。

セキュリティ標準への準拠のチェック

作成されたコードの CERT C、CWE、ISO/IEC TS 17961 への準拠の問題を軽減するために、モデルを確認して、コーディング規約への準拠違反につながる可能性のあるモデル構造を特定することができます。編集時チェックにより、セキュリティで保護されたコーディング規約では推奨されていないブロックの追加などの変更が行われた場合に、問題を特定できます。

作成されたコードのセキュリティで保護されたコーディング規約への準拠性を低下させるブロックを検出。

作成されたコードのセキュリティで保護されたコーディング規約への準拠性を低下させるブロックを検出。

テストの完全性の追跡と測定

ISO 26262 および DO-178C に準拠させるため、要件ベースのテストの完全性を評価します。

要件ベースのテストのメトリクス

モデル テスト ダッシュボードは、要件ベースのテストの品質および完全性についての概要を提供し、ISO 26262 や DO-178 など、業界が認定したソフトウェア開発標準におけるガイドラインを反映しています。要件、モデル、テスト、テスト結果など、複数のソースからなるプロジェクト内のアーティファクトの間にデジタルスレッドを形成し、それらの整合性と完全性を解析して、状態に関する詳細なメトリクス測定値を提供します。

ダッシュボード ウィジェットは各メトリクスを要約して、ガイドラインへの準拠、要件に対するテストの網羅率、およびテストの対象となる要件の割合など、現在のテスト結果を迅速に評価します。

要件ベースのテスト アーティファクトのレビューと管理

モデル テスト ダッシュボードは、プロジェクトのアーティファクトおよびトレーサビリティ リンクを解析し、アーティファクト パネルにプロジェクト内の各コンポーネントの機能要件、テストケース、およびテスト結果を示します。実装や検証のギャップを特定しやすくするため、モデルに対するトレーサビリティのないアーティファクトが強調表示されます。

ダッシュボードは、トレーサビリティのないアーティファクトを特定します。

コンポーネントにトレースされていないプロジェクトのアーティファクトをダッシュボードに表示。

ISO 26262 に準拠したテストの完全性の評価

モデル テスト ダッシュボードを使用して、ISO 26262-6:2018 に準拠した要件ベースのテストアクティビティの品質と完全性を評価します。ダッシュボードは、要件、テスト、およびテスト結果間のトレーサビリティを監視します。また、プロジェクトでの実装および検証のアーティファクトを解析し、ISO 26262-6:2018 に準拠した要件ベースのテストケースとテスト結果に対する完全性と品質メトリクスを提供します。ダッシュボードでは、要件、テストケース、およびテスト結果がトレースされるモデルに基づいて整理され、各ユニットのテストの完全性と構造的なカバレッジについての情報が提供されます。

ISO 26262 に準拠したテストの完全性を評価します。

ダッシュボード ウィジェットをクリックすると、ISO 26262 レビューのテーブルにメトリクスの詳細が表示されます。

モデルメトリクスの測定と表示

モデルベースデザインのツールからメトリクスを使用してプロジェクトの状況を評価します。

モデルメトリクスを収集して品質を測定

Simulink Check は、ISO 26262、DO-178C、DO-331、DO-254、IEC 61508、IEC 62304、EN 50128 などの規格に準拠して、モデルのアーキテクチャ、複雑さ、および可読性を評価するために使用できるモデルメトリクスを収集します。

モデルメトリクス API を使用してカスタムメトリクスを収集。

モデルメトリクスを収集してカスタマイズし、品質を評価。

ダッシュボードを使用した統合メトリクスの表示

メトリクス ダッシュボードは、モデルのサイズ、コードの行、ガイドライン準拠状況、再利用、複雑さなどのメトリクスを単一のビューに統合し、プロジェクトの品質に関する洞察を提供します。ダッシュボードを使用して、モデル レビュー プロセス中に、設計の品質および規格への準拠性をレビューします。

メトリクス ダッシュボードは、メトリクスを単一のビューで統合します。

メトリクス ダッシュボードの設計ステータスを統合したビュー。

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

モデルスライサーを使用し、動的解析と静的解析を組み合わせて機能を分離します。

依存関係の強調表示

モデルスライサーは、静的な依存関係解析を使用してブロック、信号、およびモデルコンポーネントの間の相互依存関係を強調表示します。また、シミュレーション中のアクティブな挙動に基づく動的依存関係解析を使用して、大規模または複雑なモデルにおける機能の依存関係を分かりやすくします。

設計エラーやテストエラーのデバッグ

Simulink Test™ でテストが失敗したり、Simulink Design Verifier™ でプロパティ違反が確認された場合、モデルスライサーでデバッグを開始してエラーの原因を切り離し、問題をより早く解決します。

スタンドアロンの簡略化モデルの作成

モデルスライサーは、ユーザー指定の開始点、記録された信号、またはシミュレーションの時間枠に基づいてモデルの一部を切り出し、シミュレーションでの挙動を保ちつつ規模を小さくしたモデルとして保存することで、デバッグを行いやすくするとともに、パフォーマンスを改善します。

モデルのスライスする部分を強調表示。

デバッグ用に簡略化されたモデルにスライスできるモデルの部分を強調表示します。

Stateflow によるアクティビティベースのタイムスライス

シミュレーション中、Stateflow® で選択した状態と遷移のみが同時にアクティブになる時間間隔にモデルの強調表示を制限することにより、関心のある挙動を分離することができます。

状態がアクティブなときにアクティブロジックを特定。

状態がアクティブなときにアクティブロジックを特定。

設計を改善し、コンポーネントの再利用を向上させるためのモデルのリファクタリング

保守性を向上させるための自動リファクタリングができるクローンおよびモデリングパターンを特定します。

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

モデリングクローンの特定ツールは、モデルを解析して、重複するモデリングパターンを見つけます。これらの重複するクローンを、再利用可能なライブラリに自動的にリファクタリングして、保守性を向上し、設計の複雑度を軽減することができます。

コンポーネントの再利用性およびモデルの可読性を向上するためのモデルの変換

モデル トランスフォーマー ツールは、Variant Source ブロックまたは Variant Subsystem ブロックに変換可能なモデリング パターンを特定し、モデルのコンポーネント化と再利用性を向上させるためにモデルをリファクタリングします。このツールは、可読性を向上させるために削除可能なデータストアブロックを特定することができます。

バリアントで置き換えることのできるモデリングパターンの特定。

バリアントで置き換えることのできるモデリングパターンの特定。