By Product
By Task
Select tasks from the following list:
Select or deselect all
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
Simulink Model File Integrity
>
Check file for foreign characters
>
Check Model History properties
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
Managing Library Links And Variants
>
Identify disabled library links
>
Identify parameterized library links
>
Identify unresolved library links
>
Identify model reference variants and variant subsystems that override variant choice
Upgrading to the Current Simulink Version
>
Open the Upgrade Advisor
Frequency Response Estimation
>
* Identify time-varying source blocks interfering with frequency response estimation
Modeling Standards for DO-178C/DO-331
>
* 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 usage of Math blocks
>
Check 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 for known block 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 usage of exclusive and default states in state machines
>
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 file names
>
Check folder names
>
Check subsystem names
>
Check port block names
>
Check character usage in signal labels
>
Check character usage in block names
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 position of Trigger and Enable blocks
>
Check for nondefault block attributes
>
Check for matching port and signal names
>
Check Trigger and Enable block names
>
Check signal line labels
>
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 usage of exclusive and default states in state machines
>
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 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