Stateflow ステート名、データ名、およびイベント名の一意性をチェック

チェック ID: mathworks.jmaab.jc_0732

ガイドライン: jc_0732: ステート名/データ名/イベント名の区別

• MAB v6.0

• JMAAB v5.1

• JMAAB v6.0

説明

1 つの Stateflow チャート内で、Stateflow^® データ名、Stateflow ステート名、および Stateflow イベント名が重複していないかをチェックします。

Stateflow ステートには以下のものがあります。

• Atomic Subchart

• State

• Simulink State

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

チェックのパラメーター化

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

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

• NA-MAAB — a

• JMAAB — a

結果と推奨アクション

条件	推奨アクション
1 つの Stateflow チャート内で、Stateflow データ、Stateflow ステート、および Stateflow イベントに同じ名前が使用されている。	Stateflow データ、Stateflow ステート、および Stateflow イベントの名前を変更し、別々の名前になるようにします。

機能および制限事項

• ライブラリ モデルで実行されます。

• ライブラリにリンクされたブロックの内容を解析します。既定では、入力パラメーター [リンクに従う] は [オン] に設定されます。

• マスク サブシステムの内容を解析します。既定では、入力パラメーター [マスク内を表示] は [グラフィカル] に設定されます。

• チャートの対象外指定が許容されます。

• Truth Table (Stateflow) ブロックと Stateflow 遷移表はサポートされていません。