Check for division by zero in Simulink

Check ID: mathworks.jmaab.jc_0794

Guideline: jc_0794: Division in Simulink

Identifies division operations in Simulink^® that result in a divide-by-zero error.

This check requires Simulink Check™, and Simulink Design Verifier™ (SLDV) licenses.

This check does not include sub-checks because the MAB modeling guideline provides only one sub ID.

For reference, the MAB guideline sub ID(s) that are recommended for use by the NA-MAAB and JMAAB modeling standards organizations are:

Condition	Recommended Action
One or more blocks performing division can result in a divide-by-zero error.	Remodel to avoid a divide-by-zero error.

Does not run on library models.
Allows exclusions of blocks or charts.
Analyzes content of library-linked blocks. By default, the input parameter Follow links is set to on.
Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to graphical.