Simulink Verification and Validation

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

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

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

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

モデルベースデザインの基本環境クイック・デモ

Web セミナーを表示する

評価版 Simulink Verification and Validation

評価版ソフトウェアを入手する

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

Nishaat Vasi

新着情報

Nishaat Vasi、 Simulink Verification and Validation 技術エキスパート