メインコンテンツ

バリアント ブロックの使用をチェック

mathworks.hism.hisl_0023

依存関係: Simulink® Check™

使用法: 高信頼性システムのモデル化

ガイドライン: hisl_0023: バリアント ブロックの検証

説明

このチェックは、コード生成用のバリアント ブロックのパラメーターが要件までトレースするように設定されているかを確認します。

推奨アクションと結果

チェックによってフラグが付けられた違反と、問題を修正するための推奨アクションを確認します。変更を適用した後、モデルを保存し、チェック解析を再実行します。

モデル化条件推奨アクション
モデル内の 1 つ以上のバリアント ブロックで、プリプロセッサの条件を生成するオプションが選択されている。要件へのコードのトレースを簡略化するために、バリアント ブロックでプリプロセッサの条件を生成するオプションをクリアすることを検討してください。

機能および制限事項

  • ライブラリ モデルでは動作しません。

  • モデルのコンパイルは不要です。

  • ライブラリにリンクされたブロックの内容は解析しません。

  • マスク サブシステムの内容は解析しません。

  • ブロックまたはチャートの対象外指定は許容されません。

バージョン履歴

R2018b で導入