Saturation ブロックの使用をチェック

チェック ID: mathworks.jmaab.jc_0628

ガイドライン: jc_0628: Saturation ブロックの使用方法

このチェックは以下を特定します。

何らかの型キャスト演算を伴う Saturation ブロックまたは Saturation Dynamic ブロック。このチェックは、コンパイルされた入力データ型と出力データ型が一致するかどうかを比較するか、[出力データ型] が [継承: 入力と同じ] および [継承: 2 番目の入力と同じ] に、Saturation ブロックおよび Saturation Dynamic ブロックのそれぞれで設定されているかをチェックします。
上限が出力データ型の最大値 (intmax、realmax) 未満に設定されていないかどうか、および下限が出力データ型の最小値 (intmin、-realmax) より大きい値に設定されていないかどうか。

このチェックには Simulink^® Check™ ライセンスが必要です。

MAB モデリングガイドラインはサブ ID を 1 つのみ提供するため、このチェックにはサブチェックは含まれません。

参考として、NA-MAAB および JMAAB モデリング標準組織で使用が推奨されている MAB ガイドラインサブ ID は以下のとおりです。

条件	推奨アクション
入力データ型と出力データ型が異なっている。	[出力データ型] を [継承: 入力と同じ] および [継承: 2 番目の入力と同じ] に、Saturation ブロックおよび Saturation Dynamic ブロックのそれぞれで設定します。
ブロックの上限値と下限値が、準拠した値に設定されていない。	次のいずれかを行います。出力データ型の [上限] を最大値未満に設定する。出力データ型の [下限] を最小値より大きい値に設定する。