Stateflow チャートにおけるポインターをチェック

チェック ID: mathworks.maab.jm_0011

ガイドライン: jm_0011: Stateflow® のポインター

説明

Stateflow チャートではポインターは許可されていません。

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

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

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

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

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

  • NA-MAAB — a

  • JMAAB — a

結果と推奨アクション

条件推奨アクション
Stateflow チャートでポインター操作が使用されている。指定されたチャートを変更して、ポインター操作への依存関係を削除します。

機能および制限事項

  • C をアクション言語として使用する Stateflow チャートにのみ適用されます。

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

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

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

  • ブロックおよびチャートの対象外指定が許容されます。

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