Do checks in Model Advisor which do not have paths work?

Hello, I have a question for the checks which are included in Model Advisor but do not have paths. For example, compare hisl_001 (it has path in Model Advisor) and the hisl_0012(it is included in documentation of Model Advisor but doesn't have a path). So the question is if the second check somehow implemented in Model Advisor or not?

Thank you in advance.

Answer 1

[Jordan Ross]

Hello Anastasiia,

As I understand, you are wondering if the High-Integrity Modeling Guideline hisl_0012 is included in the Model Advisor checks. This guideline is currently not available in the Model Advisor. The following documentation page states that if the guideline does not have a corresponding check in Model Advisor then it is listed as "Not Applicable": http://www.mathworks.com/help/simulink/mdl_gd/hi/model-advisor-checks-for-high-integrity-modeling-guidelines.html