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
       Simulation Performance and Accuracy
       Simulation Runtime Accuracy Diagnostics
       Managing Data Store Memory Blocks
       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
       Model Referencing
       Upgrading to the Current Simulink Version
       Managing Library Links
            > Identify disabled library links
            > Identify parameterized library links
            > Identify unresolved library links
       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
       Modeling Standards for IEC 61508
       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
       Model Configuration Options
       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

Select or deselect all