主要内容

港口和子系统

hisl_0006: While迭代器块的使用

ID:标题 hisl_0006: While迭代器块的使用
描述 使用时金宝app，在生成的代码中支持有限的迭代行为而迭代器Block，设置块参数最大迭代次数为正整数值。
请注意

当你使用而迭代器子系统，设置最大的迭代次数。如果使用无限次的迭代，生成的代码可能包含无限循环，这将导致执行时溢出。

为了观察仿真过程中的迭代值，判断循环是否达到最大迭代次数，选择而迭代器块参数显示迭代数端口．如果循环达到最大迭代次数，则验证而迭代器块。
基本原理 金宝app在生成的代码中支持有界迭代。
模型顾问检查 检查While迭代器块的使用情况(金宝app仿真软件检查)
参考文献

  • ——331年,部分MB.6.3.1。e“高标准要求符合标准”
    ——331年,部分MB.6.3.2。e“低层次需求符合标准”

  • 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，规则14.2
    MISRA C:2012，规则16.4
    MISRA C:2012, Dir 4.1
最后的改变 R2018b

hisl_0007: For Iterator或While Iterator子系统的用法

ID:标题 hisl_0007: For Iterator或While Iterator子系统的用法
描述 在使用金宝app时支持明确的行为对迭代器子系统或而迭代器子系统，避免使用与时间相关的样本块，如子系统中的积分器、过滤器和传递函数。
基本原理 避免来自子系统的模糊行为。
模型顾问检查 检查For和While迭代器子系统的使用情况(金宝app仿真软件检查)
参考文献

  • ——331年,部分MB.6.3.1。e“高标准要求符合标准”
    ——331年,部分MB.6.3.2。e“低层次需求符合标准”
    部分MB.6.3.1。g和MB.6.3.2。g’算法是准确的

  • 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，规则14.2
    MISRA C:2012，规则16.4
    MISRA C:2012, Dir 4.1
最后的改变 R2018b
例子

下面的例子会引起一个警告:离散FIR滤波器块是依赖于时间的，并且位于For或While迭代器子系统中。

hisl_0008: For迭代器块的使用

ID:标题 hisl_0008: For Iterator块的用法
描述

使用时金宝app，在生成的代码中支持有限的迭代行为对迭代器Block，执行以下操作之一:
一个

块参数设置迭代限制源来内部．
B

当迭代限制源必须外部，使用具有常量值的块。选项包括宽度，探针,或常数．
C

清晰块参数外部设置下一个i(迭代变量)．
D

为了观察仿真过程中的迭代值，选择块参数显示迭代变量．
笔记

当你使用对迭代器块，使用固定的(非变量)值向循环控制变量提供循环迭代的可预测数量。否则，循环可能导致不可预测的执行时间，在外部迭代变量的情况下，无限循环可能导致执行时溢出。
基本原理 A、b、c、d 金宝app在生成的代码中支持有限的迭代行为。
模型顾问检查 检查For Iterator块的使用情况(金宝app仿真软件检查)
参考文献

  • - 331, MB.Section 6.3.1。e“高标准要求符合标准”
    ——331年,部分MB.6.3.2。e“低层次需求符合标准”

  • 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，规则14.2
    MISRA C:2012，规则16.4
    MISRA C:2012, Dir 4.1
最后的改变 R2016a

hisl_0010: If块和If动作子系统块的使用

ID:标题 hisl_0010: If块和If动作子系统块的使用
描述

要支持金宝app可验证生成的代码，请使用如果块与非空的Elseif表情,
一个

选择块参数显示其他条件．
B

连接的出口如果块如果行动子系统块。
先决条件

hisl_0016:计算关系操作符的块的用法
笔记

的结合如果和如果行动子系统块支持基于输入条件的有条件执行。当只有一个如果分支，则不需要包含其他的分支。
基本原理 A、B 金宝app支持可验证代码的生成。
模型顾问检查 检查If块和If Action子系统块的使用情况(金宝app仿真软件检查)
参考文献

  • MB.6.3.1 - 331,部分。g和MB.6.3.2。g“算法是准确的”
    做MB.6.3.1 - 331部分。b -高级要求是准确和一致的
    做MB.6.3.2 - 331部分。b -低级要求是准确和一致的

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

  • 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)“防御性编程”

  • MISRA C:2012，规则14.2
    MISRA C:2012，规则16.4
    MISRA C:2012, Dir 4.1
最后的改变 R2016b
例子

推荐使用Elseif和Else

不推荐:无其他路径

推荐:只有If，不需要Else

hisl_0011: Switch Case块和Action子系统块的使用

ID:标题 hisl_0011: Switch Case块和Action子系统块的使用
描述

要支持金宝app可验证生成的代码，请使用开关情况布洛克:
一个

选择块参数显示默认情况下．
B

连接的出口开关情况块一个开关箱动作子系统块。
C

为输入使用整数数据类型或枚举值开关情况块。
先决条件

hisl_0016:计算关系操作符的块的用法
笔记

的结合开关情况和如果行动子系统块支持基于输入条件的有条件执行。以“default”块的形式提供默认的执行路径。
基本原理 A, B, C 金宝app支持可验证代码的生成。
模型顾问检查 检查开关盒块和开关盒动作子系统块的使用情况(金宝app仿真软件检查)
参考文献

  • MB.6.3.1 - 331,部分。g和MB.6.3.2。g“算法是准确的”
    做MB.6.3.1 - 331部分。b -高级要求是准确和一致的
    做MB.6.3.2 - 331部分。b -低级要求是准确和一致的

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

  • 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)“防御性编程”

  • MISRA C:2012，规则14.2
    MISRA C:2012，规则16.4
    MISRA C:2012, Dir 4.1
最后的改变 R2016b
例子

下图显示了使用“default”块提供默认执行路径的示例。

hisl_0012:使用有条件执行的子系统

ID:标题 hisl_0012:使用有条件执行的子系统
描述

为了支金宝app持明确的行为，当使用有条件执行的子系统时:
一个

指定继承(－1)对子系统中所有块的采样时间，除了常数．常数块可以使用infinite (正)样品时间。
B

如果子系统是异步调用的，则应避免在子系统中使用与时间相关的样例块，如积分器、过滤器和传递函数。
基本原理 A、B 金宝app明确的支持行为。
模型顾问检查 检查有条件执行的子系统的使用情况(金宝app仿真软件检查)
参考文献

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

  • 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)“防御性编程”

  • MB.6.3.1 - 331,部分。g和MB.6.3.2。g“算法是准确的”
最后的改变 R2018b
例子 当使用离散块时，行为取决于跨多个连续时间步骤的操作。当块被间歇调用时，结果可能不符合您的期望。

hisl_0024:导入接口定义

ID:标题 hisl_0024:导入接口定义
描述

为每个金宝app根级别支持模型和生成代码的强数据类型和明确的行为轮廓尺寸块或仿真软件金宝app®明确解析为已连接信号线的信号对象，设置以下参数:

  • 数据类型

  • 港维

  • 样品时间
请注意 在没有完全定义维度、样本时间或数据类型的情况下使用根级导入块可能会导致不明确的模拟结果。如果您没有显式地定义这些参数，那么Simulink将从下游块反向传播维度、样本时间和数据类型。金宝app
基本原理

  • 避免明确的行为。

  • 金宝app支持软件接口的完整规范。
模型顾问检查 检查缺少属性的根导入(金宝app仿真软件检查)
参考文献

  • 做MB.6.3.1 - 331部分。b“高层次的要求是准确和一致的”
    做MB.6.3.2 - 331部分。b“低级要求是准确和一致的”

  • IEC 61508-3，表B.9(6)“完全定义的接口”

  • IEC 62304, 5.5.3 -软件单元验收标准

  • ISO 26262-6，表1 (1a) -实施低复杂性
    ISO 26262-6，表1 (1c) -强制强输入
    ISO 26262-6，表1 (1f) -使用明确的图形表示
    ISO 26262-6，表3 (1c) -接口的限制尺寸
    ISO 26262-6，表7 (1k) -接口测试

  • EN 50128，表A.3(19)“完全定义接口”
最后的改变 R2017b

hisl_0025:输入接口的设计最小/最大规格

ID:标题 hisl_0025:输入接口的设计最小/最大规格
描述 为根级导入块提供设计最小/最大信息，以指定输入接口范围。
笔记

  • 在根级别指定import块的范围可以启用其他功能［一个］例子包括:

    • 通过模拟范围检查检测溢出。

    • 使用嵌入式编码器的代码优化®．

    • 设计模型验证使用金宝app仿真软件设计校验™．

    • 使用定点设计器™定点自动缩放。

  • 嵌入式编码器使用指定的设计范围来优化生成的代码。要使用这些设计范围进行优化，请选择配置参数使用指定的最小值和最大值进行优化．该参数仅适用于系统目标文件是一个基于ert的目标。

  • 总线类型导入块的范围是用定义的总线对象的总线元素指定的。金宝appSimulink忽略在总线类型的导入块中直接提供的范围规范。
基本原理

金宝app支持输入接口的精确规范。
模型顾问检查 检查缺少范围定义的根导入(金宝app仿真软件检查)
参考文献

  • 做MB.6.3.1 - 331部分。b“高层次的要求是准确和一致的”
    做MB.6.3.2 - 331部分。b“低级要求是准确和一致的”

  • IEC 61508-3，表B.9(6)“完全定义的接口”

  • IEC 62304, 5.5.3 -软件单元验收标准

  • ISO 26262-6，表7 (1e) -正式验证
    ISO 26262-6，表7 (1k) -接口测试
    ISO 26262-6，表8 (1c) -边界值分析

  • EN 50128，表A.1(11) -软件接口规范
    表A.3(19)“完全定义接口”
最后的改变 R2017b

［一个］这些功能利用设计范围信息用于不同的目的。有关更多信息，请参阅您打算使用的工具的文档。

hisl_0026:输出接口设计最小/最大规格

ID:标题 hisl_0026:输出接口设计最小/最大规格
描述 为根级输出端口块提供设计最小/最大信息，以指定输出接口范围。
笔记

  • 指定根级别上的Outport块范围可以启用其他功能［一个］例子包括:

    • 通过模拟范围检查检测溢出。

    • 使用嵌入式编码器的代码优化。

    • 设计模型验证使用金宝app仿真软件设计验证器．

    • 定点自动缩放使用定点设计器。

  • 嵌入式编码器使用指定的设计范围来优化生成的代码。要设置这些设计范围，请选择配置参数使用指定的最小值和最大值进行优化．该配置参数仅适用于系统目标文件是一个基于ert的目标。

  • 总线类型的Outport块的范围由定义的总线对象的总线元素指定。金宝appSimulink忽略总线类型的Outport块直接提供的范围规格。
基本原理

金宝app支持输出接口的精确规范。
模型顾问检查 检查缺少范围定义的根输出(金宝app仿真软件检查)
参考文献

  • 做MB.6.3.1 - 331部分。b“高层次的要求是准确和一致的”
    做MB.6.3.2 - 331部分。b“低级要求是准确和一致的”

  • IEC 61508-3，表B.9(6)“完全定义的接口”

  • IEC 62304, 5.5.3 -软件单元验收标准

  • ISO 26262-6，表7 (1e) -正式验证
    ISO 26262-6，表7 (1k) -接口测试
    ISO 26262-6，表8 (1c) -边界值分析

  • EN 50128，表A.1(11) -软件接口规范
    表A.3(19)“完全定义接口”
最后的改变 R2017b

［一个］这些功能利用设计范围信息用于不同的目的。有关更多信息，请参阅您打算使用的工具的文档。

金宝app仿真软件文档

金宝app

尝试MATLAB, Si金宝appmulink和其他产品下载188bet金宝搏

得到审判现在