LI Modelling Rule Checks for Simulink® - Overview

Currently contained are all 62 MAB 5.0 checks related to Simulink® (but not Stateflow®) that belong to the NA-MAAB subgroup and are considered implementable (rather than subject to review).

LI checks for MAB 5.0 Simulink® NA-MAAB

• ar_0001: Usable characters for filenames
• ar_0002: Usable characters for folder names
• jc_0241: Length restriction for model file names
• jc_0242: Length restriction for folder names
• jc_0201: Usable characters for Subsystem name
• jc_0231: Usable characters for block names
• jc_0211: Usable characters for Inport block and Outport block
• jc_0243: Length restriction for subsystem names
• jc_0247: Length restriction for block names
• jc_0244: Length restriction for Inport and Outport names
• jc_0222: Usable characters for signal/bus names
• jc_0232: Usable characters for parameter names
• jc_0245: Length restriction for signal and bus names
• jc_0246: Length restriction for parameter names
• jc_0795: Usable characters for Stateflow data names
• jc_0796: Length restriction for Stateflow data names
• jc_0791: Duplicate data name definitions
• jc_0792: Unused data
• jc_0700: Unused data in Stateflow block
• jc_0011: Optimization parameters for Boolean data types
• jc_0642: Integer rounding mode setting
• jc_0806: Detecting incorrect calculation results
• jc_0021: Model diagnostic settings
• na_0004: Simulink model appearance settings
• db_0043: Model font and font size
• db_0142: Position of block names
• jc_0061: Display of block names
• db_0140: Display of block parameters
• jc_0604: Using Block Shadow
• db_0081: Unconnected signals, block inputs and block outputs
• db_0032: Signal line connections
• db_0141: Signal flow in Simulink models
• jc_0110: Direction of block
• db_0143: Usable block types in model hierarchy
• jc_0653: Delay block layout in feedback loops
• hd_0001: Prohibited Simulink sinks
• na_0010: Usage of vector and bus signals
• na_0008: Display of labels on signals
• na_0009: Entry versus propagation of signal labels
• db_0112: Usage of indexing
• db_0146: Block layout in conditional subsystems
• jc_0657: Retention of output value based on conditional control flow blocks and Merge blocks
• na_0002: Appropriate usage of basic logical and numerical operations
• jc_0121: Usage of add and subtraction blocks
• jc_0611: Input sign for multiplication and division blocks
• jc_0621: Usage of Logical Operator blocks
• jc_0131: Use of Relational Operator blocks
• jc_0800: Comparing floating-point types in Simulink
• jc_0626: Usage of Lookup Table blocks
• jc_0623: Usage of continuous-time Delay blocks and discrete-time Delay blocks
• jc_0624: Usage of Tapped Delay blocks/Delay blocks
• jc_0627: Usage of Discrete-Time Integrator blocks
• jc_0628: Usage of Saturation blocks
• db_0042: Usage of Inport and Outport blocks
• jc_0081: Inport/Outport block icon display
• na_0011: Scope of Goto and / From blocks
• jc_0141: Usage of Switch blocks
• jc_0650: Block input/output data type with switching function
• jc_0630: Usage of Multiport Switch blocks
• na_0020: Number of inputs to variant subsystems
• na_0036: Default variant
• na_0037: Use of single variable variant conditionals

MAB 5.0 NA-MAAB rules for Simulink® considered subject to review

• na_0019: Is a rule for m-script (embedded to Simulink®) that should be reviewed using The Mathworks® mlint script checks available with the Matlab® basic license.
• jm_0002: Must be checked by review or replaced by a more detailed rule, as "recognisabilty" is rather relative.
• db_0144: Appropriate functional decomposition is always strongly bound to semantics and thus subject to review.
• db_0097: Signal label position and space consumption is not accessible to the range of releases supported and thus must be reviewed.
• jc_0794: Signal value range is only accessible to complex additional tools like PolySpace® and thus not supported.
• jc_0805: Signal value range is only accessible to complex additional tools like PolySpace® and thus not supported.