ar_0001: Usable characters for file names
| Check file names | bat365.jmaab.ar_0001 |
| ar_0002: Usable characters for folder names | Check folder names | bat365.jmaab.ar_0002 |
| db_0032: Signal line connections | Check signal line connections | bat365.jmaab.db_0032 |
| db_0042: Usage of Inport and Outport blocks | Check position of Inport and Outport blocks | bat365.jmaab.db_0042 |
| db_0043: Model font and font size | Check model font settings | bat365.jmaab.db_0043 |
| db_0081: Unconnected signals and blocks | Check for unconnected signal lines and blocks | bat365.jmaab.db_0081 |
| db_0097: Position of labels for signals and buses | Check position of signal labels | bat365.jmaab.db_0097 |
| db_0110: Block parameters | Check usage of tunable parameters in blocks | bat365.maab.db_0110 |
| db_0112: Usage of index | Check Indexing Mode | bat365.jmaab.db_0112 |
db_0123: Stateflow port names
| Check for names of Stateflow ports and associated signals | bat365.maab.db_0123 |
| db_0125: Stateflow local data | Check definition of Stateflow data | bat365.jmaab.db_0125 |
| db_0126: Defining Stateflow events | Check definition of Stateflow events | bat365.jmaab.db_0126 |
| db_0127: Limitation on MATLAB commands in Stateflow blocks | Check for MATLAB expressions in Stateflow charts | bat365.jmaab.db_0127 |
| db_0129: Stateflow transition appearance | Check for Stateflow transition appearance | bat365.jmaab.db_0129 |
| db_0132: Transitions in flow charts | Check transitions in Stateflow Flow charts | bat365.jmaab.db_0132 |
| db_0137: States in state machines | Check for state in state machines | bat365.jmaab.db_0137 |
db_0140: Display of block parameters
| Check for nondefault block attributes | bat365.maab.db_0140 |
| db_0141: Signal flow in Simulink models | Check signal flow in model | bat365.jmaab.db_0141 |
| db_0142: Position of block names | Check whether block names appear below blocks | bat365.maab.db_0142 |
| db_0143: Usable block types in model hierarchy | Check for mixing basic blocks and subsystems | bat365.maab.db_0143 |
| db_0144: Use of subsystems | Not
checkable |
| db_0146: Block layout in conditional subsystems | Check position of conditional blocks and iterator blocks | bat365.jmaab.db_0146 |
hd_0001: Prohibited Simulink sinks
| Check for prohibited sink blocks | bat365.maab.hd_0001 |
| jc_0008: Definition of signal names | Check definition of signal labels | bat365.jmaab.jc_0008 |
| jc_0009: Signal name propagation | Check signal name propagation | bat365.jmaab.jc_0009 |
| jc_0011: Optimization parameters for Boolean data types | Check Implement logic signals as Boolean data (vs. double) | bat365.maab.jc_0011 |
jc_0021: Model diagnostic settings
| Check model diagnostic parameters | bat365.maab.jc_0021 |
| jc_0061: Display of block names | Check the display attributes of block names | bat365.maab.jc_0061 |
| jc_0081: Inport and Outport block icon display | Check display for port blocks | bat365.maab.jc_0081 |
| jc_0110: Direction of block | Check block orientation | bat365.jmaab.jc_0110 |
| jc_0121: Usage of add and subtraction blocks | Check usage of Sum blocks | bat365.jmaab.jc_0121 |
| jc_0131: Usage of Relational Operator blocks | Check usage of Relational Operator blocks | bat365.maab.jc_0131 |
| jc_0141: Usage of the Switch blocks | Check usage of Switch blocks | bat365.maab.jc_0141 |
| jc_0161: Definition of Data Store Memory blocks | Check for usage of Data Store Memory blocks | bat365.jmaab.jc_0161 |
| jc_0171: Clarification of connections between structural subsystems | Check connections between structural subsystems | bat365.jmaab.jc_0171 |
| jc_0201: Usable characters for subsystem names | Check subsystem names | bat365.jmaab.jc_0201 |
| jc_0211: Usable characters for Inport blocks and Outport block | Check port block names | bat365.jmaab.jc_0211 |
| jc_0222: Usable characters for signal and bus names | Check usable characters for signal names and bus names | bat365.jmaab.jc_0222 |
| jc_0231: Usable characters for block names | Check character usage in block names | bat365.jmaab.jc_0231 |
| jc_0232: Usable characters for parameter names | Check usable characters for parameter names | bat365.jmaab.jc_0232 |
| jc_0241: Length restriction for model file names | Check length of model file name | bat365.jmaab.jc_0241 |
| jc_0242: Length restriction for folder names | Check length of folder name at every level of model path | bat365.jmaab.jc_0242 |
| jc_0243: Length restriction for subsystem names | Check length of subsystem names | bat365.jmaab.jc_0243 |
| jc_0244: Length restriction for Inport and Outport names | Check length of Inport and Outport names | bat365.jmaab.jc_0244 |
| jc_0245: Length restriction for signal and bus names | Check length of signal and bus names | bat365.jmaab.jc_0245 |
| jc_0246: Length restriction for parameter name | Check length of parameter names | bat365.jmaab.jc_0246 |
| jc_0247: Length restriction for block names | Check length of block names | bat365.jmaab.jc_0247 |
| jc_0281: Trigger signal names | Check trigger signal names | bat365.jmaab.jc_0281 |
| jc_0451: Use of unary minus on unsigned integers | Check usage of unary minus operations in Stateflow charts | bat365.jmaab.jc_0451 |
| jc_0481: Use of hard equality comparisons for floating point numbers in Stateflow | Check usage of floating-point expressions in Stateflow charts | bat365.maab.jc_0481 |
| jc_0491: Reuse of Stateflow data | Not
checkable |
| jc_0501: Format of entries in a State block | Check entry formatting in State blocks in Stateflow charts | bat365.jmaab.jc_0501 |
| jc_0511: Return values from a graphical function | Check return value assignments in Stateflow graphical functions | bat365.maab.jc_0511 |
| jc_0531: Default transition | Check default transition placement in Stateflow charts | bat365.jmaab.jc_0531 |
| jc_0602: Consistency in model element names | Check for consistency in model element names | bat365.jmaab.jc_0602 |
| jc_0603: Model description | Check Model Description | bat365.jmaab.jc_0603 |
| jc_0604: Using block shadow | Check if blocks are shaded in the model | bat365.jmaab.jc_0604 |
| jc_0610: Operator order for multiplication and division block | Check operator order of Product blocks | bat365.jmaab.jc_0610 |
| jc_0611: Input sign for multiplication and division blocks | Check signs of input signals in product blocks | bat365.jmaab.jc_0611 |
| jc_0621: Usage of Logical Operator blocks | Check icon shape of Logical Operator blocks | bat365.jmaab.jc_0621 |
| jc_0622: Usage of Fcn blocks |
Check for parentheses in Fcn block expressions | bat365.jmaab.jc_0622 |
| jc_0623: Usage of continuous-time Delay blocks and discrete-time Delay blocks | Check usage of Memory and Unit Delay blocks | bat365.jmaab.jc_0623 |
| jc_0624: Usage of Tapped Delay blocks/Delay blocks | Check for cascaded Unit Delay blocks | bat365.jmaab.jc_0624 |
| jc_0626: Usage of Lookup Table blocks | Check usage of Lookup Tables | bat365.jmaab.jc_0626 |
| jc_0627: Usage of Discrete-Time Integrator blocks | Check usage of Discrete-Time Integrator block | bat365.jmaab.jc_0627 |
| jc_0628: Usage of Saturation blocks | Check usage of the Saturation blocks | bat365.jmaab.jc_0628 |
| jc_0630: Usage of Multiport Switch blocks | Check settings for data ports in Multiport Switch blocks | bat365.jmaab.jc_0630 |
| jc_0640: Initial value settings for Outport blocks in conditional subsystems | Check undefined initial output for conditional subsystems | bat365.jmaab.jc_0640 |
| jc_0641: Sample time setting | Check for sample time setting | bat365.jmaab.jc_0641 |
| jc_0642: Integer rounding mode setting | Check Signed Integer Division Rounding mode | bat365.jmaab.jc_0642 |
| jc_0643: Fixed-point setting | Check usage of fixed-point data type with non-zero bias | bat365.jmaab.jc_0643 |
| jc_0644: Type setting | Check type setting by data objects | bat365.jmaab.jc_0644 |
| jc_0645: Parameter definition for calibration | Check if tunable block parameters are defined as named constants | bat365.jmaab.jc_0645 |
| jc_0650: Block input/output data type with switching function | Check input and output datatype for Switch blocks | bat365.jmaab.jc_0650 |
| jc_0651: Implementing a type conversion | Check output data type of operation blocks | bat365.jmaab.jc_0651 |
| jc_0653: Delay block layout in feedback loops | Check for avoiding algebraic loops between subsystems | bat365.jmaab.jc_0653 |
| jc_0655: Prohibition of logical value comparison in Stateflow | Check prohibited comparison operation of logical type signals | bat365.jmaab.jc_0655 |
| jc_0656: Usage of Conditional Control blocks | Check default/else case in Switch Case blocks and If blocks | bat365.jmaab.jc_0656 |
| jc_0657: Retention of output value based on conditional control flow blocks and Merge blocks | Not
checkable |
| jc_0659: Usage restrictions of signal lines input to Merge blocks | Check usage of Merge block | bat365.jmaab.jc_0659 |
| jc_0700: Unused data in Stateflow block | Check for unused data in Stateflow Charts | bat365.jmaab.jc_0700 |
| jc_0701: Usable number for first index | Check usable number for first index | bat365.jmaab.jc_0701 |
| jc_0702: Use of named Stateflow parameters and constants | Check usage of numeric literals in Stateflow | bat365.jmaab.jc_0702 |
| jc_0711: Division in Stateflow | Not
checkable |
| jc_0712: Execution timing for default transition path | Check execution timing for default transition path | bat365.jmaab.jc_0712 |
| jc_0721: Usage of parallel states | Check usage of parallel states | bat365.jmaab.jc_0721 |
| jc_0722: Local data definition in parallel states | Check scope of data in parallel states | bat365.jmaab.jc_0722 |
| jc_0723: Prohibited direct transition from external state to child state | Check usage of transitions to external states | bat365.jmaab.jc_0723 |
| jc_0730: Unique state name in Stateflow blocks | Check uniqueness of State names | bat365.jmaab.jc_0730 |
| jc_0731: State name format | Check usage of State names | bat365.jmaab.jc_0731 |
| jc_0732: Distinction between state names, data names, and event names | Check uniqueness of Stateflow state, data and event names | bat365.jmaab.jc_0732 |
| jc_0733: Order of state action types | Check order of state action types | bat365.jmaab.jc_0733 |
| jc_0734: Number of state action types | Check repetition of Action types | bat365.jmaab.jc_0734 |
| jc_0736: Uniform indentations in Stateflow blocks | Check indentation of code in Stateflow states | bat365.jmaab.jc_0736 |
| jc_0738: Usage of Stateflow comments | Check usage of Stateflow comments | bat365.jmaab.jc_0738 |
| jc_0739: Describing text inside states | Check for usage of text inside states | bat365.jmaab.jc_0739 |
| jc_0740: Limitation on use of exit state action | Check if state action type 'exit' is used in the model | bat365.jmaab.jc_0740 |
| jc_0741: Timing to update data used in state chart transition conditions | Check updates to variables used in state transition conditions | bat365.jmaab.jc_0741 |
| jc_0751: Backtracking prevention in state transition | Check for unexpected backtracking in state transitions | bat365.jmaab.jc_0751 |
| jc_0752: Condition action in transition label | Check usage of parentheses in Stateflow transitions | bat365.jmaab.jc_0752 |
| jc_0753: Condition actions and transition actions in Stateflow | Check condition actions and transition actions in Stateflow | bat365.jmaab.jc_0753 |
| jc_0760: Starting point of internal transition | Check starting point of internal transition in Stateflow | bat365.jmaab.jc_0760 |
| jc_0762: Prohibition of state action and flow chart combination | Check prohibited combination of state action and flow chart | bat365.jmaab.jc_0762 |
| jc_0763: Usage of multiple internal transitions | Check usage of internal transitions in Stateflow states | bat365.jmaab.jc_0763 |
| jc_0770: Position of transition label | Check placement of Label String in Transitions | bat365.jmaab.jc_0770 |
| jc_0771: Comment position in transition labels | Check position of comments in transition labels | bat365.jmaab.jc_0771 |
| jc_0772: Execution order and transition conditions of transition lines | Check usage of transition conditions in Stateflow transitions | bat365.jmaab.jc_0772 |
| jc_0773: Unconditional transition of a flow chart | Check usage of unconditional transitions in flow charts | bat365.jmaab.jc_0773 |
| jc_0774: Comments for through transition | Check for comments in unconditional transitions | bat365.jmaab.jc_0774 |
| jc_0775: Terminating junctions in flow charts | Check terminal junctions in Stateflow | bat365.jmaab.jc_0775 |
| jc_0790: Action language of Chart block | Check Stateflow chart action language | bat365.jmaab.jc_0790 |
| jc_0791: Duplicate data name definitions | Check duplication of Simulink data names | bat365.jmaab.jc_0791 |
| jc_0792: Unused Data | Check unused data in Simulink Model | bat365.jmaab.jc_0792 |
| jc_0794: Division in Simulink | Check for division by zero in Simulink | bat365.jmaab.jc_0794 |
| jc_0795: Usable characters for Stateflow data names | Check usable characters for Stateflow data names | bat365.jmaab.jc_0795 |
| jc_0796: Length restriction for Stateflow data names | Check length of Stateflow data name | bat365.jmaab.jc_0796 |
| jc_0797: Unconnected transitions / states / connective junctions | Check for unconnected objects in Stateflow Charts | bat365.jmaab.jc_0797 |
| jc_0800: Comparing floating-point types in Simulink | Check comparison of floating point types in Simulink | bat365.jmaab.jc_0800 |
| jc_0801: Prohibited use of the /* and */ comment symbols | Check for use of C-style comment symbols | bat365.jmaab.jc_0801 |
| jc_0802: Prohibited use of implicit type casting in Stateflow | Check for implicit type casting in Stateflow | bat365.jmaab.jc_0802 |
| jc_0803: Passing values to library functions | Not
checkable |
| jc_0804: Prohibited use of recursive calls with graphical functions | Check usage of graphical functions in Stateflow | bat365.jmaab.jc_0804 |
| jc_0805: Numerical operation block inputs | No check |
| jc_0806: Detecting incorrect calculation results | Check diagnostic settings for incorrect calculation results | bat365.jmaab.jc_0806 |
| jm_0002: Block resizing | No check |
| jm_0011: Pointers in Stateflow | Check for pointers in Stateflow charts | bat365.maab.jm_0011 |
| jm_0012: Usage restrictions of events and broadcasting events | Check for usage of events and broadcasting events in Stateflow charts | bat365.jmaab.jm_0012 |
| na_0001: Standard usage of Stateflow operators | Check Stateflow operators | bat365.jmaab.na_0001 |
| na_0002: Appropriate usage of basic logical and numerical operations | Check fundamental logical and numerical operations | bat365.jmaab.na_0002 |
| na_0003: Usage of If blocks | Check logical expressions in If blocks | bat365.maab.na_0003 |
na_0004: Simulink model appearance settings
| Check for Simulink diagrams using nonstandard display attributes | bat365.maab.na_0004 |
na_0008: Display of labels on signals
| Check signal line labels | bat365.maab.na_0008 |
na_0009: Entry versus propagation of signal labels
| Check for propagated signal labels | bat365.maab.na_0009 |
| na_0010: Usage of vector and bus signals | Check usage of vector and bus signals | bat365.jmaab.na_0010 |
| na_0011: Scope of Goto and From blocks | Check scope of From and Goto blocks | bat365.maab.na_0011 |
na_0016: Source lines of MATLAB Functions
| Check lines of code in MATLAB Functions | bat365.jmaab.na_0016 |
na_0017: Number of called function levels
| Check the number of function calls in MATLAB Function blocks | bat365.jmaab.na_0017 |
na_0018: Number of nested if/else and case statement
| Check nested conditions in MATLAB Functions | bat365.jmaab.na_0018 |
| na_0019: Restricted variable names | Check usage of restricted variable names | bat365.maab.na_0019 |
| na_0020: Number of inputs to variant subsystems | Check for missing ports in Variant Subsystems | bat365.jmaab.na_0020 |
| na_0021: Strings in MATLAB functions | Check usage of character vector inside MATLAB Function block | bat365.maab.na_0021 |
na_0022: Recommended patterns for Switch/Case statements
| Check usage of recommended patterns for Switch/Case statements | bat365.maab.na_0022 |
| na_0024: Shared data in MATLAB functions | Check MATLAB code for global variables | bat365.maab.na_0024 |
na_0025: MATLAB Function header
| No check |
| na_0031: Definition of default enumerated value | Check usage of enumerated values | bat365.maab.na_0031 |
| na_0034: MATLAB Function block input/output settings | Check input and output settings of MATLAB Functions | bat365.maab.na_0034 |
| na_0036: Default variant | Check use of default variants | bat365.maab.na_0036 |
| na_0037: Use of single variable for variant condition | Check use of single variable variant conditionals | bat365.maab.na_0037 |
| na_0039: Limitation on Simulink functions in Chart blocks | Check use of Simulink in Stateflow charts | bat365.maab.na_0039 |
| na_0042: Usage of Simulink functions | Check usage of Simulink function in Stateflow | bat365.jmaab.na_0042 |
