Stateflow 端子名と、それに関連する信号をチェック

チェック ID: mathworks.maab.db_0123

ガイドライン: db_0123: Stateflow の端子名

• MAB v6.0

説明

Stateflow^® の端子と、関連付けられた信号名との間の不一致をチェックします。

Stateflow の入力および出力の名前は、対応する信号と同じである必要があります。

Simulink^® Check™ で使用できます。

このチェックには Stateflow ライセンスが必要です。

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

このモデル アドバイザー チェックは、JMAAB モデリング ガイドラインには適用されません。

このチェックにはサブチェックは含まれていません。

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

• NA-MAAB — a

• JMAAB — サポートなし

結果と推奨アクション

条件	推奨アクション
信号の名前が、対応する Stateflow の端子と異なっている。	信号または Stateflow の端子のいずれかの名前を変更します。

機能および制限事項

• ライブラリ内の再利用可能な Stateflow チャートに対する名前の不一致にはフラグを付けません。

• ライブラリ モデルでは動作しません。

• ライブラリにリンクされたブロックの内容は解析しません。

• すべてのマスク サブシステムの内容を解析します。

• ブロックおよびチャートの対象外指定が許容されます。ライブラリにリンクされたチャートに対しては、対象外指定は機能しません。