Simulink Check のチェック
Simulink Check モデル アドバイザー チェック
Simulink® Check™ のチェックは、安全性要件またはミッションクリティカルな要件、およびモデリング ガイドラインを満たす必要のあるアプリケーションについて、そのコードを生成するモデルの設計やトラブルシューティングを容易にします。
モデリング標準のチェックの説明については、モデリング ガイドライン、業界標準、およびコーディング規約用のモデル アドバイザー チェックを参照してください。
参考
Requirements Toolbox のチェック
Requirements Toolbox™ のチェックは、要件ドキュメンテーションとモデル間のリンクを容易にします。
要件の整合性チェックの説明については、要件の整合性チェック (Requirements Toolbox)を参照してください。
参考
モデリング ガイドライン、業界標準、およびコーディング規約用のモデル アドバイザー チェック
モデル アドバイザー チェックを使用して、安全性要件またはミッションクリティカルな要件を満たさなければならないアプリケーションのコードを生成するモデルの設計やトラブルシューティングを容易にすることができます。これらのチェックを実行するには、Simulink Check のライセンスが必要です。該当する場合は、チェック固有のドキュメンテーションに追加のライセンス要件が示されています。
モデリング ガイドライン、業界標準、およびコーディング規約への準拠を検証するモデル アドバイザー チェックの説明については、以下を参照してください。