By Product
By Task
Select tasks from the following list:
Select or deselect all
Simulation Performance and Accuracy
>
* Check sample times of Data Store blocks
>
Check for non-continuous signals driving derivative ports
Simulation Runtime Accuracy Diagnostics
>
Runtime diagnostics for Data Store blocks.
>
Runtime diagnostics for S-functions
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 for proper bus usage
Managing Library Links
>
Identify disabled library links
>
Identify parameterized library links
>
Identify unresolved library links
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 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 blocks that compute absolute values
>
Check for proper usage of For Iterator blocks
>
* Check for proper usage of Relational Operator blocks
>
Check for proper usage of While Iterator blocks
>
Check for proper usage of Math 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 subsystem 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 that do not match their requirements document text
>
Check whether tunable parameters specify expressions, data type conversions, or indexing operations
>
Check interface signals and parameters
>
Check whether Stateflow data objects with local scope are defined at the chart level or below
>
Check whether Stateflow events are defined at the chart level or below
>
Check for exclusive states, default states, and substate validity
>
Disable signal logging
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 Simulink constructs
>
Check usage of Stateflow constructs
Requirement consistency checking
>
Identify requirement links with missing documents
>
Identify requirement links that specify invalid locations within documents
>
Identify selection-based links having description that do not match their requirements document text
>
Identify requirement links with path type inconsistent with preferences
Naming Conventions
>
Check for invalid filenames
>
Check for invalid model directory names
>
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
Model Architecture
>
Check for systems that mix primitive blocks and subsystems
Model Configuration Options
>
Check optimization parameters for Boolean data types
>
Check model diagnostic settings
Simulink
>
Check for Simulink diagrams that have nonstandard appearance attributes
>
Check for difference in font and font sizes
>
Check for invalid port positioning and configuration
>
Check visibility of block port names
>
Check Icon display parameter for port blocks
>
Check whether block names appear below blocks
>
Check the display attributes of block names
>
Check for improperly positioned Trigger and Enable blocks
>
Check for display of nondefault block attributes
>
Check whether annotations have drop shadows
>
Check for mismatches between names of ports and corresponding signals
>
Check Trigger and Enable Port block names
>
Check for proper labeling on signal lines.
>
Check for propagated labels on signal lines
>
Check whether model has unconnected block input ports, output ports, or signal lines
>
Check for blocks that are not discrete.
>
Check for prohibited sink blocks
>
* Check for proper scope of From and Goto blocks
>
* Check for proper use of Switch blocks
>
Check for proper position of constants used in Relational Operator blocks
>
Check for blocks that do not use one-based indexing
>
* Check for proper use of signal busses and Mux block usage
>
Check whether tunable parameters specify expressions, data type conversions, or indexing operations
>
Check for direction of subsystem blocks
Stateflow
>
* Check for mismatches between names of Stateflow ports and their associated signals
>
Check for exclusive states, default states, and substate validity
>
Check Transition orientations in flowcharts
>
Check for entry format in state blocks
>
Check setting Stateflow graphical function return value
>
Check default transition placement in Stateflow charts
>
Check interface signals and parameters
>
Check whether Stateflow data objects with local scope are defined at the chart level or below
>
Check for use of tunable parameters in Stateflow
>
Check whether Stateflow events are defined at the chart level or below
Modeling Standards for MAAB
Select or deselect all