Model Checks in Simulink Verification and Validation

By Category | Alphabetical List

Check MATLAB Code Analyzer messages
Check MATLAB code for global variables
Check MATLAB Function block metrics
Check character usage in block names
Check character usage in signal labels
Check usage of Relational Operator blocks
Check default transition placement in Stateflow charts
Check display for port blocks
Check entry formatting in State blocks in Stateflow charts
Check file names
Check folder names
Check font formatting
Check for MATLAB Function block interfaces with inherited properties
Check for bitwise operations in Stateflow charts
Check for blocks not recommended for C/C++ production code deployment
Check for comparison operations in Stateflow charts
Check for equality operations between floating-point expressions in Stateflow charts
Check for event broadcasts in Stateflow charts
Check for root Inports with missing properties
Check input and output settings of MATLAB Function blocks
Check for inconsistent vector indexing methods
Check for indexing in blocks
Check for matching port and signal names
Check for MATLAB expressions in Stateflow charts
Check for mismatches between names of Stateflow ports and associated signals
Check for mixing basic blocks and subsystems
Check for blocks that do not link to requirements
Check for nondefault block attributes
Check for pointers in Stateflow charts
Check for prohibited blocks in discrete controllers
Check for prohibited sink blocks
Check for propagated signal labels
Check for root Inports with missing range definitions
Check for root Outports with missing range definitions
Check usage of buses and Mux blocks
Check for Simulink diagrams using nonstandard display attributes
Check for Strong Data Typing with Simulink I/O
Check for unary minus operations on unsigned integers in Stateflow charts
Check for unconnected objects
Check for unconnected ports and signal lines
Check Implement logic signals as Boolean data (vs. double)
Check input and output settings of MATLAB Function blocks
Check model diagnostic parameters
Check orientation of Subsystem blocks
Check port block names
Check position of Trigger and Enable blocks
Check positioning and configuration of ports
Check return value assignments of graphical functions in Stateflow charts
Check safety-related code generation settings
Check safety-related diagnostic settings for bus connectivity
Check safety-related diagnostic settings for compatibility
Check safety-related diagnostic settings for data store memory
Check safety-related diagnostic settings for data used for debugging
Check safety-related diagnostic settings for model initialization
Check safety-related diagnostic settings for model referencing
Check safety-related diagnostic settings for parameters
Check safety-related diagnostic settings for sample time
Check safety-related diagnostic settings for saving
Check safety-related diagnostic settings for signal connectivity
Check safety-related diagnostic settings for signal data
Check safety-related diagnostic settings for solvers
Check safety-related diagnostic settings for type conversions
Check safety-related diagnostic settings that apply to function-call connectivity
Check safety-related model referencing settings
Check safety-related optimization settings
Check scope of From and Goto blocks
Check signal line labels
Check state machine type of Stateflow charts
Check Stateflow charts for ordering of states and transitions
Check Stateflow charts for uniquely defined data objects
Check Stateflow data objects with local scope
Check Stateflow debugging options
Check subsystem names
Check the display attributes of block names
Check transition actions in Stateflow charts
Check Transition orientations in flow charts
Check Trigger and Enable block names
Check usage of exclusive and default states in state machines
Check usage of Logic and Bit Operations blocks
Check usage of lookup table blocks
Check usage of Math Operations blocks
Check usage of Ports and Subsystems blocks
Check usage of return values from a graphical function in Stateflow charts
Check usage of Signal Routing blocks
Check usage of Stateflow constructs
Check usage of Switch blocks
Check usage of tunable parameters in blocks
Check visibility of block port names
Check whether block names appear below blocks
Display configuration management data
Display model metrics and complexity report
Display model version information
Identify IBM Rational DOORS objects linked from Simulink that do not link to Simulink
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 descriptions that do not match their requirements document text
Was this topic helpful?