Simulink Check のチェック

Simulink Check モデルアドバイザーチェック

Simulink^® Check™ のチェックは、安全性要件またはミッションクリティカルな要件、およびモデリングガイドラインを満たす必要のあるアプリケーションについて、そのコードを生成するモデルの設計やトラブルシューティングを容易にします。

モデリング標準のチェックの説明については、モデリングガイドライン、業界標準、およびコーディング規約用のモデルアドバイザーチェックを参照してください。

参考

モデルアドバイザーチェックの実行と結果の確認

Requirements Toolbox のチェック

Requirements Toolbox™ のチェックは、要件ドキュメンテーションとモデル間のリンクを容易にします。

要件の整合性チェックの説明については、要件の整合性チェック (Requirements Toolbox)を参照してください。

参考

モデリングガイドライン、業界標準、およびコーディング規約用のモデルアドバイザーチェック

モデルアドバイザーチェックを使用して、安全性要件またはミッションクリティカルな要件を満たさなければならないアプリケーションのコードを生成するモデルの設計やトラブルシューティングを容易にすることができます。これらのチェックを実行するには、Simulink Check のライセンスが必要です。該当する場合は、チェック固有のドキュメンテーションに追加のライセンス要件が示されています。

モデリングガイドライン、業界標準、およびコーディング規約への準拠を検証するモデルアドバイザーチェックの説明については、以下を参照してください。