jc_0741: ステート チャートの遷移条件に使用するデータの更新タイミング

該当ガイドライン

Control Algorithm Modeling Guidelines - Using MATLAB®, Simulink®, and Stateflow®

サブ ID 推奨事項

  • NA-MAAB — 推奨事項なし

  • JMAAB — a1、a2、b

MATLAB バージョン

すべて

ルール

サブ ID a1

ステート遷移条件で使用される変数は、更新を実行するためにステート アクション du を使用しません。

カスタム パラメーター

該当なし

例外

このルールは、遷移元があるステート チャートへの書き込みにのみ適用されます。更新は、パラレル ステートおよびチャート外では禁止されていません。

例 — 正

例 — 正 (例外の場合)

例 — 誤

更新の実行にステート アクション du が使用されています。

サブ ID a2

ステート遷移条件で使用される変数は、更新を実行するためにステート アクション du を使用します。

カスタム パラメーター

該当なし

例外

このルールは、遷移元があるステート チャートへの書き込みにのみ適用されます。更新は、パラレル ステートおよびチャート外では禁止されていません。

例 — 正

更新の実行にステート アクション du が使用されています。

例 — 正 (例外の場合)

例 — 誤

サブ ID b

遷移条件で参照されるデータがその遷移元ステートとして du に更新された場合、定数とパラメーターを除き、更新されたデータと更新されていないデータを同じ遷移条件内で混在させることは禁止されています。

カスタム パラメーター

該当なし

例 — 正

例 — 誤

更新の実行にステート アクション du が使用されています。ステート アクション du(b) で更新されるデータと、更新されないデータ in2 が混在しています。

根拠

サブ ID a1:

  • 遷移条件の実行順序と during の実装を把握するのが難しくなり、エラーのリスクが高まります。

検証

モデル アドバイザー チェック: Check updates to variables used in state transition conditions (Simulink Check)

最終更新

R2024b

バージョン履歴

R2020a で導入