|hisl_0061: Unique identifiers for clarity|
|hisl_0062: Global variables in graphical functions|
|hisl_0063: Length of user-defined object names to improve MISRA C:2012 compliance|
|hisl_0201: Define reserved keywords to improve MISRA C:2012 compliance|
|hisl_0202: Use of data conversion blocks to improve MISRA C:2012 compliance|
|hisf_0064: Shift operations for Stateflow data to improve code compliance|
|hisf_0065: Type cast operations in Stateflow to improve code compliance|
|hisf_0211: Protect against use of unary operators in Stateflow Charts to improve code compliance|
|hisf_0213: Protect against divide-by-zero calculations in Stateflow charts to improve MISRA C:2012 compliance|
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® Check™ includes Model Advisor checks for compliance with the safety standards referenced in the high-integrity guidelines.