診断- MATLAB & S金宝appimulink - MathWorks日本 - 金宝app,下载188bet金宝搏,金宝搏官方网站

診断

Hisl_0036:[コンフィギュレ，ションパラメ，タ，]，[診断]，[保存]

Id:タleiトル	Hisl_0036:[コンフィギュレ，ションパラメ，タ，]，[診断]，[保存]
説明	次のコンフィギュレ，ションパラメ，タ，を`错误`に設定します。ブロック線図は無効化されたラ@ @ブラリリンクを含んでいますブロック線図はパラメタ付きのラブラリリンクを含んでいます
根拠	予期しない結果を防止する。
モデルアドバ▪▪ザ▪▪チェック	检查安全相关的诊断设置，以便保存(金宝app仿真软件检查)
参考文献	DO-331, MB.6.3.3节。b“软件架构是一致的” IEC 61508-3，表A.3 (3)的语言子集 IEC 62304, 5.5.3 -软件单元验收标准 ISO 26262-6，表1 (1b)“语言子集的使用” ISO 26262-6，表1 (1f)“使用明确的图形表示” EN 50128，表A.4 (11)的语言子集
参考	モデルコンフィギュレ，ションパラメ，タ，:診断
最終更新	R2021a

Hisl_0043:[コンフィギュレ，ションパラメ，タ，]，[診断]，[ソルバ，]

Id:タleiトル Hisl_0043:[コンフィギュレ，ションパラメ，タ，]，[診断]，[ソルバ，]

説明

[コンフィギュレションパラメタ]ダアログボックスの[診断]ペ电子邮箱ンで，[ソルバ]パラメ，タ，を次のように設定します。

[代数ル，プ]を[エラ]にする。
[代数ル，プの発生の最小化]を[エラ]にする。
ブロックの優先順位を使用している場合は，[ブロック優先順位違反]を[エラ]にする。
[自動ソルバ，パラメ，タ，の選択]を[エラ]にする。
[状態名の衝突]を[警告]にする。

メモ:

ソルバに関連する診断を有効にすると，他のガドランの違反を検出するための情報が提供されます。

次の表では,コンフィギュレーションパラメーターを上で示したように指定しない場合の結果について説明しています。

コンフィギュレションパラメタ	結果
代数ル，プ	代数ル，プの自動中断が検出されず，予測不可能なブロック実行順序となる可能性がある。
代数ル，プの最小化	代数ル，プの自動中断が検出されず，予測不可能なブロック実行順序となる可能性がある。
ブロック優先順位違反	ブロックの実行順序には未検出の競合が含まれていることがあり,予測不可能なブロック実行順序となる可能性がある。
自動ソルバ，パラメ，タ，の選択	ソルバー,ステップサイズまたはシミュレーション終了時間の自動変更が検出されず,生成コードの演算に影響を与える可能性がある。
状態名の衝突	1を超える状態に使用されている名前が検出されない可能性がある。

根拠ロバストで明確なコ，ドの生成をサポ，トする。

モデルアドバ▪▪ザ▪▪チェック检查解算器的安全相关诊断设置(金宝app仿真软件检查)

参考文献

DO-331, MB.6.3.3节。b -软件架构一致。
- 331, MB.6.3.3。e“软件架构符合标准”
IEC 61508-3，表A.3 (3)的语言子集
IEC 62304, 5.5.3 -软件单元验收标准
ISO 26262-6，表1 (1b)“语言子集的使用”
EN 50128，表A.4 (11)的语言子集

参考

金宝app^®ドキュメンテ，ションのモデルコンフィギュレ，ションパラメ，タ，:診断
金宝appSimulinkドキュメンテ，ションのJc_0021:診断パラメ，タ，設定

最終更新 R2018b

Hisl_0044:[コンフィギュレ，ションパラメ，タ，]，[診断]，[サンプル時間]

Id:タleiトル Hisl_0044:[コンフィギュレ，ションパラメ，タ，]，[診断]，[サンプル時間]

説明

[コンフィギュレションパラメタ]ダアログボックスの[診断]、[サンプル時間]ペンで，次のパラメタを[エラ]に設定します。

優先順位が等しいタスク間のプリエンプションがタ，ゲットシステムで許可されない場合は，同じ優先順位をもタスクを[なし]に設定します。

メモ

ソルバに関連する診断を有効にすると，他のガドランの違反を検出するための情報が提供されます。

次の表では,コンフィギュレーションパラメーターを上で示したように指定しない場合の結果について説明しています。

コンフィギュレションパラメタ	結果
-1のサンプル時間が指定されたソスブロック	正弦波のようなソースブロックの継承サンプル時間の使用が検出されず,ソースブロックと下流ブロックの実行速度が予測不能になる可能性がある。
マルチタスクデ，タ転送	マルチタスクモードで動作している2つのブロック間の無効なデータ転送が検出されない可能性がある。組み込みリアルタムソフトウェアアプリケションには，無効なデタ転送を使用できない。
シングルタスクデ，タ転送	シングルタスクモドで動作している2のブロック間のデタ転送が検出されない可能性がある。組み込みリアルタイムソフトウェアアプリケーションには,シングルタスクデータ転送を使用できない。
マルチタスクの条件付き実行サブシステム	マルチタスクモードで動作している条件付き実行マルチレートサブシステムが検出されず,プリエンプションを許可するターゲットシステムでデータ破損や予想外の動作が発生する可能性がある。
同じ優先順位をもタスク	優先順位が同じ2つの非同期タスクが検出されず,プリエンプションを許可するターゲットシステムで予想外の動作が発生する可能性がある。
信号规范ブロックで指定されたサンプル時間にする	信号规范ブロックとその接続先ブロックの整合性のないサンプル時間が検出されず,実行速度が予測不能になる可能性がある。
指定のないサンプル時間の継承	サンプル時間の継承が明示的に設定されていないs函数は検出されず,予期しない動作が発生する可能性がある。

根拠一个ロバストで明確なコ，ドの生成をサポ，トする。

モデルアドバ▪▪ザ▪▪チェック检查取样时间的安全相关诊断设置(金宝app仿真软件检查)

参考文献

DO-331, MB.6.3.1节。b“高层次的需求是准确和一致的”
DO-331, MB.6.3.2节。b“低层次需求准确且一致”
DO-331, MB.6.3.3节。b“软件架构是一致的”
DO-331, MB.6.3.3节。e -软件架构符合标准。
IEC 61508-3，表A.3 (3)的语言子集
IEC 62304, 5.5.3 -软件单元验收标准
ISO 26262-6，表1 (1b)“语言子集的使用”
ISO 26262-6，表1 (1f)“使用明确的图形表示”
EN 50128，表A.4 (11)的语言子集

参考モデルコンフィギュレ，ションパラメ，タ，:サンプル時間の診断

最終更新 R2017b

Hisl_0301:[コンフィギュレ，ションパラメ，タ，]，[診断]，[互換性]

Id:タleiトル	Hisl_0301:[コンフィギュレ，ションパラメ，タ，]，[診断]，[互換性]
説明	コンフィギュレションパラメタ[アップグレ，ドの必要なS-function]を`[エラ]`に設定します。
根拠	設計のロバスト性を向上させる。
モデルアドバ▪▪ザ▪▪チェック	检查与安全相关的诊断设置以确保兼容性(金宝app仿真软件检查)
参考文献	DO-331, MB.6.3.3节。b -软件架构一致 IEC 61508-3，表A.4 (3)“防御性编程” IEC 62304, 5.5.3 -软件单元验收标准 ISO 26262-6，表1 (1b)“语言子集的使用” ISO 26262-6，表1 (1d)“使用防御性实现技术” EN 50128，表A.3 (1)“防御性编程”
参考	金宝appSimulinkドキュメンテ，ションのモデルコンフィギュレ，ションパラメ，タ，:互換性診断
最終更新	R2017b

hisl_0302:(コンフィギュレーションパラメーター],[診断],[データ有効性]、[パラメーター]

Id:タleiトル	hisl_0302:(コンフィギュレーションパラメーター],[診断],[データ有効性]、[パラメーター]
説明	[コンフィギュレションパラメタ]ダアログボックスの[診断]、[デ，タ有効性]ペ电子邮箱ンで，[パラメ，タ，]パラメ，タ，を次のように設定します。 [ダウンキャストの検出]を`[エラ]`にする [アンダ，フロ，の検出]を`[エラ]`にする [調整可能性の消失を検出]を`[エラ]`にする [オ，バ，フロ，の検出]を`[エラ]`にする [桁落の検出]を`[エラ]`にする
根拠	設計のロバスト性を向上させる。
モデルアドバ▪▪ザ▪▪チェック	检查参数的安全相关诊断设置(金宝app仿真软件检查)
参考文献	DO-331, MB.6.3.1节。g -算法准确 DO-331, MB.6.3.2节。g -算法准确。 IEC 61508-3，表A.4 (3)“防御性编程” IEC 62304, 5.5.3 -软件单元验收标准 ISO 26262-6，表1 (1b)“语言子集的使用” ISO 26262-6，表1 (1d)“使用防御性实现技术” EN 50128，表A.3 (1)“防御性编程”
参考	金宝appSimulinkドキュメンテ，ションのモデルコンフィギュレ，ションパラメ，タ，:デ，タ有効性の診断
最終更新	R2018b

hisl_0303:(コンフィギュレーションパラメーター],[診断],[データ有効性],[合并块]

Id:タleiトル	hisl_0303:(コンフィギュレーションパラメーター],[診断],[データ有効性],[合并块]
説明	コンフィギュレションパラメタ[同じタ电子邮箱ムステップで実行する複数の駆動ブロックを検出]を`[エラ]`に設定します。
根拠	設計のロバスト性を向上させる。
モデルアドバ▪▪ザ▪▪チェック	检查合并块的安全相关诊断设置(金宝app仿真软件检查)
参考文献	6.3.2 (b)准确性和一致性 IEC 61508-3，表A.3(3) -语言子集 IEC 62304, 5.5.3 -软件单元验收标准 ISO 26262-6，表1 (1b) -语言子集的使用 EN 50128，表A.4(11) -语言子集
参考	金宝appSimulinkドキュメンテ，ションの同じタ@ @ムステップで実行する複数の駆動ブロックを検出
最終更新	R2017b

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

Id:タleiトル	hisl_0304:(コンフィギュレーションパラメーター],[診断],[データ有効性]、[モデルの初期化)
説明	コンフィギュレションパラメタ[指定不足の初期化の検出]を`[簡易]`に設定します。
根拠	設計のロバスト性を向上させる。
モデルアドバ▪▪ザ▪▪チェック	检查与模型初始化相关的安全诊断设置(金宝app仿真软件检查)
参考文献	DO-331, MB.6.3.3节。b -软件架构一致 IEC 61508-3，表A.3(3) -语言子集 IEC 62304, 5.5.3 -软件单元验收标准 ISO 26262-6，表1 (1b) -语言子集的使用 EN 50128，表A.4(11) -语言子集 MISRA C:2012，规则9.1
参考	金宝appSimulinkドキュメンテ，ションの指定不足の初期化の検出
最終更新	R2017b

hisl_0305:(コンフィギュレーションパラメーター],[診断],[データ有効性]、[デバッグ]

Id:タleiトル	hisl_0305:(コンフィギュレーションパラメーター],[診断],[データ有効性]、[デバッグ]
説明	コンフィギュレションパラメタ【模型验证ブロックを有効にする】を`[すべて無効]`に設定します。
根拠	設計のロバスト性を向上させる。
モデルアドバ▪▪ザ▪▪チェック	检查用于调试的数据的安全相关诊断设置(金宝app仿真软件检查)
参考文献	DO-331, MB.6.3.1节。e -高级需求符合标准 DO-331, MB.6.3.2节。e -低层次需求符合标准 IEC 61508-3，表A.3(3) -语言子集 IEC 62304, 5.5.3 -软件单元验收标准 ISO 26262-6，表1 (1b) -语言子集的使用 EN 50128，表A.4(11) -语言子集
参考	金宝appSimulinkドキュメンテ，ションの模型验证ブロックを有効にする
最終更新	R2017b

Hisl_0306:[コンフィギュレ，ションパラメ，タ，]，[診断]，[接続性]，[信号]

Id:タleiトル	Hisl_0306:[コンフィギュレ，ションパラメ，タ，]，[診断]，[接続性]，[信号]
説明	[コンフィギュレションパラメタ]ダアログボックスの[診断]、[接続性]ペ电子邮箱ンで，[信号]パラメ，タ，を次のように設定します。 [信号ラベルの不一致]を`[エラ]`にする [接続されていないブロックの入力端子]を`[エラ]`にする [接続されていないブロックの出力端子]を`[エラ]`にする [接続されていないラ电子邮箱ン]を`[エラ]`にする
根拠	設計のロバスト性を向上させる。
モデルアドバ▪▪ザ▪▪チェック	检查与信号连通性有关的安全诊断设置(金宝app仿真软件检查)
参考文献	DO-331, MB.6.3.1节。e -“符合标准的高级需求” DO-331, MB.6.3.2节。e -“符合标准的低层次需求” IEC 61508-3，表A.3(3) -“语言子集” IEC 62304, 5.5.3“软件单元验收标准” ISO 26262-6，表1 (1b) -“语言子集的使用” ISO 26262-6，表1 (1f) -“使用明确的图形表示” EN 50128，表A.4(11) -“语言子集”
参考	金宝appSimulinkドキュメンテ，ションのモデルコンフィギュレ，ションパラメ，タ，:接続性の診断
最終更新	R2017b

Hisl_0307:[コンフィギュレ，ションパラメ，タ，]，[診断]，[接続性]，[バス]

Id:タleiトル	Hisl_0307:[コンフィギュレ，ションパラメ，タ，]，[診断]，[接続性]，[バス]
説明	[コンフィギュレションパラメタ]ダアログボックスの[診断]、[接続性]ペ电子邮箱ンで，[バス]パラメ，タ，を次のように設定します。 [ル，トの出口ブロックの未定義のバスオブジェクト]を`[エラ]`にする [要素名の不一致]を`[エラ]`にする [ベクトルとして扱われるバス信号]を`[エラ]`にする [バス信号として扱われる非バス信号]を`[エラ]`にする
根拠	設計のロバスト性を向上させる。
モデルアドバ▪▪ザ▪▪チェック	检查总线连接的安全相关诊断设置(金宝app仿真软件检查)
参考文献	DO-331, MB.6.3.3节。b -软件架构一致 IEC 61508-3，表A.3(3) -语言子集 IEC 62304, 5.5.3 -软件单元验收标准 ISO 26262-6，表1 (1b) -语言子集的使用 EN 50128，表A.4(11) -语言子集
参考	金宝appSimulinkドキュメンテ，ションのモデルコンフィギュレ，ションパラメ，タ，:接続性の診断
最終更新	R2020a

hisl_0308:(コンフィギュレーションパラメーター],[診断],[接続性]、[関数の呼び出し]

Id:タleiトル	hisl_0308:(コンフィギュレーションパラメーター],[診断],[接続性]、[関数の呼び出し]
説明	コンフィギュレションパラメタ[コンテキスト依存の入力]を`[エラ]`に設定します。
根拠	設計のロバスト性を向上させる。
モデルアドバ▪▪ザ▪▪チェック	检查应用于函数调用连通性的与安全相关的诊断设置(金宝app仿真软件检查)
参考文献	DO-331, MB.6.3.3节。b -软件架构一致 IEC 61508-3，表A.3(3) -语言子集 IEC 62304, 5.5.3 -软件单元验收标准 ISO 26262-6，表1 (1b) -语言子集的使用 EN 50128，表A.4(11) -语言子集
参考	金宝appSimulinkドキュメンテ，ションのモデルコンフィギュレ，ションパラメ，タ，:接続性の診断
最終更新	R2017b

Hisl_0309:[コンフィギュレ，ションパラメ，タ，]，[診断]，[型変換]

Id:タleiトル	Hisl_0309:[コンフィギュレ，ションパラメ，タ，]，[診断]，[型変換]
説明	[コンフィギュレションパラメタ]ダアログボックスの[診断]、[型変換]ペンで，パラメタを次のように設定します。 [不必要な型変換]を`[警告]`にする [ベクトル/行列ブロック入力変換]を`[エラ]`にする [32ビットの整数を単精度浮動小数点に変換]を`[警告]`にする
根拠	設計のロバスト性を向上させる。
モデルアドバ▪▪ザ▪▪チェック	检查类型转换的安全相关诊断设置(金宝app仿真软件检查)
参考文献	DO-331, MB.6.3.1节。g -算法准确 DO-331, MB.6.3.2节。g -算法准确 IEC 61508-3，表A.3(2)强类型编程语言 IEC 61508-3，表A.4(3)防御性编程 IEC 62304, 5.5.3 -软件单元验收标准 ISO 26262-6，表1 (1b)语言子集的使用 ISO 26262-6，表1 (1c)强类型的实施 ISO 26262-6，表1 (1d)防御性实现技术的使用表A.4(8)强类型编程语言 EN 50128，表A.3(1)防御性编程
参考	金宝appSimulinkドキュメンテ，ションのモデルコンフィギュレ，ションパラメ，タ，:型変換の診断
最終更新	R2017b

Hisl_0310:[コンフィギュレ，ションパラメ，タ，]，[診断]，[モデル参照]

Id:タleiトル	Hisl_0310:[コンフィギュレ，ションパラメ，タ，]，[診断]，[モデル参照]
説明	[コンフィギュレションパラメタ]ダアログボックスの[診断]、[モデル参照]ペンで，パラメタを次のように設定します。 [端子とパラメ，タ，の不一致]を`[エラ]`にする [無効なル，トの输入/输出ブロックの接続]を`[エラ]`にする [サポ，トされないデ，タログ]を`[エラ]`にする
根拠	設計のロバスト性を向上させる。
モデルアドバ▪▪ザ▪▪チェック	检查与模型引用相关的安全诊断设置(金宝app仿真软件检查)
参考文献	DO-331, MB.6.3.1节。d -高级需求是可验证的 DO-331, MB.6.3.2节。d -低层次需求是可验证的。 DO-331, MB.6.3.3节。b -软件架构一致 IEC 61508-3，表A.3(3) -语言子集 IEC 62304, 5.5.3 -软件单元验收标准 ISO 26262-6，表1 (1b) -语言子集的使用 EN 50128，表A.4(11) -语言子集
参考	金宝appSimulinkドキュメンテ，ションのモデルコンフィギュレ，ションパラメ，タ，:モデル参照診断
最終更新	R2020a

Hisl_0311:[コンフィギュレ，ションパラメ，タ，]，[診断]，[Stateflow］

Id:タleiトル	hisl_0311:[コンフィギュレ，ションパラメ，タ，]，[診断]，[Stateflow .^®］
説明	[診断]、(Stateflow)ペンで，以下のコンフィギュレションパラメタを`[エラ]`に設定します。予期せぬバックトラッキングチャ，ト初期化中の無効な入力デ，タアクセス無条件のデフォルト遷移がない自然な親以外からの遷移指示のない▪▪ベントブロ▪▪ドキャスト条件アクションの前に指定された遷移アクション摩尔チャ，トにおける出力の書き込み前の読み取りサンプリング周期よりも短い絶対時間の時相値リ，フステ，トでの自己遷移入力@ @ベントがある場合に無効になる初期化時実行デ，タストアメモリの代わりにマシンを親とするデ，タを使用到達不能の実行パス
根拠	設計のロバスト性を向上させ，明瞭なモデリングスタ。
モデルアドバ▪▪ザ▪▪チェック	检查状态流的安全相关诊断设置(金宝app仿真软件检查)
参考文献	DO-331, MB.6.3.1节。b“高层次的需求是准确和一致的” DO-331, MB.6.3.1节。e“高级需求符合标准” DO-331, MB.6.3.1节。g“算法是准确的” DO-331, MB.6.3.2节。b“低层次需求准确且一致” DO-331, MB.6.3.2节。d“低层次需求是可验证的” DO-331, MB.6.3.2节。e“低层次需求符合标准” DO-331, MB.6.3.2节。g“算法是准确的” EN 50128，表A.4(11) -“语言子集” EN 50128，表A.12(6) -“有限使用递归” IEC 62304, 5.5.3“软件单元验收标准” ISO 26262-6，表1 (1b) -“语言子集的使用” ISO 26262-6，表8 (1j) -“无递归” IEC 61508-3，表A.3(3) -“语言子集” MISRA C:2012, Rule 17.2
参考	金宝appSimulinkドキュメンテ，ションのモデルコンフィギュレ，ションパラメ，タ，:Stateflow診断
最終更新	R2021a

hisl_0314:(コンフィギュレーションパラメーター],[診断],[データ有効性]、[信号)

Id:タleiトル	hisl_0314:(コンフィギュレーションパラメーター],[診断],[データ有効性]、[信号)
説明	[コンフィギュレションパラメタ]ダアログボックスの[診断]、[デ，タ有効性]ペ电子邮箱ンで，[信号]パラメ，タ，を次のように設定します。 [信号の関連付け]を`明确的只`にする [特異値行列による除算]を`错误`にする [指定不足のデ，タ型]を`错误`にする [InfまたはNaNのブロックの出力]を`错误`にする [識別子の"rt"接頭辞]を`错误`にする [オ，バ，フロ，時にラップ]を`错误`にする [オ，バ，フロ，で飽和]を`错误`にする [シミュレ，ション範囲のチェック]を`错误`にする
根拠	設計のロバスト性を向上させる。
モデルアドバ▪▪ザ▪▪チェック	检查信号数据的安全相关诊断设置(金宝app仿真软件检查)
参考文献	DO-331, MB.6.4.2.2“健壮性测试用例” DO-331, MB.6.4.3节“基于需求的测试方法” DO-331, MB.6.3.1节。e“高级需求符合标准” DO-331, MB.6.3.2节。e“低层次需求符合标准” DO-331, MB.6.3.1节。g“算法是准确的” DO-331, MB.6.3.2节。g“算法是准确的” DO-331, MB.6.3.3节。b“软件架构是一致的” IEC 61508-3，表A.3 (3)的语言子集 IEC 61508-3，表A.4 (3)“防御性编程” IEC 62304, 5.5.3 -软件单元验收标准 ISO 26262-6，表1 (1b)“语言子集的使用” ISO 26262-6，表1 (1d)“使用防御性实现技术” EN 50128，表A.4 (11)的语言子集 EN 50128，表A.3 (1)“防御性编程” MISRA C:2012, Dir 4.1
参考	モデルコンフィギュレ，ションパラメ，タ，:デ，タ有効性の診断
最終更新	R2018a