By Product
By Task
Select product categories or items from the following list:

Select or deselect all

Simulink
Real-Time Workshop Embedded Coder
Simulink Verification and Validation
    Modeling Standards
        DO-178B Checks
                Check safety-related optimization settings
                Check safety-related diagnostic settings for solvers
                Check safety-related diagnostic settings for sample time
                Check safety-related diagnostic settings for signal data
                Check safety-related diagnostic settings for parameters
                Check safety-related diagnostic settings for data used for debugging
                Check safety-related diagnostic settings for data store memory
                Check safety-related diagnostic settings for type conversions
                Check safety-related diagnostic settings for signal connectivity
                Check safety-related diagnostic settings for bus connectivity
                Check safety-related diagnostic settings that apply to function-call connectivity
                Check safety-related diagnostic settings for compatibility
                Check safety-related diagnostic settings for model referencing
                Check safety-related model referencing settings
                Check safety-related code generation settings
                Check safety-related diagnostic settings for saving
                Check for blocks that do not link to requirements
                Check for proper usage of Math blocks
                Check for proper usage of For Iterator blocks
                Check for proper usage of While Iterator blocks
                * Display model version information
                * Check for proper usage of blocks that compute absolute values
                * Check for proper usage of Relational Operator blocks
        IEC 61508 Checks
                Display model metrics and complexity report
                Check for unconnected objects
                Check for fully defined interface
                Check for questionable constructs
                Check usage of Stateflow constructs
                * Display configuration management data
                * Check usage of Simulink constructs
        MathWorks Automotive Advisory Board Checks
                Check for difference in font and font sizes
                Check Transition orientations in flowcharts
                Check for display of nondefault block attributes
                Check for proper labeling on signal lines.
                Check for propagated labels on signal lines
                Check default transition placement in Stateflow charts
                Check setting Stateflow graphical function return value
                Check for blocks that do not use one-based indexing
                Check for invalid filenames
                Check for invalid model directory names
                Check for blocks that are not discrete.
                Check for prohibited sink blocks
                Check for invalid port positioning and configuration
                Check for mismatches between names of ports and corresponding signals
                Check whether block names appear below blocks
                Check for systems that mix primitive blocks and subsystems
                Check whether model has unconnected block input ports, output ports, or signal lines
                Check for improperly positioned Trigger and Enable blocks
                Check whether annotations have drop shadows
                Check whether tunable parameters specify expressions, data type conversions, or indexing operations
                Check whether Stateflow events are defined at the chart level or below
                Check whether Stateflow data objects with local scope are defined at the chart level or below
                Check interface signals and parameters
                Check for exclusive states, default states, and substate validity
                Check optimization parameters for Boolean data types
                Check model diagnostic settings
                Check the display attributes of block names
                Check Icon display parameter for port blocks
                Check whether subsystem block names include invalid characters
                Check whether Inport and Outport block names include invalid characters
                Check whether signal line names include invalid characters
                Check whether block names include invalid characters
                Check Trigger and Enable Port block names
                Check for Simulink diagrams that have nonstandard appearance attributes
                Check visibility of block port names
                Check for direction of subsystem blocks
                Check for proper position of constants used in Relational Operator blocks
                Check for entry format in state blocks
                Check for use of tunable parameters in Stateflow
                * Check for proper use of Switch blocks
                * Check for proper use of signal busses and Mux block usage
                * Check for mismatches between names of Stateflow ports and their associated signals
                * Check for proper scope of From and Goto blocks
    Requirements Consistency

*Running this check triggers an Update Diagram, which increases processing time

Select or deselect all