Model Advisor A:link {text-decoration:none; color:black} A:visited {text-decoration:none; color:black} A:hover {text-decoration:none; } .tab {background-color: #B9B9B9; border-style: ridge; border-width: 0px 0px 2px 0px; white-space: nowrap; cursor: pointer; cursor: hand; padding: 4px; } .activetab {border-style: ridge; border-width: 2px 2px 0px 2px; white-space: nowrap; padding: 4px;} .tabcontent {background-color: #E1E1E1; display: none; border-style: ridge; border-width: 0 2px 2px 2px;} .tabpanel {padding: 0px; margin: 0px;} By Product By Task Select product categories or items from the following list: Select or deselect all Simulink         Identify unconnected lines, input ports, and output ports         Check root model Inport block specifications         Check optimization settings         Check for parameter tunability information ignored for referenced models         Check for implicit signal resolution         Check for optimal bus virtuality         Check for calls to slDataTypeAndScale()         Check for Discrete-Time Integrator blocks with initial condition uncertainty         Identify disabled library links         Identify parameterized library links         Identify unresolved library links         Identify model reference variants and variant subsystems that override variant choice         Identify configurable subsystem blocks for converting to variant subsystem blocks         Check usage of function-call connections         Check signal logging save format         Check and update masked blocks in library to use promoted parameters         Runtime diagnostics for S-functions         Check if Read/Write diagnostics are enabled for Data Store blocks         Check Data Store Memory blocks for multitasking, strong typing, and shadowing issues         Check file for foreign characters         Check Model History properties         Open the Upgrade Advisor         Check for non-continuous signals driving derivative ports         * Check for partial structure parameter usage with bus signals         * Check bus usage         * Check for potentially delayed function-call block return values         * Identify block output signals with continuous sample time and non-floating point data type         * Check Merge block usage         * Check consistency of initialization parameters for Outport and Merge blocks         * Check data store block sample times for modeling errors         * Check for potential ordering issues involving data store access Embedded Coder         Identify blocks using one-based indexing         Check solver for code generation         Check for blocks not supported by code generation         Check for blocks not recommended for C/C++ production code deployment         Identify lookup table blocks that generate expensive out-of-range checking code         Check output types of logic blocks         Check the hardware implementation         Identify questionable software environment specifications         Identify questionable code instrumentation (data I/O)         Check for blocks that have constraints on tunable parameters         Check for blocks not recommended for MISRA-C:2004 compliance         Check configuration parameters for MISRA-C:2004 compliance         Check for model reference configuration mismatch         * Identify blocks that generate expensive saturation and rounding code         * Check sample times and tasking mode         * Identify questionable subsystem settings         * Identify questionable fixed-point operations Simulink Code Inspector         Check code generation settings         Check data import and export settings         Check diagnostic settings         Check hardware implementation settings         Check optimization settings         Check solver settings         Check for unconnected objects in the model         Check system target file setting         Check function specification setting         Check for Stateflow machine data         Check for Stateflow machine events         Check conditional input branch execution setting         * Check for unsupported blocks         * Check storage class for workspace variables         * Check for sample times in the model         * Check for Signal Conversion blocks automatically inserted on signals entering block input ports         * Check for usage of fixed-point instrumentation         * Check for root Outport blocks being conditionally assigned         * Check for usage of synthesized local data stores         * Check Loop unrolling threshold setting         * Check usage of global data stores         * Check destinations of If and Switchcase blocks         * Check for root Outport blocks that have non-auto storage class         * Check for Terminator blocks connected to Model Reference block outports         * Check for root Outport blocks being testpointed         * 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 Lookup Tables 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 Stateflow blocks         * Check usage of Stateflow charts         * Check usage of Stateflow transitions         * Check usage of Stateflow junctions         * Check usage of Stateflow data         * Check usage of Stateflow events         * Check usage of root Outport blocks         * Check usage of buses Simscape         Check consistency of block parameter units         Check for outdated Simscape blocks DO Qualification Kit         Display bug reports for Embedded Coder         Display bug reports for DO Qualification Kit         Display bug reports for Polyspace products for C/C++         Display bug reports for Simulink Code Inspector         Display bug reports for Simulink Report Generator         Display bug reports for Simulink Verification and Validation         Display bug reports for SystemTest IEC Certification Kit         Display bug reports for Embedded Coder         Display bug reports for IEC Certification Kit         Display bug reports for Polyspace products for C/C++         Display bug reports for Simulink Design Verifier         Display bug reports for Simulink PLC Coder         Display bug reports for Simulink Verification and Validation SimEvents         Check model and local libraries for legacy SimEvents blocks         Check for implicit event duplication caused by SimEvents blocks Simulink Verification and Validation     Modeling Standards         DO-178C/DO-331 Checks                 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 state machine type of Stateflow charts                 Check Stateflow charts for ordering of states and transitions                 Check Stateflow debugging options                 Check usage of lookup table blocks                 Check for inconsistent vector indexing methods                 Check for blocks not recommended for C/C++ production code deployment                 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                 * Display model version information         IEC 61508 and ISO 26262 Checks                 Check state machine type of Stateflow charts                 Check for inconsistent vector indexing methods                 Display model metrics and complexity report                 Check for unconnected objects                 Check for fully defined interface                 Check for blocks not recommended for C/C++ production code deployment                 Check for model objects that do not link to requirements                 * 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                 * Display configuration management data                 * Check usage of Stateflow constructs         MathWorks Automotive Advisory Board Checks                 Check font formatting                 Check transition orientations in flowcharts                 Check for nondefault block attributes                 Check signal line labels                 Check for propagated signal labels                 Check default transition placement in Stateflow charts                 Check return value assignments of graphical functions in Stateflow charts                 Check entry formatting in State blocks in Stateflow charts                 Check usage of return values from a graphical function in Stateflow charts                 Check for pointers in Stateflow charts                 Check for event broadcasts in Stateflow charts                 Check transition actions in Stateflow charts                 Check for MATLAB expressions in Stateflow charts                 Check for indexing in blocks                 Check file names                 Check folder names                 Check for prohibited blocks in discrete controllers                 Check for prohibited sink blocks                 Check positioning and configuration of ports                 Check for matching port and signal names                 Check whether block names appear below blocks                 Check for mixing basic blocks and subsystems                 Check for unconnected ports and signal lines                 Check position of Trigger and Enable blocks                 Check use of tunable parameters in blocks                 Check Stateflow data objects with local scope                 Check for Strong Data Typing with Simulink I/O                 Check usage of exclusive and default states in state machines                 Check Implement logic signals as Boolean data (vs. double)                 Check model diagnostic parameters                 Check the display attributes of block names                 Check display for port blocks                 Check subsystem names                 Check port block names                 Check character usage in signal labels                 Check character usage in block names                 Check Trigger and Enable block names                 Check for Simulink diagrams using nonstandard display attributes                 Check visibility of block port names                 Check orientation of Subsystem blocks                 Check configuration of Relational Operator blocks                 * Check use of Switch blocks                 * Check for signal bus and Mux block usage                 * Check for bitwise operations in Stateflow charts                 * Check for comparison operations in Stateflow charts                 * Check for unary minus operations on unsigned integers 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                 * Check scope of From and Goto blocks     Requirements Consistency             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 Simulink Control Design         * Identify time-varying source blocks interfering with frequency response estimation *Running this check triggers an Update Diagram, which increases processing time Select or deselect all