By Product
By Task
Select tasks from the following list:
Select or deselect all
Simulink Code Inspector compatibility checks
>
Check code generation settings
>
Check data import/export settings
>
Check diagnostic settings
>
Check hardware implementation settings
>
Check model reference settings
>
Check optimization settings
>
Check solver settings
>
* Check for unsupported blocks
>
Check for unconnected objects in the model
>
Check system target file setting
>
Check function specification setting
>
Check model arguments
>
* Check for tunable workspace variables
>
* Check for sample times in the model
>
* Check for usage of global data stores
>
* Check usage of Sources blocks
>
* Check usage of Signal Routing blocks
>
* Check usage of Math Operations blocks
>
* Check usage of Signal Attributes blocks
>
* Check usage of Logical and Bit Operations blocks
>
* Check usage of User-Defined Function blocks
>
* Check usage of Ports and Subsystems blocks
>
* Check usage of Discontinuities blocks
>
* Check usage of Sinks blocks
>
* Check usage of Discrete blocks
>
* Check usage of root Outport blocks
>
* Check usage of buses
Modeling Guidelines for MISRA-C:2004
>
Check for blocks not recommended for MISRA-C:2004 compliance
>
Check configuration parameters for MISRA-C:2004 compliance
Simulation Performance and Accuracy
>
Check for non-continuous signals driving derivative ports
Simulation Runtime Accuracy Diagnostics
>
Runtime diagnostics for S-functions
>
Check if Read/Write diagnostics are enabled for Data Store blocks
Managing Data Store Memory Blocks
>
Check Data Store Memory blocks for multitasking, strong typing, and shadowing issues
>
* Check data store block sample times for modeling errors
>
* Check for potential ordering issues involving data store access
Modeling Signals and Parameters using Buses
>
Check for optimal bus virtuality
>
* Check for partial structure parameter usage with bus signals
>
* Check for proper bus usage
Code Generation Efficiency
>
Identify blocks using one-based indexing
>
Identify questionable software environment specifications
>
Identify lookup table blocks that generate expensive out-of-range checking code
>
Identify questionable code instrumentation (data I/O)
>
Check output types of logic blocks
>
* Identify blocks that generate expensive saturation and rounding code
>
* Identify questionable fixed-point operations
Model Referencing
>
Check for model reference configuration mismatch
>
Check for parameter tunability information ignored for referenced models
>
Check for implicit signal resolution
>
* Check for proper bus usage
>
Check root model Inport block specifications
Upgrading to the Current Simulink Version
>
Check model, local libraries, and referenced models for known upgrade issues
>
Check usage of function-call connections
>
* Check model, local libraries, and referenced models for known upgrade issues requiring compile time information
>
* Check for proper bus usage
>
Check for calls to slDataTypeAndScale()
>
* Check consistency of initialization parameters for Outport and Merge blocks
Managing Library Links
>
Identify disabled library links
>
Identify parameterized library links
>
Identify unresolved library links
Frequency Response Estimation
>
* Identify time-varying source blocks interfering with frequency response estimation
Modeling Standards for DO-178B
>
* Display model version information
>
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 initialization
>
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 lookup table blocks
>
Check for blocks that have constraints on tunable parameters
>
Check for Discrete-Time Integrator blocks with initial condition uncertainty
>
Check for model reference configuration mismatch
>
Check for parameter tunability information ignored for referenced models
>
* Check for potentially delayed function-call block return values
>
Check model, local libraries, and referenced models for known upgrade issues
>
Check root model Inport block specifications
>
* Check sample times and tasking mode
>
Check solver for code generation
>
Check the hardware implementation
>
Identify disabled library links
>
Identify parameterized library links
>
Identify unresolved library links
>
* Check for proper bus usage
>
* Check for proper Merge block usage
>
Identify questionable blocks within the specified system
>
* Identify questionable subsystem settings
>
Identify unconnected lines, input ports, and output ports
>
Identify requirement links that specify invalid locations within documents
>
Identify requirement links with missing documents
>
Identify requirement links with path type inconsistent with preferences
>
Identify selection-based links having description fields that do not match their requirements document text
>
Check use of tunable parameters in blocks
>
Check for Strong Data Typing with Simulink I/O
>
Check Stateflow data objects with local scope
>
Check whether Stateflow events are defined at chart level or below
>
Check for exclusive and default states and substate correctness
>
Check state machine type of Stateflow charts
>
Check Stateflow charts for ordering of states and transitions
>
Check Stateflow debugging options
>
Check Stateflow charts for uniquely defined data objects
>
* Check usage of Math Operations blocks
>
* Check usage of Signal Routing blocks
>
* Check usage of Logic and Bit Operations blocks
>
* Check usage of Ports and Subsystems blocks
>
Check for inconsistent vector indexing methods
Modeling Standards for ISO 26262
>
* Display configuration management data
>
Display model metrics and complexity report
>
Check for unconnected objects
>
Check for fully defined interface
>
Check for questionable constructs
>
* Check usage of Stateflow constructs
>
Check state machine type of Stateflow charts
>
* Check usage of Math Operations blocks
>
* Check usage of Signal Routing blocks
>
* Check usage of Logic and Bit Operations blocks
>
* Check usage of Ports and Subsystems blocks
>
Check for inconsistent vector indexing methods
>
Check for model objects that do not link to requirements
Modeling Standards for IEC 61508
>
* Display configuration management data
>
Display model metrics and complexity report
>
Check for unconnected objects
>
Check for fully defined interface
>
Check for questionable constructs
>
* Check usage of Stateflow constructs
>
Check state machine type of Stateflow charts
>
* Check usage of Math Operations blocks
>
* Check usage of Signal Routing blocks
>
* Check usage of Logic and Bit Operations blocks
>
* Check usage of Ports and Subsystems blocks
>
Check for inconsistent vector indexing methods
>
Check for model objects that do not link to requirements
Naming Conventions
>
Check for incorrect file names
>
Check folder names
>
Check subsystem names
>
Check port block names
>
Check signal labels for incorrect characters
>
Check block names for incorrect characters
Model Architecture
>
Check for mixing basic blocks and subsystems
Model Configuration Options
>
Check Implement logic signals as Boolean data (vs. double)
>
Check model diagnostic parameters
Simulink
>
Check for Simulink diagrams using nonstandard display attributes.
>
Check font formatting
>
Check positioning and configuration of ports
>
Check visibility of block port names
>
Check display for port blocks
>
Check whether block names appear below blocks
>
Check the display attributes of block names
>
Check for incorrect position of Trigger and Enable blocks
>
Check for nondefault block attributes
>
Check for annotations with drop shadows
>
Check for matching port and signal names
>
Check Trigger and Enable block names
>
Check for proper labeling on signal lines
>
Check for propagated signal labels
>
Check for unconnected ports and signal lines
>
Check for prohibited blocks in discrete controllers
>
Check for prohibited sink blocks
>
* Check scope of From and Goto blocks
>
* Check use of Switch blocks
>
Check configuration of Relational Operator blocks
>
Check for indexing in blocks
>
* Check for signal bus and Mux block usage
>
Check use of tunable parameters in blocks
>
Check orientation of Subsystem blocks
Stateflow
>
Check for exclusive and default states and substate correctness
>
Check transition orientations in flowcharts
>
Check entry formatting in State blocks in Stateflow charts
>
Check return value assignments of graphical functions in Stateflow charts
>
Check default transition placement in Stateflow charts
>
Check for Strong Data Typing with Simulink I/O
>
Check Stateflow data objects with local scope
>
Check for tunable parameters in Stateflow charts
>
Check whether Stateflow events are defined at chart level or below
>
Check usage of return values from a graphical function in Stateflow charts
>
Check for MATLAB expressions in Stateflow charts
>
Check for pointers in Stateflow charts
>
Check for event broadcasts in Stateflow charts
>
Check transition actions in Stateflow charts
>
* Check for bitwise operations in Stateflow charts.
>
* Check for unary minus operations on unsigned integers in Stateflow charts
>
* Check for comparison operations in Stateflow charts
>
* Check for equality operations between floating-point expressions in Stateflow charts
>
* Check for mismatches between names of Stateflow ports and associated signals
Modeling Standards for MAAB
Requirement consistency checking
>
Identify requirement links with missing documents
>
Identify requirement links that specify invalid locations within documents
>
Identify selection-based links having description fields that do not match their requirements document text
>
Identify requirement links with path type inconsistent with preferences
Select or deselect all