|hisf_0003: Usage of bitwise operations|
|hisf_0004: Usage of recursive behavior|
|hisf_0007: Usage of junction conditions (maintaining mutual exclusion)|
|hisf_0010: Usage of transition paths (looping out of parent of source and destination objects)|
|hisf_0012: Chart comments|
|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)|
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.