モデル コンフィギュレーション パラメーター: Stateflow 診断
[診断] 、 [Stateflow] カテゴリには、Stateflow® チャートに関連する問題を検出するためのパラメーターが含まれます。
パラメーター | 説明 |
---|---|
チャート内で未使用のデータ、イベントおよびメッセージを検出したときに行う診断アクションを選択します。未使用のデータ、イベントおよびメッセージを削除すると、モデルのサイズを最小化できます。 | |
チャート ジャンクションが次の両方の状況に該当する場合に行う診断アクションを選択します。ジャンクションは次のとおりです。
| |
チャートが次の場合に行う診断アクションを選択します。
| |
チャートにステートへの無条件のデフォルト遷移がない場合に行う診断アクションを選択します。 | |
チャートに親ステートまたはジャンクションの外部でループする遷移が含まれる場合に行う診断アクションを選択します。 | |
チャートに無向ローカル イベント ブロードキャストが含まれる場合に実行する診断アクションを選択します。 | |
複数の遷移セグメントが存在する遷移パスにおいて、条件アクションの前に遷移アクションが実行される場合の診断アクションを選択します。 | |
Moore チャートにおいて前の出力値を使用して現在の状態を決定している場合に行う診断アクションを選択します。 | |
状態または遷移の絶対時間演算子が Stateflow ブロックのサンプル時間よりも短い時間値を使用している場合に実行する診断アクションを選択します。 | |
リーフ ステートでの自己遷移を削除できるときに実行する診断アクションを選択します。 | |
初期化時に実行されていないトリガーまたは有効なチャートを Stateflow が検出したときに実行する診断アクションを選択します。 | |
チャート構造が無効な実行パス上にある場合に実行する診断アクションを選択します。 |