|hisl_0001: Usage of Abs block|
|hisl_0002: Usage of Math Function blocks (rem and reciprocal)|
|hisl_0003: Usage of Square Root blocks|
|hisl_0028: Usage of Reciprocal Square Root blocks|
|hisl_0004: Usage of Math Function blocks (natural logarithm and base 10 logarithm)|
|hisl_0005: Usage of Product blocks|
|hisl_0029: Usage of Assignment blocks|
|hisl_0006: Usage of While Iterator blocks|
|hisl_0007: Usage of While Iterator subsystems|
|hisl_0008: Usage of For Iterator Blocks|
|hisl_0009: Usage of For Iterator Subsystem blocks|
|hisl_0010: Usage of If blocks and If Action Subsystem blocks|
|hisl_0011: Usage of Switch Case blocks and Action Subsystem blocks|
|hisl_0012: Usage of conditionally executed subsystems|
|hisl_0024: Inport interface definition|
|hisl_0025: Design min/max specification of input interfaces|
|hisl_0026: Design min/max specification of output interfaces|
MathWorks® intends the guidelines for engineers developing models and generating code for high-integrity systems using Model-Based Design with MathWorks products.
The guidelines use this template.
Simulink® Verification and Validation™ includes Model Advisor checks for compliance with the safety standards referenced in the high-integrity guidelines.