1.打开模型

此示例模型解释了余数和倒数运算、平方根运算、对数和 log10 运算以及 Reciprocal Square Root 模块的用法。

open_system('sldvexHislChecks');

2.执行设计错误检测分析

该模型预先配置了高完整性系统建模检查、余数和倒数运算的使用 - hisl_0002、平方根运算的使用 - hisl_0003、对数和 log10 运算的使用 - hisl_0004，以及 Reciprocal Square Root 模块的使用 - hisl_0028。有关详细信息，请参阅Design Verifier 窗格：设计错误检测。

要执行设计错误检测分析，请在 Design Verifier 选项卡的模式部分中，选择设计错误检测。然后点击检测设计错误。

该软件分析模型是否违反了高完整性系统建模规范，并在结果摘要窗口中显示结果。结果表明，29 个目标中有 15 个是伪造的。

3.查看分析结果

点击在模型上突出显示分析结果。导致违反高完整性系统建模规范的模块以红色突出显示。

a.点击以红色突出显示的 Rem 和 Reciprocal 模块。结果检查器显示违反 hisl_0002 规范的摘要。

b.点击以红色突出显示的 Sqrt 模块。结果检查器显示违反 hisl_0003 规范的摘要。

c.点击以红色突出显示的 Log 和 Log10 模块。结果检查器显示违反 hisl_0004 规范的摘要。

d.点击以红色突出显示的倒数平方根模块。结果检查器显示违反 hisl_0028 规范的摘要。

e.点击红色突出显示的 MATLAB Function 模块。结果检查器显示 hisl_0002、hisl_0003 和 hisl_0004 检查的摘要。

4.查看详细分析报告

要查看详细的分析报告，请在“结果摘要”窗口中点击 HTML。该报告显示模型中发生的所有高完整性系统建模违规行为的摘要。

5.清理

要完成此示例，请关闭模型。

close_system('sldvexHislChecks', 0);