Main Content

信号路由

hisl_0013: Data Store ブロックの使用方法

ID:タイトル hisl_0013: Data Store ブロックの使用方法
说明 data Store Memory数据存储读取数据存储写入数据存储ブロックブロックの时に,异なるや异モデルを通じて确定确定的的な动作をサポートするするには,,,以下以下以下

[コンフィギュレーション パラメーター] ダイアログの[診断][データ]ペインで,のdata Store Memoryパラメーターをerrorに设定し。

  • 書き込み前の読み取りを検出

  • 読み取り后のを検出

  • 书き込み后のを検出

  • マルチタスクデータストア

  • データストア名重复

メモ:

数据存储内存ブロックブロックと,ソフトウェア検证作业大きな影响影响与えるがありありますます。。。入力とと出力出力端子端子のみををを使用してててデータデータデータををを渡すモデルおよびおよびサブシステムシステムシステム可能なを提供し。。

異なるレートおよびタスク間で確定的なデータ転送を行うには、数据存储写入ブロックの前または数据存储读取ブロックの後に、费率转换ブロックを使用ます。

诊断に加え,金宝app®design Verifier™を使用すると、モデル内のデータ ストア メモリ アクセス違反をより正確に検出できます。これを行うには、[Design Verifier]タブの[设定]を選択します。[コンフィギュレーション パラメーター] ダイアログ ボックスの[Design Verifier][设计エラー]ペインで,[データ ストアのアクセス違反]を選択します。詳細については、モデルでのデータ ストアのアクセス違反の検出(金宝appSimulink设计验证者)を参照しください。金宝appSimulink设计验证者のライセンスが必要です。

根拠

异なるサンプルまたは一贯性のある値をサポートする。

意図しないデータの破損を防止します。

モデル アドバイザー チェック 检查与安全有关的诊断设置数据存储记忆(Simulink Check)
参考文献
  • IEC 61508-3,表A.3(3)“语言子集”
    IEC 61508-3, Table A.4 (3) 'Defensive programming’

  • IEC 62304,5.5.3-软件单位接受标准

  • ISO 26262-6, Table 1 (1b) 'Use of language subsets'
    ISO 26262-6,表1(1D)“使用防御性实施技术”

  • EN 50128,表A.4(11)“语言子集”
    EN 50128,表A.3(1)“防御编程”

  • DO-331,MB.6.3.3.b节“软件体系结构一致”

最终更新 R2020B

次の例では、费率转换ブロックをて异なるレートタスク间确定的データ転送を提供します。

高速から低速への遷移:

低速サンプル时间速度を费率转换ブロックまたは数据存储写入ブロックで设定ます。

数据存储读取ブロックの後に费率转换にブロック配置しない。。

低速からへ迁移:

费率转换ブロックが数据存储读取ブロックのにある场合,,数据存储读取ブロックで低速を指定します。

费率转换ブロックが数据存储写入ブロックのあるは,ブロックに时间を使用し。。

HISL_0015:合并ブロックの方法方法

ID:タイトル HISL_0015:合并ブロックの方法方法
说明

合并ブロックの明確な動作をサポートするには、以下に従ってください。

一个

合并ブロックを付きサブでのみのみ。。

b

1つサブがタイム中実行れるよう,条件付き実行サブサブシステムのするするするする

C

ブロックパラメーター[异なる端子を]をクリアする。

d マージ対象各条件実行サブシステムに対してOutportブロックの[ディセーブル时]パラメーターを[保持]に设定し。
メモ:

金宝app仿真软件では,合并1つのがつの出力结合され。时点の出力もも,合并ブロックをブロック最新の计算出力なります。したがっ,,合并ブロックの出力は入力計算の実行順序に依存します。

合并ブロック出力の予測可能な動作を提供するには、合并ブロックに条件付きサブシステム间相互がなければなりません。

合并ブロックパラメーター[异なる端子を]はコンフィギュレーション パラメーター[指定不足の初期化の検出]经典的に设定れいる场合のみ利用でき。。

前提条件

hisl_0303: [コンフィギュレーション パラメーター]、[診断]、[Merge ブロック]

hisl_0304: [コンフィギュレーション パラメーター]、[診断]、[モデルの初期化]

根拠 一个,b,C,d 明确な动作避ける。
モデル アドバイザー チェック 检查合并块的用法(Simulink Check)
参考文献
  • IEC 61508-3,表A.3(3)“语言子集”
    IEC 61508-3, Table A.4 (3) 'Defensive programming’

  • IEC 62304,5.5.3-软件单位接受标准

  • ISO 26262-6,表1(b)“语言子集使用”
    ISO 26262-6,表1(d)“使用防御性实施技术”

  • EN 50128,表A.4(11)“语言子集”
    EN 50128,表A.3(1)“防御编程”

  • DO-331,MB.6.3.3.b节“软件体系结构一致”

参考

金宝appSimulinkドキュメンテーションの合并ブロック

最终更新 R2018b

推奨

非推奨

hisl_0021: 一貫したベクトル インデックス方法

ID:タイトル hisl_0021: 一貫したベクトル インデックス方法
说明 モデル内,を使用して。。
一个

一贯したインデックス方法

设定可能インデックスをサポート。。

1 ベースのインデックスのみをサポートします。

0ベースののみをし。。。

  • cアクション言语するするする状态流チャート

  • Cアクション言語を使用する真理値表関数

根拠 一个 整合性インデックス作成エラー発生のを。。。
モデル アドバイザー チェック 检查不一致的矢量索引方法(Simulink Check)
参考文献
  • IEC 61508–3,表A.3(3)“语言子集”
    IEC 61508–3,表A.4(5)“设计和编码标准”

  • IEC 62304,5.5.3-软件单位接受标准

  • ISO 26262-6, Table 1 (1b) 'Use of language subsets'
    ISO 26262-6, Table 1 (1e) 'Use of well-trusted design principles'
    ISO 26262-6,表1(1F)“使用明确的图形表示”
    ISO 26262-6,表1(1G)“使用样式指南”

  • EN 50128,表A.4(11)“语言子集”
    EN 50128,表A.12(1)“编码标准”

  • DO-331,MB.6.3.2.b节“低级要求是准确且一致的”

参考 cgsl_0101: 0 ベースのインデックス
最终更新 R2019a

hisl_0022: インデックス信号のデータ型の選択

ID:タイトル hisl_0022: インデックス信号のデータ型の選択
说明 インデックス信号には、以下のデータ型を使用します。
一个 整数データ型または列挙データ型
b インデックス値の範囲をカバーするデータ型。

信号インデックスを使用するブロックは以下のとおりです。

  • 任务

  • 直接查找表(N-D)

  • 索引向量

  • 使用预插条插值

  • MATLAB®Function

  • Multiport Switch

  • 选择器

  • 状态流®チャート

根拠 一个 浮動小数点データ型の丸め処理で起こり得る予期しない結果を防ぐ。
b ベクトル内データのアクセス有效にする。
モデル アドバイザー チェック 检查具有索引信号的块数据类型(Simulink Check)
参考文献
  • IEC 61508–3,表A.3(2)“强烈键入编程语言”
    IEC 61508–3,表A.4(3)“防御编程”

  • IEC 62304,5.5.3-软件单位接受标准

  • ISO 26262-6, Table 1 (1b) 'Use of language subsets'
    ISO 26262-6,表1(1C)“强执行强键入”
    ISO 26262-6,表1(1D)“使用防御性实施技术”

  • EN 50128,表A.4(8)“强烈键入编程语言”
    EN 50128,表A.3(1)“防御编程”

  • DO-331,MB.6.3.2.g节 - '算法是准确的'

  • FLP30-C. Do not use floating-point variables as loop counters

最终更新 R2021b

hisl_0023:バリアントバリアントの検证

ID:タイトル hisl_0023:バリアントバリアントの検证
说明 モデルとと整合性を検证は,以下を行い。
一个 变体ブロックごとに、[バリアントのの][ブロック线図]または[ブロック線図の更新時にすべての選択肢を解析]に設定する。
根拠 一个 1つのつのバリアント制限てモデルとコードのの整合性テストをを简略化化。
モデル アドバイザー チェック 检查变体块的用法(Simulink Check)
参考文献
  • dO-331, Section MB.6.3.3.b – Software architecture is consistent

  • IEC 61508–3, Table A.4 (7) 'Use of trusted / verified software modules and components'

最终更新 R2021b
参考 变体子系统,变体模型

HISL_0034:信号路由ブロックブロック方法方法

ID:タイトル HISL_0034:信号路由ブロックブロック方法方法
说明

转变ブロックを使用している場合、浮動小数点データ型に~=演算子をする比较を。。

メモ

浮動小数点の精度に問題があるため、浮動小数点式の不等価 (~=)をテストないでください。

~=演算子关系演算子をするする转变ブロックがモデルに含まれている場合は、ブロックへの入力を single、double、または浮動小数点型のカスタム ストレージ クラスにすることはできません。入力信号のデータ型を変更するか、转变ブロック内で~=演算子をしようにを作り直してください。

根拠

モデルのロバスト性を向上させる。

モデル アドバイザー チェック 检查信号路由块的使用情况(Simulink Check)
参考文献
  • dO-331, Sections MB.6.3.2.g 'Algorithms are accurate'

  • IEC 61508-3,表A.3(3) - “语言子集”
    表A.4(3) - “防御性编程”

  • IEC 62304,5.5.3-“软件单位接受标准”

  • ISO 26262-6,表1(1b) - “使用语言子集”
    表1(1D) - “使用防御性实施技术”

  • EN 50128,表A.4(11) - “语言子集”
    表A.3(1) - “防御性编程”

  • Misra C:2012,Dir 1.1

最终更新 R2021A

非推奨

推奨