信号名の伝播をチェック
チェック ID: mathworks.jmaab_v6.jc_0009
ガイドライン: jc_0009: 信号名の伝播表示
説明
信号線上の伝播ラベルをチェックします。
信号のソースが以下の場合、信号ラベルを明示的に (手動で) 入力するのではなく、ソースから信号ラベルを伝播します。
入れ子にされたサブシステム内の Inport ブロック。ただし、入れ子にされたサブシステムがライブラリ サブシステムである場合、ライブラリ ブロックの再利用に対応するために、Inport ブロックからの信号に明示的にラベルを付けることができます。
変換されない演算を実行する基本ブロック。
サブシステムまたは Stateflow® Chart ブロック。ただし、接続元がライブラリ ブロックのインスタンスの出力である場合、ライブラリ ブロックの再利用に対応するために、信号に明示的にラベルを付けることができます。
このチェックには Simulink® Check™ ライセンスが必要です。
チェックのパラメーター化
このチェックには、MAB および JMAAB モデリング ガイドラインで指定されているサブ ID に対応するサブチェックが含まれています。モデル アドバイザー構成エディターを使用して、実行するサブ ID (1 つ以上) を指定できます。
参考として、NA-MAAB および JMAAB モデリング標準組織で使用が推奨されている MAB ガイドライン サブ ID は以下のとおりです。
NA-MAAB — a、b、c
JMAAB — a、b、c
結果と推奨アクション
| ガイドライン サブ ID | 条件 | 推奨アクション |
|---|---|---|
| jc_0009_a: サブシステムの信号名の伝播をチェック | モデルに、伝播信号ラベルのないサブシステムが含まれている。 | 信号の [伝播信号の表示] パラメーターを選択して信号伝播を有効にします。 |
| jc_0009_b: 接続ブロックの信号名の伝播をチェック | ソース ブロックにラベルがある場合でも、モデル内の 1 つ以上の接続ブロックで信号が伝播されない。 | 信号の [伝播信号の表示] パラメーターを選択して信号伝播を有効にします。 |
| jc_0009_c: 空の信号伝播をチェック | モデル内の 1 つ以上のサブシステムまたは接続ブロックで、空の伝播信号が表示される。 | 信号の [伝播信号の表示] パラメーターの選択を解除して、信号伝播を無効にします。 |
機能および制限事項
ライブラリ モデルでは動作しません。
グローバル設定は考慮されません。そのため、信号ごとに信号伝播を設定する必要があります。
信号伝播がない信号線が強調表示されます。
マスク サブシステムの内容を解析します。既定では、入力パラメーター [マスク内を表示] は
[グラフィカル]に設定されます。ライブラリにリンクされたブロックの内容を解析します。既定では、入力パラメーター [リンクに従う] は
[オン]に設定されます。ブロックの対象外指定が許容されます。
編集時チェック
このチェックは編集時チェックでサポートされます。
