Documentation

This is machine translation

Translated by Microsoft
Mouseover text to see original. Click the button below to return to the English verison of the page.

Note: This page has been translated by MathWorks. Please click here
To view all translated materals including this page, select Japan from the country navigator on the bottom of this page.

Model Advisor Checks for MAAB Guidelines

Simulink® Verification and Validation™ provides Model Advisor MAAB checks which correspond to a subset of MAAB guidelines. You can run the checks using the Model Advisor.

The MAAB guidelines and corresponding Model Advisor checks are summarized in the following table. Not all guidelines have Model Advisor checks. For some of the guidelines without Model Advisor checks, it is not possible to automate checking of the guideline. Guidelines without a corresponding check are noted as not applicable. For information on using the Model Advisor, see Run Model Checks in the Simulink documentation.

MAAB Guideline - Version 3.0By Task > Modeling Standards for MAAB subfolderModel Advisor check
na_0026: Consistent software environment

Not applicable

na_0027: Use of only standard library blocks

Not applicable

ar_0001: FilenamesNaming ConventionsCheck file names (Simulink Verification and Validation)
ar_0002: Directory namesNaming ConventionsCheck folder names (Simulink Verification and Validation)
na_0035: Adoption of naming conventions

Not applicable

jc_0201: Usable characters for Subsystem names

Naming ConventionsCheck subsystem names (Simulink Verification and Validation)

jc_0211: Usable characters for Inport blocks and Outport blocks

Naming ConventionsCheck port block names (Simulink Verification and Validation)

jc_0221: Usable characters for signal line names

Naming ConventionsCheck character usage in signal labels (Simulink Verification and Validation)

na_0030: Usable characters for Simulink Bus names

Not applicable

jc_0231: Usable characters for block names

Naming ConventionsCheck character usage in block names (Simulink Verification and Validation)

na_0014: Use of local language in Simulink and Stateflow®

Not applicable

na_0006: Guidelines for mixed use of Simulink and Stateflow

Not applicable

na_0007: Guidelines for use of Flow Charts, Truth Tables and State Machines

Not applicable

db_0143: Similar block types on the model levels

Model ArchitectureCheck for mixing basic blocks and subsystems (Simulink Verification and Validation)

db_0144: Use of Subsystems

Not applicable

db_0040: Model hierarchy

Not applicable

na_0037: Use of single variable variant conditionals

Not applicable

na_0020: Number of inputs to variant subsystems

Not applicable

na_0036: Default variant

Not applicable

jc_0301: Controller model

Not applicable

jc_0311: Top layer/root level

Not applicable

jc_0321: Trigger layer

Not applicable

jc_0331: Structure layer

Not applicable

jc_0341: Data flow layer

Not applicable

jc_0011: Optimization parameters for Boolean data types

Model Configuration OptionsCheck Implement logic signals as Boolean data (vs. double) (Simulink Verification and Validation)

jc_0021: Model diagnostic settings

Model Configuration OptionsCheck model diagnostic parameters (Simulink Verification and Validation)

na_0004: Simulink model appearance

SimulinkCheck for Simulink diagrams using nonstandard display attributes (Simulink Verification and Validation)

db_0043: Simulink font and font size

SimulinkCheck font formatting (Simulink Verification and Validation)

db_0042: Port block in Simulink models

SimulinkCheck positioning and configuration of ports (Simulink Verification and Validation)

na_0005: Port block name visibility in Simulink models

SimulinkCheck visibility of block port names (Simulink Verification and Validation)

jc_0081: Icon display for Port block

SimulinkCheck display for port blocks (Simulink Verification and Validation)

jm_0002: Block resizing

Not applicable

db_0142: Position of block names

SimulinkCheck whether block names appear below blocks (Simulink Verification and Validation)

jc_0061: Display of block names

SimulinkCheck the display attributes of block names (Simulink Verification and Validation)

db_0146: Triggered, enabled, conditional Subsystems

SimulinkCheck position of Trigger and Enable blocks (Simulink Verification and Validation)

db_0140: Display of basic block parameters

SimulinkCheck for nondefault block attributes (Simulink Verification and Validation)

db_0032: Simulink signal appearance

Not applicable

db_0141: Signal flow in Simulink models

Not applicable

jc_0171: Maintaining signal flow when using Goto and From blocks

Not applicable

na_0032: Use of merge blocks

Not applicable

jm_0010: Port block names in Simulink models

SimulinkCheck for matching port and signal names (Simulink Verification and Validation)

jc_0281: Naming of Trigger Port block and Enable Port block

SimulinkCheck Trigger and Enable block names (Simulink Verification and Validation)

na_0008: Display of labels on signals

SimulinkCheck signal line labels (Simulink Verification and Validation)

na_0009: Entry versus propagation of signal labels

SimulinkCheck for propagated signal labels (Simulink Verification and Validation)

db_0097: Position of labels for signals and busses

Not applicable

db_0081: Unconnected signals, block inputs and block outputs

SimulinkCheck for unconnected ports and signal lines (Simulink Verification and Validation)

na_0003: Simple logical expressions in If Condition block

Not applicable

na_0002: Appropriate implementation of fundamental logical and numerical operations

Not applicable

jm_0001: Prohibited Simulink standard blocks inside controllers

SimulinkCheck for prohibited blocks in discrete controllers (Simulink Verification and Validation)

hd_0001: Prohibited Simulink sinks

SimulinkCheck for prohibited sink blocks (Simulink Verification and Validation)

na_0011: Scope of Goto and From blocks

SimulinkCheck scope of From and Goto blocks (Simulink Verification and Validation)

jc_0141: Use of the Switch block

SimulinkCheck usage of Switch blocks (Simulink Verification and Validation)

jc_0121: Use of the Sum block

Not applicable

jc_0131: Use of Relational Operator block

SimulinkCheck usage of Relational Operator blocks (Simulink Verification and Validation)

jc_0161: Use of Data Store Read/Write/Memory blocks

Not applicable

db_0112: Indexing

SimulinkCheck for indexing in blocks (Simulink Verification and Validation)

na_0010: Grouping data flows into signals

SimulinkCheck usage of buses and Mux blocks (Simulink Verification and Validation)

db_0110: Tunable parameters in basic blocks

SimulinkCheck usage of tunable parameters in blocks (Simulink Verification and Validation)

na_0012: Use of Switch vs. If-Then-Else Action Subsystem

Not applicable

db_0114: Simulink patterns for If-then-else-if constructs

Not applicable

db_0115: Simulink patterns for case constructs

Not applicable

na_0028: Use of If-Then-Else Action Subsystem to Replace Multiple Switches

Not applicable

db_0116: Simulink patterns for logical constructs with logical blocks

Not applicable

db_0117: Simulink patterns for vector signals

Not applicable

jc_0351: Methods of initialization

Not applicable

jc_0111: Direction of Subsystem

SimulinkCheck orientation of Subsystem blocks (Simulink Verification and Validation)

db_0123: Stateflow port names

StateflowCheck for mismatches between names of Stateflow ports and associated signals (Simulink Verification and Validation)

db_0129: Stateflow transition appearance

Not applicable

db_0137: States in state machines

StateflowCheck usage of exclusive and default states in state machines (Simulink Verification and Validation)

db_0133: Use of patterns for flow charts

Not applicable

db_0132: Transitions in flow charts

StateflowCheck transition orientations in flow charts (Simulink Verification and Validation)

jc_0501: Format of entries in a State block

StateflowCheck entry formatting in State blocks in Stateflow charts (Simulink Verification and Validation)

jc_0511: Setting the return value from a graphical function

StateflowCheck return value assignments of graphical functions in Stateflow charts (Simulink Verification and Validation)

jc_0531: Placement of the default transition

StateflowCheck default transition placement in Stateflow charts (Simulink Verification and Validation)

jc_0521: Use of the return value from graphical functions

StateflowCheck usage of return values from a graphical function in Stateflow charts (Simulink Verification and Validation)

na_0001: Bitwise Stateflow operators

StateflowCheck for bitwise operations in Stateflow charts (Simulink Verification and Validation)

jc_0451: Use of unary minus on unsigned integers in Stateflow

StateflowCheck for unary minus operations on unsigned integers in Stateflow charts (Simulink Verification and Validation)

na_0013: Comparison operation in Stateflow

StateflowCheck for comparison operations in Stateflow charts (Simulink Verification and Validation)

db_0122: Stateflow and Simulink interface signals and parameters

StateflowCheck for Strong Data Typing with Simulink I/O (Simulink Verification and Validation)

db_0125: Scope of internal signals and local auxiliary variables

StateflowCheck Stateflow data objects with local scope (Simulink Verification and Validation)

jc_0481: Use of hard equality comparisons for floating point numbers in Stateflow

StateflowCheck for equality operations between floating-point expressions in Stateflow charts (Simulink Verification and Validation)

jc_0491: Reuse of variables within a single Stateflow scope

Not applicable

jc_0541: Use of tunable parameters in Stateflow

Not applicable

db_0127: MATLAB commands in Stateflow

StateflowCheck for MATLAB expressions in Stateflow charts (Simulink Verification and Validation)

jm_0011: Pointers in Stateflow

StateflowCheck for pointers in Stateflow charts (Simulink Verification and Validation)

db_0126: Scope of events

Not applicable

jm_0012: Event broadcasts

StateflowCheck for event broadcasts in Stateflow charts (Simulink Verification and Validation)

db_0150: State machine patterns for conditions

Not applicable

db_0151: State machine patterns for transition actions

StateflowCheck transition actions in Stateflow charts (Simulink Verification and Validation)

db_0148: Flow chart patterns for conditions

Not applicable

db_0149: Flow chart patterns for condition actions

Not applicable

db_0134: Flow chart patterns for If constructs

Not applicable

db_0159: Flow chart patterns for case constructs

Not applicable

db_0135: Flow chart patterns for loop constructs

Not applicable

na_0038: Levels in Stateflow charts

Not applicable

na_0039: Use of Simulink in Stateflow charts

Not applicable

na_0040: Number of states per container

Not applicable

na_0041: Selection of function type

Not applicable

na_0042: Location of Simulink functions

Not applicable

na_0033: Enumerated Types Usage

Not applicable

na_0031: Definition of default enumerated value

Not applicable

na_0018: Number of nested if/else and case statement

MATLAB FunctionsCheck MATLAB Function metrics (Simulink Verification and Validation)

na_0019: Restricted Variable Names

Not applicable

na_0025: MATLAB Function Header

Not applicable

na_0034: MATLAB Function block input/output settings

MATLAB FunctionsCheck input and output settings of MATLAB Functions (Simulink Verification and Validation)

na_0024: Global Variables

MATLAB FunctionsCheck MATLAB code for global variables (Simulink Verification and Validation)

na_0022: Recommended patterns for Switch/Case statements

Not applicable

na_0016: Source lines of MATLAB Functions

MATLAB FunctionsCheck MATLAB Function metrics (Simulink Verification and Validation)

na_0017: Number of called function levels

Not applicable

na_0021: Strings

Not applicable

Was this topic helpful?