このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
Signal Routing
hisl_0013: データ ストア メモリの使用方法
ID: タイトル | hisl_0013: データ ストア メモリの使用方法 | ||
---|---|---|---|
説明 | データ ストア メモリを使用するときは、データ ストア メモリの以下のモデル コンフィギュレーション パラメーターを
| ||
メモ | 可能な限り、データの通信にはデータ ストア メモリではなく入力信号と出力信号を使用します。システム境界をまたぐデータの通信にデータ ストア メモリのブロックを使用すると、予期しない結果が生じることがあります。 Simulink® Design Verifier™ ライセンスがある場合は、モデル内のデータ ストア メモリ アクセス違反を静的に検出できます。Design Verifier のモデル コンフィギュレーション パラメーター [データ ストアのアクセス違反] を選択します。詳細については、モデルでのデータ ストアのアクセス違反の検出 (Simulink Design Verifier)を参照してください。 | ||
根拠 | データ ストア メモリ通信によって Simulink 信号のセマンティクスが無効になる場所の特定にはシミュレーション診断が役立ちます。 | ||
モデル アドバイザー チェック | Check safety-related diagnostic settings for data store memory (Simulink Check) | ||
参考文献 |
| ||
最終更新 | R2023a | ||
例 |
|
hisl_0015: Merge ブロックの使用方法
ID: タイトル | hisl_0015: Merge ブロックの使用方法 | ||
---|---|---|---|
説明 | Merge ブロックの明確な動作をサポートするには、以下に従ってください。 | ||
A | Merge ブロックを条件付き実行サブシステムでのみ使用する。 | ||
B | 1 つのサブシステムのみがタイム ステップ中に実行されるように、条件付き実行サブシステムの実行を指定する。 | ||
C | ブロック パラメーター [異なる端子幅を許可] をクリアする。 | ||
D | マージ対象の各条件付き実行サブシステムに対して Outport ブロックの [ディセーブル時の出力] パラメーターを [保持] に設定します。 | ||
メモ | Simulink では、Merge ブロックの入力が 1 つの出力に結合されます。どの時点の出力値も、Merge ブロックを駆動するブロックの最新の計算出力と等しくなります。したがって、Merge ブロックの出力は入力計算の実行順序に依存します。 Merge ブロック出力の予測可能な動作を提供するには、Merge ブロックに接続する条件付き実行サブシステム間の相互排他がなければなりません。 Merge ブロック パラメーター [異なる端子幅を許可] はコンフィギュレーション パラメーター [指定不足の初期化の検出] が | ||
前提条件 | |||
根拠 | A、B、C、D | あいまいな動作を避ける。 | |
モデル アドバイザー チェック | Check usage of Merge blocks (Simulink Check) | ||
参考文献 |
| ||
参考 | Simulink ドキュメンテーションの Merge ブロック | ||
最終更新 | R2018b | ||
例 |
推奨 | ||
非推奨 |
hisl_0021: 一貫したベクトル インデックス方法
ID: タイトル | hisl_0021: 一貫したベクトル インデックス方法 | ||
---|---|---|---|
説明 | モデル内で、以下を使用してください。 | ||
A | 一貫したベクトル インデックス方法 設定可能なインデックスをサポートします。
1 ベースのインデックスのみをサポートします。
0 ベースのインデックスのみをサポートします。
| ||
根拠 | A | 整合性のないインデックス作成によるエラー発生のリスクを減らす。 | |
モデル アドバイザー チェック | Check for inconsistent vector indexing methods (Simulink Check) | ||
参考文献 |
| ||
参考 | cgsl_0101: 0 ベースのインデックス | ||
最終更新 | R2019a |
hisl_0022: インデックス信号のデータ型の選択
ID: タイトル | hisl_0022: インデックス信号のデータ型の選択 | ||
---|---|---|---|
説明 | インデックス信号には、以下のデータ型を使用します。 | ||
A | 整数データ型または列挙データ型 | ||
B | インデックス値の範囲をカバーするデータ型。 | ||
信号インデックスを使用するブロックは以下のとおりです。
| |||
根拠 | A | 浮動小数点データ型の丸め処理で起こり得る予期しない結果を防ぐ。 | |
B | ベクトル内のデータへのアクセスを有効にする。 | ||
モデル アドバイザー チェック | Check data types for blocks with index signals (Simulink Check) | ||
参考文献 |
| ||
最終更新 | R2021b |
hisl_0023: バリアント ブロックの検証
ID: タイトル | hisl_0023: バリアント ブロックの検証 | ||
---|---|---|---|
説明 | モデルと生成コードとの整合性を検証する場合は、以下を行います。 | ||
A | Variant ブロックごとに、[バリアントのアクティベーションのタイミング] を [ブロック線図の更新] または [ブロック線図の更新時にすべての選択肢を解析] に設定する。 | ||
根拠 | A | コード ベースを 1 つのバリアントに制限して、モデルと生成コード間の整合性テストを簡略化する。 | |
モデル アドバイザー チェック | Check usage of variant blocks (Simulink Check) | ||
参考文献 |
| ||
最終更新 | R2021b | ||
参考 | Variant Subsystem, Variant Model, Variant Assembly Subsystem |
hisl_0034: Signal Routing ブロックの使用方法
ID: タイトル | hisl_0034: Signal Routing ブロックの使用方法 | |
---|---|---|
説明 | Switch ブロックを使用している場合、浮動小数点データ型に | |
メモ | 浮動小数点の精度に問題があるため、浮動小数点式の不等価 (
| |
根拠 | モデルのロバスト性を向上させる。 | |
モデル アドバイザー チェック | Check usage of Signal Routing blocks (Simulink Check) | |
参考文献 |
| |
最終更新 | R2021a | |
例 | 非推奨 推奨 |