モデルと生成されたコードの検証

Simulink Verification and Validation™ は、要求仕様とモデルのトレース、モデリングルールの準拠性チェック、モデル カバレッジ測定を自動化します。

詳細な要求仕様のトレーサビリティ レポートの作成、モデリング スタイル チェックの作成、そしてチェック コンフィギュレーションの開発を行って、エンジニアリング チームと共有することができます。要求仕様ドキュメンテーションは、モデル、テスト ケース、生成されたコードとリンクさせることができます。また、モデル コンポーネントやコードのテストのためのハーネス モデルを作成したり、モデル カバレッジ測定を使用してモデルが完全にテストされたことを確認したりすることができます。

Simulink Verification and Validation では、DO-178、ISO 26262、IEC 61508、および関連する産業規格用のモデリングルールチェックをご用意しています。DO Qualification KitIEC Certification Kitを通じて追加のサポートをご利用いただけます。


機能

要求仕様と設計要素の関連付け

外部ドキュメントと Simulink ブロック間のリンクを作成します。

詳細はこちら

標準とメトリクスによるモデル品質のチェック

Simulink と Stateflow のオブジェクトを要求仕様ドキュメントのテキストにリンクさせます。

詳細はこちら

モデル カバレッジとコード カバレッジの測定

モデル カバレッジ レポートを作成して、テストされていない設計要素を表示します。

詳細はこちら

製品リソース

これらのリソースを調べて Simulink Verification and Validation をさらに詳しく知る。

ドキュメンテーション

リリース ノートやコード サンプルなど、Simulink Verification and Validationの関数と機能のドキュメンテーションを調べる。

関数

使用できる Simulink Verification and Validation 関数のリストを参照する。

動作環境

最新リリースの Simulink Verification and Validation のシステム必要条件を見る。

技術情報

Simulink Verification and Validation を使用する技術的な利点について説明する記事を読む。

ユーザー事例

Simulink Verification and Validation の各業界の研究開発分野における活用事例を読む。

コミュニティとサポート

質問の答えを検索し、トラブルシューティング リソースを調べる。


製品評価版の入手または製品の購入

Simulink Verification and Validation を使用し始める方法はたくさんあります。 無料評価版をダウンロード, or 価格およびライセンス のオプションを調べてください。

無料評価版を入手する

Simulink Verification and Validation の無料評価版をお試しいただけます。

評価版を入手する

購入する

Simulink Verification and Validation を購入し、アドオン製品を調べる。

営業へのお問い合わせ
価格とライセンス

質問はありますか。

Paul

Paul Urban にお問い合わせください,
Simulink Verification and Validation テクニカル エキスパート

Paul に電子メールを送信する

Simulink Verification and Validation requires MATLAB, and Simulink.


 関連ソリューション

Simulink Verification and Validation を使用して、科学および工学分野の課題を解決します。


ニュース&イベント

Simulink およびモデルベース デザインに対する MathWorks のエンジニアの見解が得られます。

Improve Design Efficiency Using Modeling Standards Checking