主要内容

诊断

hisl_0036:配置参数> Diagnostics > Saving . hisl_0036:配置参数> Diagnostics

ID:标题 hisl_0036:配置参数> Diagnostics > Saving . hisl_0036:配置参数> Diagnostics
描述

将这些配置参数设置为错误

  • 方框图包含禁用的库链接

  • 框图包含参数化的库链接

基本原理 防止意外结果。
模型顾问检查 检查安全相关的诊断设置以保存(金宝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)“语言子集”

最后更改 R2017B.

hisl_0043:配置参数> Diagnostics > Solver . hisl_0043:配置参数> Diagnostics

ID:标题 hisl_0043:配置参数> Diagnostics > Solver . hisl_0043:配置参数> Diagnostics
描述

在“配置参数”对话框中,在诊断窗格,设置解算器参数如下:

  • 代数循环错误

  • 最小化代数循环错误

  • 块优先级冲突错误如果您正在使用块优先级。

  • 自动求解器参数选择错误

  • 州名称冲突警告

笔记

启用与求解器有关的诊断提供了检测违反其他指南的信息。

此表阐明了未指定上述配置参数的结果。

配置参数 后果
代数循环 代数循环的自动破损可以未被发现,可能导致不可预测的块顺序执行。
最小化代数循环 代数循环的自动破损可以未被发现,可能导致不可预测的块顺序执行。
块优先级冲突 块执行顺序可能包括未检测到的冲突,这些冲突可能导致不可预测的块执行顺序。
自动求解器参数选择 对求解器,步骤尺寸或模拟停止时间的自动更改可以未被发现,并且可能是生成的代码的操作。
州名称冲突 用于多个状态的名称可能未被发现。

基本原理 金宝app支持生成健壮且明确的代码。
模型顾问检查 检查安全相关的辅助设置(金宝app同步链路检查)
工具书类
  • 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)“语言子集的使用”

  • EN 50128,表A.4(11)“语言子集”

也可以看看
最后更改 R2018b

hisl_0044:配置参数>诊断>采样时间

ID:标题 hisl_0044:配置参数>诊断>采样时间
描述

在“配置参数”对话框中,在诊断>采样时间窗格中,将这些参数设置为错误

如果目标系统不允许在具有相同优先级的任务之间进行抢占,请设置同等优先级的任务没有一个

笔记

启用与求解器有关的诊断提供了检测违反其他指南的信息。

此表阐明了未指定上述配置参数的结果。

配置参数 后果
源块指定-1采样时间 对源块使用继承的采样时间,例如正弦波,可能无法检测到,并导致源和下游区块的执行速度无法预测。
多任务数据传输 在以多任务模式下运行的两个块之间无效的数据传输可以未被发现。您不能使用无效的数据传输进行嵌入式实时软件应用程序。
单任务数据传输 在单任务模式下运行的两个块之间的数据传输可以不被发现。不能对嵌入式实时软件应用程序使用单任务数据传输。
多任务有条件执行的子系统 在多任务模式下运行的有条件执行的多速率子系统。可能未被检测到并损坏数据,或者在允许抢占的目标系统中显示意外行为。
同等优先级的任务 两个具有相同优先级的异步任务可能会未被解冻并显示允许抢占的目标系统中的意外行为。
强制信号规格块指定的采样时间 a的采样时间不一致信号规格块和连接的目标块可能未被检测到,从而导致不可预测的执行速率。
样本时间的可继承性不明确 未显式设置为继承采样时间的S函数可能未被检测到并导致不可预测的行为。

基本原理 一种 金宝app支持生成健壮且明确的代码。
模型顾问检查 检查样本时间的安全相关诊断设置(金宝app同步链路检查)
工具书类
  • DO-331,MB.6.3.1.B部分'高级要求是准确的,一致的
    ——331年,部分MB.6.3.2。b“低级要求是准确和一致的”
    ——331年,部分MB.6.3.3。b“软件架构是一致的”
    ——331年,部分MB.6.3.3。电子软件体系结构符合标准。

  • 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:标题 hisl_0301:配置参数>诊断>兼容性
描述 设置配置参数功能升级需要错误
基本原理

提高设计的鲁棒性。

模型顾问检查 检查与兼容性相关的诊断设置(金宝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)'防守编程'

也可以看看

模型配置参数:兼容性诊断在Simuli金宝appnk文档中

最后更改 R2017B.

hisl_0302:配置参数>诊断>数据有效性>参数

ID:标题 hisl_0302:配置参数>诊断>数据有效性>参数
描述

在“配置参数”对话框中,在诊断>数据有效性窗格,设置参数参数如下:

  • 检测沮丧错误

  • 检测下溢错误

  • 检测可调谐性损失错误

  • 检测溢出错误

  • 检测精度损失错误

基本原理

提高设计的鲁棒性。

模型顾问检查 检查安全相关诊断设置的参数(金宝app同步链路检查)
工具书类
  • ——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)'防守编程'

也可以看看

模型配置参数:数据有效性诊断在Simuli金宝appnk文档中

最后更改 R2018b

hisl_0303:配置参数>诊断>数据有效性>合并块

ID:标题 hisl_0303:配置参数>诊断>数据有效性>合并块
描述

设置配置参数检测同时执行的多个驱动块步骤错误

基本原理

提高设计的鲁棒性。

模型顾问检查 检查合并块的安全相关诊断设置(金宝app同步链路检查)
工具书类
  • DO-331 MB.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) -语言子集

也可以看看

检测同时执行的多个驱动块步骤在Simuli金宝appnk文档中

最后更改 R2017B.

hisl_0304:配置参数>诊断>数据有效性>模型初始化

ID:标题 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

也可以看看

未指定初始化检测在Simuli金宝appnk文档中

最后更改 R2017B.

Hisl_0305:配置参数>诊断>数据有效性>调试

ID:标题 Hisl_0305:配置参数>诊断>数据有效性>调试
描述

设置配置参数模型验证块启用全部禁用

基本原理

提高设计的鲁棒性。

模型顾问检查 检查用于调试的数据的安全相关诊断设置(金宝app同步链路检查)
工具书类
  • ——331年,部分MB.6.3.1。高标准的要求符合标准
    ——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) -语言子集

也可以看看

模型验证块启用在Simuli金宝appnk文档中

最后更改 R2017B.

hisl_0306:配置参数>诊断>连接>信号

ID:标题 hisl_0306:配置参数>诊断>连接>信号
描述

在“配置参数”对话框中,在诊断>连通性窗格,设置信号参数如下:

  • 信号标签不匹配错误

  • 未连接的块输入端口错误

  • 未连接的块输出端口错误

  • 未连接的线错误

基本原理

提高设计的鲁棒性。

模型顾问检查 检查安全相关的诊断设置以进行信号连接(金宝app同步链路检查)
工具书类
  • DO-331,MB.6.3.1.E部分 - '高级要求符合标准'
    ——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) -“语言子集”

也可以看看

模型配置参数:连接诊断在Simuli金宝appnk文档中

最后更改 R2017B.

hisl_0307:配置参数>诊断>连接>总线

ID:标题 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) -语言子集

也可以看看

模型配置参数:连接诊断在Simuli金宝appnk文档中

最后更改 R2020a

hisl_0308:配置参数>诊断>连接>函数调用

ID:标题 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) -语言子集

也可以看看

模型配置参数:连接诊断在Simuli金宝appnk文档中

最后更改 R2017B.

hisl_0309:配置参数>诊断>类型转换

ID:标题 hisl_0309:配置参数>诊断>类型转换
描述

在“配置参数”对话框中,在诊断>类型转换窗格中,按如下方式设置这些参数:

  • 不必要的类型转换警告

  • 矢量/矩阵块输入转换错误

  • 32位整数到单精度浮动转换警告

基本原理

提高设计的鲁棒性。

模型顾问检查 检查与类型转换的安全相关诊断设置(金宝app同步链路检查)
工具书类
  • ——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)防御实施技术的使用

  • EN 50128,表A.4(8)强类型编程语言
    EN 50128,表A.3(1)防御性规划

也可以看看

模型配置参数:类型转换诊断在Simuli金宝appnk文档中

最后更改 R2017B.

hisl_0310:配置参数>诊断>模型参考

ID:标题 hisl_0310:配置参数>诊断>模型参考
描述

在“配置参数”对话框中,在诊断>模型引用窗格中,按如下方式设置这些参数:

  • 端口和参数不匹配错误

  • 无效的根导入/输出块连接错误

  • 不支金宝app持的数据记录错误

基本原理

提高设计的鲁棒性。

模型顾问检查 检查与模型引用相关的安全相关诊断设置(金宝app同步链路检查)
工具书类
  • ——331年,部分MB.6.3.1。d -高级需求是可验证的
    ——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) -语言子集

也可以看看

模型配置参数:模型引用诊断在Simuli金宝appnk文档中

最后更改 R2020a

hisl_0311:配置参数>诊断> . hisl_0311:配置参数>州流程

ID:标题 hisl_0311:配置参数>诊断>状态流®
描述

在“配置参数”对话框中,在诊断>州流程窗格中,设置以下参数:

  • 意外的回溯错误

  • 图表初始化中输入数据访问无效错误

  • 没有无条件的默认转换错误

  • 母代外的转换错误

  • 无向事件广播错误

  • 在条件动作之前指定的转换动作错误

  • 无法访问的执行路径错误

基本原理

提高设计的鲁棒性,促进清晰的建模风格。

模型顾问检查 检查状态流的安全相关诊断设置(金宝app同步链路检查)
工具书类
  • DO-331,MB.6.3.1.B部分'高级要求是准确的,一致的
    DO-331,MB.6.3.1.E'高级要求符合标准'
    ——331年,部分MB.6.3.1。g“算法是准确的”
    ——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,规则17.2

也可以看看

模型配置参数:equentflow诊断在Simuli金宝appnk文档中

最后更改 R2018b

hisl_0314:配置参数>诊断>数据有效性>信号

ID:标题 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节“低水平要求符合标准”
    ——331年,部分MB.6.3.1。g“算法是准确的”
    DO-331,部分MB.6.3.2.g'算法是准确的'
    ——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,目录4.1

也可以看看 模型配置参数:数据有效性诊断
最后更改 R2018a