|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.