Simulink Check

更新

 

Simulink Check

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

 

Simulink Check™ は、開発中の標準およびガイドライン違反を特定する、業界認定のチェックやメトリクスを提供します。DO-178、ISO 26262、IEC 61508、IEC 62304、MathWorks Automotive Advisory Board (MAAB) スタイルガイドラインなどの高信頼性ソフトウェア開発標準をサポートしています。編集中は、編集時チェックが準拠の問題を特定します。独自の標準やガイドラインに準拠するカスタムチェックを作成することも可能です。

Simulink Check が提供するサイズや複雑度などのメトリクスを使用して、モデルのアーキテクチャや標準への準拠性を評価できます。統合型のメトリクス ダッシュボードでは、設計ステータスと品質を評価できます。また、自動によるモデルのリファクタリング機能を使用して、重複する設計要素の置換、設計の複雑度の軽減、再利用可能なコンテンツの特定が可能です。 モデルスライサー ツールはモデルの問題のある動作を切り離し、デバッグ用に簡略化されたモデルを生成します。

IEC Certification Kit (ISO 26262 および IEC 61508 用) および DO Qualification Kit (DO-178 用) を通じて、業界標準のサポートが可能です。

 

モデル品質の確認

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

高信頼性ソフトウェア開発のためのそのまま使用可能なチェック

モデルおよび生成されたコードの品質およびセキュリティを向上するために、Simulink Check は、DO-178C、DO-331、ISO 26262、IEC 61508、EN 50128 のほか、MISRA C: 2012、MAAB スタイルガイドライン、高信頼性ソフトウェアを開発するための IEC62304 規格、CERT C、CWE、および ISO/IEC TS 17961 といったセキュアコーディング規格等の業界標準に対して、事前に構成されたチェックを提供します。

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

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

スペルチェックがドキュメント内のスペルエラーを避けるのに役立つなど、編集時チェックでは、モデルを編集する際に違反が通知されます。開発プロセスの後工程で発生する、コストのかかるやり直し作業や追加のテストを最小限に抑えるために、編集中にエラーを修正できます。

設計時に準拠の問題を発見して修正。

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

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

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

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

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

モデルメトリクスの収集

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

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

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

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

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

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

モデルスライサーを使用すると、動的解析と静的解析の組み合わせを通じて機能が分離されます。

依存関係の強調表示

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

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

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

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

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

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

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

設計を向上し、コンポーネントの再利用を増やすためのモデルのリファクタリング

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

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

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

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

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

バリアントで置き換えることのできるモデリングパターンを見つけます。

新機能

Simulink Check へのモデルスライサー遷移

モデルスライサーで複雑なモデルを簡略化してデバッグします

メトリクス ダッシュボードの階層ビューおよびフィルター

メトリクスデータを整理して焦点を絞り、モデルの品質を検討します

ワークフローの編集時チェック

診断ビューアーのインターフェイスで編集時チェックの警告やエラーを表示します

追加の編集時チェック

編集時に追加のモデル アドバイザー チェックを使用してエラーを早期に探し出します

JMAAB 5.1 のサポート

JMAAB 5.1 モデリング スタイル ガイドラインに対するモデルのチェックを自動化します

追加の MAAB 3.0 および高信頼性チェック

品質を向上させてガイドラインに準拠します

これらの機能および対応する関数の詳細については、リリースノートを参照してください。

予知保全ソフトウェアを開発し、エンタープライズ IT/OT システムおよび組み込みデバイスに配布します。

無料評価版を入手する

30 日間の無料評価版はこちら

今すぐダウンロード

購入する

価格を見ると関連製品の確認

あなたは学生ですか?

MATLAB および Simulink のアカデミック版の入手

詳細を見る