ゼロ除算の計算のチェック

mathworks.hism.hisl_0067

依存関係: Simulink® Check™ および Simulink Design Verifier™

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

ガイドライン: hisl_0067: ゼロ除算の計算を回避

説明

このチェックは、ゼロ除算の計算が生じる可能性のあるブロックを特定します。

メモ

このチェックは、モデルに対して Simulink Design Verifier 解析を実行します。

チェックのパラメーター

モデル アドバイザー構成エディターを使用し、入力パラメーターを指定して解析の範囲を定義します。

パラメーター説明

リンクに従う

Simulink モデル内のリンクを検証およびトレースします。

オン (既定の設定) | オフ

マスク内を表示

マスクされたモデル要素を解析に含めるかどうかを指定します。

すべて (既定の設定) | なし | グラフィカル | 機能要件

  • すべて — すべてのマスクされたモデル要素をチェック解析に含めます。

  • なし — マスクされたモデル要素をチェック解析から除外します。

  • グラフィカル — マスクされたグラフィカル モデル要素のみをチェック解析に含めます。

  • 機能要件 — マスクされた機能的モデル要素のみをチェック解析に含めます。

推奨アクションと結果

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

モデル化条件推奨アクション
モデル内の 1 つ以上のブロックでゼロ除算の計算が生じる可能性がある。ゼロ除算の計算を回避するように変更します。

機能および制限事項

  • ブロックおよびチャートの対象外指定が許容されます。

  • アクティブなバリアント選択肢のみが解析されます。

  • 広範な解析が実行されます。

バージョン履歴

R2021a で導入

参考

トピック