高信頼性システムモデリングガイドライン用のモデルアドバイザーチェックの使用

高信頼性システムモデリングチェックにより、モデル、サブシステム、および対応する生成コードの設計とトラブルシューティングが促進され、アプリケーションで高信頼性システムモデリングガイドラインに準拠できるようになります。

高信頼性システムモデリングチェックを実行する際、モデルアドバイザーは、Simulink^® Check™ ライセンスのチェックアウトを実行します。

高信頼性システムモデリングチェックは、次のグループに分類されます。

Simulink ブロックおよびコンポーネント用の高信頼性システムモデリングチェック。

MATLAB^® コード用の高信頼性システムモデリングチェック。

構成設定用の高信頼性システムモデリングチェック。

命名規則用の高信頼性システムモデリングチェック。

Requirements Toolbox™ トレーサビリティ用の高信頼性システムモデリングチェック。

生成コード用の高信頼性システムモデリングチェック。

Stateflow^® チャートおよびコンポーネント用の高信頼性システムモデリングチェック。

高信頼性システム モデリング ガイドライン用のモデル アドバイザー チェックの使用