Stateflow チャート内で未使用のデータをチェック

チェック ID: mathworks.jmaab.jc_0700

ガイドライン: jc_0700: Stateflow^® ブロックにおける未使用のデータ

• MAB v6.0

• JMAAB v5.1

• JMAAB v6.0

説明

パラメーター [未使用のデータ、イベント、メッセージおよび関数] が [なし] に設定されているかどうかを特定します。未使用のデータおよびイベントは Stateflow ブロック内に存在できません。

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

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

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

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

• NA-MAAB — a

• JMAAB — a

結果と推奨アクション

条件	推奨アクション
Stateflow ブロックで、パラメーター [未使用のデータ、イベント、メッセージおよび関数] が [なし] に設定されている。	パラメーターを [警告] または [エラー] のいずれかに設定します。

機能および制限事項

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

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