主要内容

硅验证子系统

这个例子展示了子系统验证通过确保software-in-the-loop的输出(SIL)代码匹配模型的子系统。你生成一个硅验证利用,收集仿真结果,并使用模拟数据检查结果进行比较。您可以应用类似的过程processor-in-the-loop(公益诉讼)验证。

与SIL模拟,您可以验证生产源代码的行为在你的主机。与公益诉讼模拟,您可以验证编译后的目标代码,你打算在生产部署。您可以运行的公益诉讼对象代码真正目标硬件或指令集仿真器。

如果你有一个嵌入式编码器®许可证,您可以创建一个测试工具在硅或公益诉讼模式模型验证。你可以比较SIL或公益诉讼结果与模型结果和收集度量标准,包括执行时间和模型代码覆盖率。你不能收集覆盖率在硅或公益诉讼。使用测试工具执行SIL和公益诉讼验证,您可以:

  • 与你的模型管理工具。生成测试工具生成硅块。测试工具与组件关联验证下。您可以保存测试工具与主模型。

  • 使用内置的工具,这些test-design-test工作流:

    • 检查硅或公益诉讼块等价

    • 更新SIL或公益诉讼块到最新的模型设计

  • 查看和比较记录数据和信号使用测试经理检查员和仿真数据。

当你创建一个等效模拟测试,比较正常和硅或公益诉讼模式,一个单独的测试工具是用来测试每个模式。然而,如果你是原子子系统或等价测试模型块,一个测试工具可以用于模拟正常和硅或公益诉讼。当一个单一的利用信息用于原子子系统等价测试,看看为模型生成测试和测试或组件。

这个示例模型闭环controller-plant系统。控制器调节装置的输出。

创建一个安全完整性验证利用控制器

使用数据创建一个硅验证利用闭环controller-plant系统日志。控制器子系统调节装置的输出。你需要嵌入式编码器许可对于这个示例。创建一个SIL利用的另一种方法是创建测试的模型组件向导(参见为模型生成测试和测试或组件和创建和运行连续测试)。

  1. 打开示例在MATLAB模型通过输入这个命令®命令窗口。

    openExample (“是/ SILPILVerificationExample”,…金宝appsupportingFile =“SILBlock.slx”)

    这张图片显示了SILBlock模型。

  2. 保存一个副本模型的使用这个名字controller_model在一个新的文件夹,在MATLAB路径上可写的位置。

  3. 使信号记录为模型。在命令提示符中,输入

    set_param (bdroot SignalLogging =“上”SignalLoggingName =…“SIL_signals”SignalLoggingSaveFormat =“数据集”);

  4. 右键单击信号到控制器端口三机一体,并选择属性。在信号特性对话框,信号的名字,输入controller_model_input。选择测井信号数据并点击好吧。

  5. 右键单击信号控制器端口着干活,和选择属性。在信号特性对话框,信号的名字,输入controller_model_output。选择测井信号数据并点击好吧。

  6. 模拟模型。

  7. 从仿真得到记录信号输出到工作区中。在命令提示符中,输入

    out_data =重燃(“SIL_signals”);control_in1 = out_data.get (“controller_model_input”);control_out1 = out_data.get (“controller_model_output”);

  8. 创建software-in-the-loop测试工具。右键单击并选择控制器子系统测试工具>创建“控制器”。

  9. 利用属性:

    • 的名字:SIL_harness

    • 源和汇:轮廓尺寸和外港

    • 选择开放利用创建后

    • 高级属性——验证方式:Software-in-the-loop(银)

    点击好吧。由此产生的测试工具有一个银块。

    控制器子系统的测试工具

配置和模拟硅验证利用

配置和模拟硅验证利用控制器子系统。

  1. 配置测试工具导入记录控制器输入值。顶级的测试工具,在模型中配置参数对话框,在数据导入/导出窗格中,选择输入。输入control_in1.Values作为输入并点击好吧。

  2. 测试工具启用信号日志记录。在命令提示符中,输入

    set_param (“SIL_harness”SignalLogging =“上”SignalLoggingName =…“harness_signals”SignalLoggingSaveFormat =“数据集”);

  3. 右键单击硅块的输出信号并选择属性。在信号特性对话框,信号的名字,输入SIL_block_out。选择测井信号数据并点击好吧。

  4. 模拟利用。

比较硅块和模型控制器输出

比较验证利用和一个控制器的输出子系统。

  1. 在测试模型,模拟选项卡,审查结果部分中,点击数据检查检查员打开模拟数据。

  2. 在仿真数据检查器,单击进口。在进口对话框。

    • 集进口的:基本工作空间。

    • 集导入:新运行。

    • 下的名字,选择所有的复选框进口来自所有来源的数据。

  3. 点击进口。

  4. 选择SIL_block_out和controller_model_out信号的运行面板数据的检查器窗口。

    图表显示了两个信号,重叠。这个结果表明银代码的等价。你可以画出信号使用的差异比较在SDI选项卡,对验证进行更详细的分析。有关更多信息,请参见对比仿真数据。

    情节比较测试装具模块和控制器子系统输出

  5. 关闭测试工具窗口。你返回到主模型。徽章在控制器街区表明SIL利用与子系统相关联。

相关的话题