ドキュメンテーション

最新のリリースでは、このページがまだ翻訳されていません。 このページの最新版は英語でご覧になれます。

診断ペイン: データ有効性

データ有効性の診断の概要

モデルによって定義されたデータの整合性を損なう可能性のある条件が Simulink® によって検出されたときに行う診断アクションを指定すると共に、コード生成に関連した、モデル デバッグ用のデータ有効性パラメーターを指定します。

コンフィギュレーション

表示されるパラメーターを設定します。

ヒント

  • [データ有効性] ペインを開くには、Simulink エディターで、[シミュレーション][モデル コンフィギュレーション パラメーター][診断][データ有効性] を選択します。

  • 一般的に、このオプションでは、いかなるアクションもしないか、警告またはエラー メッセージを表示することを指定します。

  • 警告が表示されてもシミュレーションは終了しませんが、エラーが表示された場合はシミュレーションが終了します。

参考

信号の関連付け

Simulink によって信号を Simulink.Signal オブジェクトに関連付ける方法を選択します。詳細は、「明示的または暗黙的な記号関連付け」を参照してください。

設定

既定の設定: 明示的のみ

明示的のみ

信号の暗黙的な関連付けを実行しません。明示的に指定された信号の関連付けのみが行われます。これは推奨設定です。

明示的と暗黙的

可能な場合は暗黙的な信号の関連付けを実行して、暗黙的な関連付けに関する警告を発生させません。

明示的と暗黙的に警告

可能な場合は暗黙的な信号の関連付けを実行して、暗黙的な関連付けを行うたびにそれに関する警告を発生させます。

ヒント

  • 信号の明示的な関連付けを指定するには、[信号プロパティ] ダイアログ ボックス (「[信号プロパティ] ダイアログ ボックス」を参照) を使用します。

  • 明示的な関連付けを離散状態に対して指定するには、離散状態をもつブロック (「Discrete-Time Integrator」ブロックなど) のダイアログ ボックスにある [状態属性] ペインを使用します。

  • 複数の信号が同じ信号オブジェクトに関連付けられ、そのオブジェクトによって指定されるプロパティをもつ場合もあります。

  • 暗黙的な関連付けはパフォーマンスを低下させ、モデルの検証を複雑にし、予測不可能な影響があるため、MathWorks® では高速プロトタイプを除いては暗黙的な信号関連付けの使用はお勧めしていません。

  • Simulink ソフトウェアには関数 disableimplicitsignalresolution が用意されています。この関数を使用すると、暗黙的な信号の関連付けを使用しないようにモデル全体で設定を変更できます。

コマンド ライン情報

パラメーター: SignalResolutionControl
タイプ: 文字列
値: 'UseLocalSettings' | 'TryResolveAll' | 'TryResolveAllWithWarning'
既定の設定: 'UseLocalSettings'
SignalResolutionControl同等の信号の関連付け値
'UseLocalSettings'Explicit only
'TryResolveAll'Explicit and implicit
'TryResolveAllWithWarning'Explicit and warn implicit

推奨設定

アプリケーション設定
デバッグ影響なし
トレーサビリティ影響なし
効率性影響なし
安全対策明示的のみ

参考

特異値行列による除算

「Product」ブロックが、行列乗算モードで入力の逆行列を計算するときに特異行列を検出した場合に行う診断アクションを選択します。

設定

既定の設定: なし

なし

Simulink ソフトウェアはいかなるアクションも実行しません。

警告

Simulink ソフトウェアが警告を表示します。

エラー

Simulink ソフトウェアはシミュレーションを終了し、エラー メッセージを表示します。

ヒント

アクセラレータ モードで参照されるモデルに対して、[特異値行列による除算] パラメーター設定を なし 以外の値に設定した場合、Simulink はその設定を無視します。

モデル アドバイザーを使用して、高速シミュレーションの最中に Simulink によってコンフィギュレーション パラメーター設定が変更される参照モデルを特定できます。

  1. Simulink エディターで、[解析][モデル アドバイザー] を選択します。

  2. [タスク別] を選択します。

  3. [高速化されたモデル参照シミュレーション中に無視された診断設定をチェック] チェックを実行します。

コマンド ライン情報

パラメーター: CheckMatrixSingularityMsg
タイプ: 文字列
値: 'none' | 'warning' | 'error'
既定の設定: 'none'

推奨設定

アプリケーション設定
デバッグ影響なし
トレーサビリティ影響なし
効率性影響なし
安全対策error

参考

指定不足のデータ型

データ型の伝播時に信号のデータ型を Simulink によって推測できなかった場合に行う診断アクションを選択します。

指定不足のデータ型の特定と解決

以下の例では、コンフィギュレーション パラメーター [指定不足のデータ型] を使用して、指定不足のデータ型を特定して解決する方法を示します。

  1. モデル例 ex_underspecified_data_types を開きます。

  2. [コンフィギュレーション パラメーター][診断][データ有効性] ペインで、[指定不足のデータ型][警告] に設定します。

  3. ブロック線図を更新します。

    モデル内の信号はデータ型 uint8 を使用しており、モデルでは警告が生成されます。

  4. 診断ビューアーを開きます。Constant ブロックの出力信号が指定不足のデータ型であることを示す警告が表示されます。

  5. Constant ブロックのダイアログ ボックスを開きます。

    [信号属性] タブで、[出力データ型][Inherit: 逆伝播による継承] に設定します。Constant ブロック出力は、データ型を接続先ブロックから継承します。この場合、接続先は Sum ブロックです。

  6. Sum ブロックのダイアログ ボックスを開きます。

    [信号属性] タブで、[アキュムレータのデータ型][Inherit: 内部ルールによる継承] に設定します。Sum ブロックは、すべての入力信号を選択されたアキュムレータのデータ型にキャストします。この場合、アキュムレータのデータ型は継承されたデータ型として指定されます。

  7. Inport ブロックのダイアログ ボックスを開きます。[信号属性] タブで、[データ型][uint8] に設定します。

ソース ブロックと接続先ブロックはそれぞれ継承されたデータ型を適用するため、Constant ブロックの出力信号のデータ型は指定不足です。信号は、継承するデータ型を特定できません。ただし、モデルはヒューリスティックな方法で使用に最も適した型 uint8 を判別します。

指定不足のデータ型を解決するには、以下のいずれかの方法を使用します。

  • Constant ブロックのダイアログ ボックスの [信号属性] タブで、[出力データ型]uint8 などの特定の数値型として指定します。

  • Sum ブロックのダイアログ ボックスの [信号属性] タブで、[すべての入力が同じデータ型をもつ] チェック ボックスをオンにします。

    この設定により、Sum ブロックでは 1 番目の入力 uint8 のデータ型を 2 番目の指定不足のデータ型に適用します。

設定

既定の設定: なし

なし

Simulink ソフトウェアはいかなるアクションも実行しません。

警告

Simulink ソフトウェアが警告を表示します。

エラー

Simulink ソフトウェアはシミュレーションを終了し、エラー メッセージを表示します。

コマンド ライン情報

パラメーター: UnderSpecifiedDataTypeMsg
タイプ: 文字列
値: 'none' | 'warning' | 'error'
既定の設定: 'none'

推奨設定

アプリケーション設定
デバッグ影響なし
トレーサビリティ影響なし
効率性影響なし
安全対策error

参考

シミュレーション範囲のチェック

信号が指定した最小値または最大値を超えるときに行う診断アクションを選択します。

設定

既定の設定: なし

なし

Simulink ソフトウェアはいかなるアクションも実行しません。

警告

Simulink ソフトウェアが警告を表示します。

エラー

Simulink ソフトウェアはシミュレーションを終了し、エラー メッセージを表示します。

ヒント

  • ブロックが出力する必要のある最小値を指定するには、そのブロックの [出力の最小値] パラメーターまたは [最小値] パラメーターを使用します。

  • ブロックが出力する必要のある最大値を指定するには、そのブロックの [出力の最大値] パラメーターまたは [最大値] パラメーターを使用します。

  • 指定した最小値または最大値をブロック出力が超過したかどうかを調べるには、この診断を有効にします。

  • [シミュレーション範囲のチェック] が有効になっている場合は、シミュレーションのタイム ステップごとに信号範囲のチェックが Simulink によって実行されます。この診断を 警告 または エラー に設定すると、シミュレーションのパフォーマンスが低下する場合があります。

  • アクセラレータ モードで参照されるモデルに対して、[シミュレーション範囲のチェック] パラメーター設定を なし 以外の値に設定した場合、Simulink はその設定を無視します。

    モデル アドバイザーを使用して、高速シミュレーションの最中に Simulink によってコンフィギュレーション パラメーター設定が変更される参照モデルを特定できます。

    1. Simulink エディターで、[解析][モデル アドバイザー] を選択します。

    2. [タスク別] を選択します。

    3. [高速化されたモデル参照シミュレーション中に無視された診断設定をチェック] チェックを実行します。

コマンド ライン情報

パラメーター: SignalRangeChecking
タイプ: 文字列
値: 'none' | 'warning' | 'error'
既定の設定: 'none'

推奨設定

アプリケーション設定
デバッグwarning または error
トレーサビリティwarning または error
効率性none
安全対策error

参考

オーバーフロー時にラップ

信号の値がその信号のデータ型をオーバーフローしてラップ アラウンドされる場合に行う診断アクションを選択します。

設定

既定の設定: 警告

なし

Simulink ソフトウェアはいかなるアクションも実行しません。

警告

Simulink ソフトウェアが警告を表示します。

エラー

Simulink ソフトウェアはシミュレーションを終了し、エラー メッセージを表示します。

ヒント

  • この診断は、整数と固定小数点のデータ型に対してラップするオーバーフローにのみ適用されます。

  • またこの診断は、浮動小数点データ型を含むすべてのデータ型のゼロ除算について報告します。

  • データ型が double または single の場合の浮動小数点オーバーフロー (InfNaN など) をチェックするには、[Inf または NaN のブロックの出力] 診断を選択します (詳細はInf または NaN のブロック出力を参照してください)。

  • アクセラレータ モードで参照されるモデルに対して、[オーバーフロー時にラップ] パラメーター設定を なし 以外の値に設定した場合、Simulink はその設定を無視します。

    モデル アドバイザーを使用して、高速シミュレーションの最中に Simulink によってコンフィギュレーション パラメーター設定が変更される参照モデルを特定できます。

    1. Simulink エディターで、[解析][モデル アドバイザー] を選択します。

    2. [タスク別] を選択します。

    3. [高速化されたモデル参照シミュレーション中に無視された診断設定をチェック] チェックを実行します。

コマンド ライン情報

パラメーター: IntegerOverflowMsg
タイプ: 文字列
値: 'none' | 'warning' | 'error'
既定の設定: 'warning'

推奨設定

アプリケーション設定
デバッグ警告
トレーサビリティ影響なし
効率性影響なし
安全対策エラー

参考

オーバーフローで飽和

信号の値が大きすぎてその信号のデータ型で表現できず、飽和になる場合に行う診断アクションを選択します。

設定

既定の設定: 警告

なし

Simulink ソフトウェアはいかなるアクションも実行しません。

警告

Simulink ソフトウェアが警告を表示します。

エラー

Simulink ソフトウェアはシミュレーションを終了し、エラー メッセージを表示します。

ヒント

  • この診断は、整数と固定小数点のデータ型に対して飽和になるオーバーフローにのみ適用されます。

  • データ型が double または single の場合の浮動小数点オーバーフロー (InfNaN など) をチェックするには、[Inf または NaN のブロックの出力] 診断を選択します (詳細は、Inf または NaN のブロック出力を参照してください)。

コマンド ライン情報

パラメーター: IntegerSaturationMsg
タイプ: 文字列
値: 'none' | 'warning' | 'error'
既定の設定: 'warning'

推奨設定

アプリケーション設定
デバッグ警告
トレーサビリティ影響なし
効率性影響なし
安全対策エラー

参考

Inf または NaN のブロック出力

ブロック出力の値が現在のタイム ステップで Inf または NaN のときに行う診断アクションを選択します。

    メモ:   アクセラレータ モードでは、実行時の診断は何もサポートされていません。

設定

既定の設定: なし

なし

Simulink ソフトウェアはいかなるアクションも実行しません。

警告

Simulink ソフトウェアが警告を表示します。

エラー

Simulink ソフトウェアはシミュレーションを終了し、エラー メッセージを表示します。

ヒント

  • この診断は、データ型が double または single の場合の浮動小数点オーバーフローにのみ適用されます。

  • 整数および固定小数点のオーバーフローをチェックするには、[オーバーフロー時にラップ] 診断を選択します (詳細はオーバーフロー時にラップを参照してください)。

  • アクセラレータ モードで参照されるモデルに対して、[Inf または NaN のブロックの出力] パラメーター設定を なし 以外の値に設定した場合、Simulink はその設定を無視します。

    モデル アドバイザーを使用して、高速シミュレーションの最中に Simulink によってコンフィギュレーション パラメーター設定が変更される参照モデルを特定できます。

    1. Simulink エディターで、[解析][モデル アドバイザー] を選択します。

    2. [タスク別] を選択します。

    3. [高速化されたモデル参照シミュレーション中に無視された診断設定をチェック] チェックを実行します。

コマンド ライン情報

パラメーター: SignalInfNanChecking
タイプ: 文字列
値: 'none' | 'warning' | 'error'
既定の設定: 'none'

推奨設定

アプリケーション設定
デバッグ影響なし
トレーサビリティ影響なし
効率性影響なし
安全対策エラー

参考

識別子の "rt" 接頭辞

Simulink のオブジェクト名 (パラメーター、ブロック、または信号の名前) が rt で始まる場合にコード生成時に行う診断アクションを選択します。

設定

既定の設定: エラー

なし

Simulink ソフトウェアはいかなるアクションも実行しません。

警告

Simulink ソフトウェアが警告を表示します。

エラー

Simulink ソフトウェアはシミュレーションを終了し、エラー メッセージを表示します。

ヒント

  • 既定の設定 (エラー) を使用すると、rt で始まる Simulink オブジェクト名 (パラメーター、ブロック、または信号の名前) が検出された場合に、コード生成がエラーと共に終了します。

  • これは、名前が rt で始まる識別子が生成された場合に、この識別子との意図せぬ衝突を防ぐためです。

コマンド ライン情報

パラメーター: RTPrefix
タイプ: 文字列
値: 'none' | 'warning' | 'error'
既定の設定: 'error'

推奨設定

アプリケーション設定
デバッグ影響なし
トレーサビリティ影響なし
効率性影響なし
安全対策エラー

参考

ダウンキャストの検出

シミュレーション中にパラメーター ダウンキャストが起きたときに行う診断アクションを選択します。

設定

既定の設定: エラー

なし

Simulink ソフトウェアはいかなるアクションも実行しません。

警告

Simulink ソフトウェアが警告を表示します。

エラー

Simulink ソフトウェアはシミュレーションを終了し、エラー メッセージを表示します。

ヒント

  • パラメーターの指定された型をそれより小さい値範囲をもつ型に変換 (たとえば、uint32 から uint8 への変換) することがブロック出力の計算時に必要となった場合は、パラメーター ダウンキャストが発生します。

  • この診断は名前付き調整可能なパラメーターにのみ適用されます。

コマンド ライン情報

パラメーター: ParameterDowncastMsg
タイプ: 文字列
値: 'none' | 'warning' | 'error'
既定の設定: 'error'

推奨設定

アプリケーション設定
デバッグ影響なし
トレーサビリティ影響なし
効率性影響なし
安全対策エラー

参考

オーバーフローの検出

シミュレーション中にパラメーター オーバーフローが起きたときに行う診断アクションを選択します。

設定

既定の設定: エラー

なし

Simulink ソフトウェアはいかなるアクションも実行しません。

警告

Simulink ソフトウェアが警告を表示します。

エラー

Simulink ソフトウェアはシミュレーションを終了し、エラー メッセージを表示します。

ヒント

  • データ型の範囲が小さすぎて理想値を格納できないパラメーターが Simulink によって検出された場合 (つまり、理想値が大きすぎるか小さすぎるためにそのデータ型で表現できない場合) は、パラメーター オーバーフローが発生します。たとえば、パラメーターの理想値が 200、データ型が int8 であるとします。この場合、int8 によって表現できる最大値は 127 であるため、オーバーフローが発生します。

  • パラメーター オーバーフローはパラメーターの桁落ちとは異なります。パラメーターの桁落ちは、使用中のデータ型とスケーリングの範囲内に理想値があるが、それを正確に表現できない場合に発生します。

  • パラメーター オーバーフローと桁落ちはいずれも量子化誤差であり、区別が微細なものになる可能性があります。[オーバーフローの検出] 診断では、1 ビットより大きい量子化誤差がすべて報告されます。パラメーター量子化誤差が非常に小さく、以下の条件が満たされている場合は、オーバーフローではなく桁落ちが報告されます。

    (Max+Slope)Videal>(MinSlope)

    上記の詳細は次のとおりです。

    • Max は、パラメーターのデータ型によって表される最大値です。

    • Min は、パラメーターのデータ型によって表される最小値です。

    • Slope は、パラメーターのデータ型の勾配です (整数の場合の勾配は 1)。

    • Videal は、パラメーターの理想値です。

コマンド ライン情報

パラメーター: ParameterOverflowMsg
タイプ: 文字列
値: 'none' | 'warning' | 'error'
既定の設定: 'error'

推奨設定

アプリケーション設定
デバッグ影響なし
トレーサビリティ影響なし
効率性影響なし
安全対策エラー

参考

アンダーフローの検出

シミュレーション中にパラメーター アンダーフローが起きたときに行う診断アクションを選択します。

設定

既定の設定: なし

なし

Simulink ソフトウェアはいかなるアクションも実行しません。

警告

Simulink ソフトウェアが警告を表示します。

エラー

Simulink ソフトウェアはシミュレーションを終了し、エラー メッセージを表示します。

ヒント

  • 理想値が小さすぎるためにデータ型の精度が理想値を表現するのに十分でないパラメーターが Simulink によって検出されると、パラメーター アンダーフローが発生します。

  • パラメーター アンダーフローが発生した場合に理想値をデータ型にキャストすると、パラメーターのモデル化された値がゼロになるため、理想値と一致しなくなります。

コマンド ライン情報

パラメーター: ParameterUnderflowMsg
タイプ: 文字列
値: 'none' | 'warning' | 'error'
既定の設定: 'none'

推奨設定

アプリケーション設定
デバッグ影響なし
トレーサビリティ影響なし
効率性影響なし
安全対策エラー

参考

桁落ちの検出

シミュレーション中にパラメーターの桁落ちが起きたときに行う診断アクションを選択します。

設定

既定の設定: 警告

なし

Simulink ソフトウェアはいかなるアクションも実行しません。

警告

Simulink ソフトウェアが警告を表示します。

エラー

Simulink ソフトウェアはシミュレーションを終了し、エラー メッセージを表示します。

ヒント

  • データ型の精度がパラメーターの値を正確に表現するのに十分でないパラメーターが Simulink によって検出されると、桁落ちが発生します。その結果、モデル化された値は理想値と一致しません。

  • 桁落ちはパラメーター オーバーフローとは異なります。パラメーター オーバーフローは、パラメーターのデータ型の範囲、つまりパラメーターが表すことのできる最大値がそのパラメーターの理想値より小さい場合に発生します。

  • パラメーター オーバーフローと桁落ちはいずれも量子化誤差であり、区別が微細なものになる可能性があります。[オーバーフローの検出] 診断では、1 ビットより大きいパラメーター量子化誤差がすべて報告されます。パラメーター量子化誤差が非常に小さく、以下の条件が満たされている場合は、オーバーフローではなく桁落ちが報告されます。

    (Max+Slope)Videal>(MinSlope)

    上記の詳細は次のとおりです。

    • Max は、パラメーターのデータ型によって表される最大値です。

    • Min は、パラメーターのデータ型によって表される最小値です。

    • Slope は、パラメーターのデータ型の勾配です (整数の場合の勾配は 1)。

    • Videal は、パラメーターの最大精度の理想値です。

コマンド ライン情報

パラメーター: ParameterPrecisionLossMsg
タイプ: 文字列
値: 'none' | 'warning' | 'error'
既定の設定: 'warning'

推奨設定

アプリケーション設定
デバッグ影響なし
トレーサビリティ影響なし
効率性影響なし
安全対策エラー

参考

調整可能性の消失を検出

調整可能な変数をもつ式が数値的に等価な式に簡略化されているときに行う診断アクションを選択します。

設定

既定の設定: なし

なし

Simulink ソフトウェアはいかなるアクションも実行しません。

警告

Simulink ソフトウェアが警告を表示します。

エラー

Simulink ソフトウェアはシミュレーションを終了し、エラー メッセージを表示します。

ヒント

調整可能なワークスペース変数がマスク初期化コードによって修正されるか、サポートされていない演算子または関数をもつ算術式で使用される場合、式は数値式に簡略化されるため調整できません。

コマンド ライン情報

パラメーター: ParameterTunabilityLossMsg
タイプ: 文字列
値: 'none' | 'warning' | 'error'
既定の設定: 'none'

推奨設定

アプリケーション設定
デバッグ影響なし
トレーサビリティ影響なし
効率性影響なし
安全対策エラー

参考

書き込み前の読み取りを検出

このタイム ステップで、モデルがデータを書き込んでいないデータ ストアからデータを読み取ろうとしたときに実行する診断アクションを選択します。

設定

既定の設定: ローカル設定を利用

ローカル設定を利用

(モデル ワークスペースで Data Store Memory ブロックまたは Simulink.Signal オブジェクトによって定義される) 各ローカル データ ストアには、ブロックによって指定された設定を使用します。(ベース ワークスペースで Simulink.Signal オブジェクトによって定義される) 各グローバル データ ストアに対しては、この診断を無効にします。

すべて無効

モデルによってアクセスされるすべてのデータ ストアに対してこの診断を無効にします。

警告としてすべて有効

MATLAB® のコマンド ラインに診断を警告として表示します。

エラーとしてすべて有効

シミュレーションを停止して、エラー ダイアログ ボックスに診断を表示します。

    メモ:   アクセラレータ モードおよびラピッド アクセラレータ モードでのモデル参照シミュレーションの最中に、[書き込み前の読み取りを検出] パラメーターが [警告としてすべて有効][エラーとしてすべて有効] または [ローカル設定を使用] に設定されている場合、Simulink はこの設定を一時的に すべて無効 に変更します。

    モデル アドバイザーを使用して、高速シミュレーションの最中に Simulink によってコンフィギュレーションがこのパラメーター設定に変更される参照モデルを特定できます。

    1. Simulink エディターで、[解析][モデル アドバイザー] を選択します。

    2. [タスク別] を選択します。

    3. [高速化されたモデル参照シミュレーション中に無視された診断設定をチェック] チェックを実行します。

コマンド ライン情報

パラメーター: ReadBeforeWriteMsg
タイプ: 文字列
値: 'UseLocalSettings' | 'DisableAll' | 'EnableAllAsWarning' | 'EnableAllAsError'
既定の設定: 'UseLocalSettings'

推奨設定

アプリケーション設定
デバッグ影響なし
トレーサビリティ影響なし
効率性影響なし
安全対策エラーとしてすべて有効

参考

読み取り後の書き込みを検出

モデルがデータ ストアからデータを読み込んだ後でこのデータ ストアに現在のタイム ステップでデータを書き込もうとしたことが検出された場合に行う診断アクションを選択します。

設定

既定の設定: ローカル設定を利用

ローカル設定を利用

(モデル ワークスペースで Data Store Memory ブロックまたは Simulink.Signal オブジェクトによって定義される) 各ローカル データ ストアには、ブロックによって指定された設定を使用します。(ベース ワークスペースで Simulink.Signal オブジェクトによって定義される) 各グローバル データ ストアに対しては、この診断を無効にします。

すべて無効

モデルによってアクセスされるすべてのデータ ストアに対してこの診断を無効にします。

警告としてすべて有効

MATLAB のコマンド ラインに診断を警告として表示します。

エラーとしてすべて有効

シミュレーションを停止して、エラー ダイアログ ボックスに診断を表示します。

    メモ:   アクセラレータ モードおよびラピッド アクセラレータ モードでのモデル参照シミュレーションの最中に、[読み取り後の書き込みを検出] パラメーターが [警告としてすべて有効][エラーとしてすべて有効] または [ローカル設定を使用] に設定されている場合、Simulink はこの設定を一時的に すべて無効 に変更します。

    モデル アドバイザーを使用して、高速シミュレーションの最中に Simulink によってコンフィギュレーションがこのパラメーター設定に変更される参照モデルを特定できます。

    1. Simulink エディターで、[解析][モデル アドバイザー] を選択します。

    2. [タスク別] を選択します。

    3. [高速化されたモデル参照シミュレーション中に無視された診断設定をチェック] チェックを実行します。

コマンド ライン情報

パラメーター: WriteAfterReadMsg
タイプ: 文字列
値: 'UseLocalSettings' | 'DisableAll' | 'EnableAllAsWarning' | 'EnableAllAsError'
既定の設定: 'UseLocalSettings'

推奨設定

アプリケーション設定
デバッグ影響なし
トレーサビリティ影響なし
効率性影響なし
安全対策エラーとしてすべて有効

参考

書き込み後の書き込みを検出

現在のタイム ステップでモデルが 2 度連続してデータ ストアにデータを書き込もうとしたことが検出された場合に行う診断アクションを選択します。

設定

既定の設定: ローカル設定を利用

ローカル設定を利用

(モデル ワークスペースで Data Store Memory ブロックまたは Simulink.Signal オブジェクトによって定義される) 各ローカル データ ストアには、ブロックによって指定された設定を使用します。(ベース ワークスペースで Simulink.Signal オブジェクトによって定義される) 各グローバル データ ストアに対しては、この診断を無効にします。

すべて無効

モデルによってアクセスされるすべてのデータ ストアに対してこの診断を無効にします。

警告としてすべて有効

MATLAB のコマンド ラインに診断を警告として表示します。

エラーとしてすべて有効

シミュレーションを停止して、エラー ダイアログ ボックスに診断を表示します。

    メモ:   アクセラレータ モードおよびラピッド アクセラレータ モードでのモデル参照シミュレーションの最中に、[書き込み後の書き込みを検出] パラメーターが [警告としてすべて有効][エラーとしてすべて有効] または [ローカル設定を使用] に設定されている場合、Simulink はこの設定を一時的に すべて無効 に変更します。

    モデル アドバイザーを使用して、高速シミュレーションの最中に Simulink によってコンフィギュレーションがこのパラメーター設定に変更される参照モデルを特定できます。

    1. Simulink エディターで、[解析][モデル アドバイザー] を選択します。

    2. [タスク別] を選択します。

    3. [高速化されたモデル参照シミュレーション中に無視された診断設定をチェック] チェックを実行します。

コマンド ライン情報

パラメーター: WriteAfterWriteMsg
タイプ: 文字列
値: 'UseLocalSettings' | 'DisableAll' | 'EnableAllAsWarning' | 'EnableAllAsError'
既定の設定: 'UseLocalSettings'

推奨設定

アプリケーション設定
デバッグ影響なし
トレーサビリティ影響なし
効率性影響なし
安全対策エラーとしてすべて有効

参考

マルチタスク データ ストア

あるタスクがデータの書き込み先として使用している 「Data Store Memory」ブロックから別のタスクがデータを読み取っているときに行う診断アクションを選択します。

設定

既定の設定: 警告

なし

Simulink ソフトウェアはいかなるアクションも実行しません。

警告

Simulink ソフトウェアが警告を表示します。

エラー

Simulink ソフトウェアはシミュレーションを終了し、エラー メッセージを表示します。

ヒント

  • この状況が安全なのは、一方のタスクが他方のタスクを中断できない場合だけです。たとえば、データ ストアがスカラーであり、このストアを更新するためのアトミック コピー操作が書き込みタスクで使用される場合、またはタスクが相互に阻止し合うことがターゲットによって許可されていない場合などがこれに相当します。

  • タスクが相互に阻止し合うのを防ぐ周期的スケジューラーがアプリケーションで使用されている場合など、タスクの中断がないことがアプリケーションによって保証されている場合にのみ、この診断を無効 (none に設定する) にしてください。

コマンド ライン情報

パラメーター: MultiTaskDSMMsg
タイプ: 文字列
値: 'none' | 'warning' | 'error'
既定の設定: 'warning'

推奨設定

アプリケーション設定
デバッグ影響なし
トレーサビリティ影響なし
効率性影響なし
安全対策エラー

参考

データ ストア名の重複

同じ名前の複数のデータ ストアがモデルに含まれているときに行う診断アクションを選択します。データ ストアの定義には、「Data Store Memory」 ブロックまたは Simulink.Signal オブジェクトを使用できます。

設定

既定の設定: なし

なし

Simulink ソフトウェアはいかなるアクションも実行しません。

警告

Simulink ソフトウェアが警告を表示します。

エラー

Simulink ソフトウェアはシミュレーションを終了し、エラー メッセージを表示します。

ヒント

この診断を使用すると、下位のデータ ストアが同じ名前の上位のデータ ストアの優先順位を予期せず低くしている場合に発生するエラーを検出できます。

コマンド ライン情報

パラメーター: UniqueDataStoreMsg
タイプ: 文字列
値: 'none' | 'warning' | 'error'
既定の設定: 'none'

推奨設定

アプリケーション設定
デバッグ影響なし
トレーサビリティ影響なし
効率性影響なし
安全対策影響なし

参考

この情報は役に立ちましたか?