|hisf_0003: Usage of bitwise operations|
|hisf_0004: Usage of recursive behavior|
|hisf_0007: Usage of junction conditions (maintaining mutual exclusion)|
|hisf_0013: Usage of transition paths (crossing parallel state boundaries)|
|hisf_0014: Usage of transition paths (passing through states)|
|hisf_0015: Strong data typing (casting variables and parameters in expressions)|
|hisf_0016: Stateflow port names|
|hisf_0017: Stateflow data object scoping|
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.