High-Integrity Systems Modeling ChecksHigh-Integrity Systems Modeling checks facilitate designing and troubleshooting models, subsystems, and the corresponding generated code for applications to comply with High-Integrity Systems Modeling Guidelines. Show
The Model Advisor performs a checkout of the Simulink® Check™ license when you run the High-Integrity Systems Modeling checks. High-Integrity Systems Modeling checks are classified in to the following groups: SimulinkHigh-Integrity Systems Modelling checks for Simulink blocks and components. For more information, see Model Checks for High Integrity Systems Modeling. MATLABHigh-Integrity Systems Modelling checks for MATLAB code. For more information, see Model Checks for High Integrity Systems Modeling. ConfigurationHigh-Integrity Systems Modelling checks for Configuration settings. For more information, see Model Checks for High Integrity Systems Modeling. NamingHigh-Integrity Systems Modelling checks for Naming conventions. For more information, see Model Checks for High Integrity Systems Modeling. RequirementsHigh-Integrity Systems Modelling checks for Requirements Toolbox™ traceability. For more information, see Model Checks for High Integrity Systems Modeling. CodeHigh-Integrity Systems Modelling checks for generated code. For more information, see Model Checks for High Integrity Systems Modeling. StateflowHigh-Integrity Systems Modelling checks for Stateflow® charts and components. For more information, see Model Checks for High Integrity Systems Modeling. Split Checks for High Integrity Systems ModelingFrom R2018b and later, the following checks are not recommended for use. These checks are split into multiple checks that focus on a single action or operation. For more information, see the Split and New Checks table below. Check usage of standardized MATLAB function headersCheck ID: DescriptionThis check inspects all MATLAB functions in the model, local functions, and referenced MATLAB files for standardized function headers and checks for these details:
Following is an example of how to define function headers: %<Function Name> - Description of the function %<Input variable 1> - Description of input variable 1 %<Input variable 2> - Description of input variable 2 %<Output variable 1> - Description of output variable 1 Available with Simulink Check. Check ParameterizationYou can set the following configuration through Model Advisor Configuration Editor. Select the MATLAB Function header format type, and the custom header format and configure the description tags from the Header format typeand input parameters. The format for the should be of a string type with comma separated tags. By default, the Header format type is set to and the parameter is . For example, considering the default values (Description, Input, Output), each of the layer in the model should have the description format as following: Description: <model description> Input: <input information> Output: <output information> Results and Recommended Actions
Capabilities and Limitations
See Also
Check for MATLAB Function interfaces with inherited propertiesCheck ID: Identify MATLAB® Functions that have inputs, outputs or parameters with inherited complexity or data type properties. DescriptionThe check identifies MATLAB Functions with inherited complexity or data type properties. A results table provides links to MATLAB Functions that do not pass the check, along with conditions triggering the warning. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check MATLAB Function metricsCheck ID: Display complexity and code metrics for MATLAB Functions. Report metric violations. DescriptionThis check provides complexity and code metrics for MATLAB Functions. The check reports two categories of metrics violations:
Available with Simulink Check. Input ParametersYou can define the tolerance for these complexity parameters by using the Model Advisor Configuration Editor:
Results and Recommended Actions
Capabilities and Limitations
See Also
Check MATLAB Code Analyzer messagesCheck ID: Check MATLAB Functions for DescriptionVerifies
Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check if/elseif/else patterns in MATLAB Function blocksCheck ID: DescriptionThis check identifies the if/elseif/else patterns without appropriate else conditions in embedded MATLAB code. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check switch statements in MATLAB Function blocksCheck ID: DescriptionThis check identifies the switch/case/otherwise statements without appropriate conditions in embedded MATLAB code. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of relational operators in MATLAB Function blocksCheck ID:
DescriptionThis check inspects all MATLAB functions in the model, local functions, and referenced MATLAB files for the relational operator statements which operate on operands of different data types. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of logical operators and functions in MATLAB Function blocksCheck ID: DescriptionThis check identifies the logical operators and functions operating on operands with numeric data types in MATLAB Function blocks. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check state machine type of Stateflow chartsCheck ID: Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor. DescriptionCompares the state machine type of all Stateflow charts to the type that you specify in the input parameters. Available with Simulink Check. This check requires a Stateflow license. Input ParametersClassic Check whether all charts are Classic charts. MealyCheck whether all charts are Mealy charts. MooreCheck whether all charts are Moore charts. Results and Recommended Actions
Capabilities and Limitations
See Also
Check Stateflow charts for ordering of states and transitionsCheck ID: Identify Stateflow charts that have User-specified state/transition execution order cleared. DescriptionIdentify Stateflow charts that have User-specified state/transition execution order cleared, and therefore do not use explicit ordering of parallel states and transitions. Available with Simulink Check. This check requires a Stateflow license. Results and Recommended Actions
Capabilities and Limitations
Action ResultsClicking Modify selects User-specified state/transition execution order for the specified charts. See Also
Check usage of recursionsCheck ID: DescriptionIdentifies the usage of recursive behavior. Note The undirected events are known to cause recursion in the generated code. Available with Simulink Check. This check requires a Stateflow license. Results and Recommended Actions
Capabilities and Limitations
See Also
Check Stateflow debugging optionsCheck ID: Check the Stateflow debugging settings. DescriptionVerify the following debugging settings.
Available with Simulink Check. This check requires a Stateflow license. Results and Recommended Actions
Capabilities and Limitations
Action ResultsClicking Modify selects the specified debugging options. See Also
Check Stateflow charts for transition paths that cross parallel state boundariesCheck ID: Identify transition paths that cross parallel state boundaries in Stateflow charts. DescriptionIdentify transition paths that cross parallel state boundaries in Stateflow charts. This check identifies transition paths that cross parallel state boundaries in Stateflow charts. Available with Simulink Check. This check requires a Stateflow license. Results and Recommended Actions
Capabilities and Limitations
See Also
Check for inappropriate use of transition pathsCheck ID: DescriptionThis check inspects the use of junctions inside states and identifies the junctions that lie on a path that goes in and out of a state. Available with Simulink Check. This check requires a Stateflow license. Results and Recommended Actions
Capabilities and Limitations
See Also
Check Stateflow charts for strong data typingCheck
ID: Identify variables and parameters in expressions with different data types in Stateflow objects. DescriptionTo facilitate strong data typing, this check identifies the variables and parameters in expressions with different data types in Stateflow states and transitions. Available with Simulink Check. This check requires a Stateflow license. Results and Recommended Actions
Capabilities and Limitations
See Also
Check naming of ports in Stateflow chartsCheck ID: DescriptionThis check identifies the mismatches between names of Stateflow ports and associated signals. The reusable Stateflow blocks can have different port names. Available with Simulink Check. This check requires a Stateflow license. Results and Recommended Actions
Capabilities and Limitations
See Also
Check scoping of Stateflow data objectsCheck ID: DescriptionThis check identifies the Stateflow data objects with local scope that are not scoped at the chart level or below. Available with Simulink Check. This check requires a Stateflow license. Results and Recommended Actions
Capabilities and Limitations
See Also
Check assignment operations in Stateflow ChartsCheck ID: Identify assignment operations in Stateflow objects. DescriptionThis check identifies the assignment operations in Stateflow objects that implicitly cast integer and fixed-point arithmetic calculations to wider data types than the input data types. This check identifies only the assignments with arithmetic operations. Available with Simulink Check. This check requires a Stateflow license. Results and Recommended Actions
Capabilities and Limitations
See Also
Check Stateflow charts for unary operatorsCheck ID: Identify unary operators in Stateflow charts. DescriptionThis check identifies the unary minus operators on unsigned data types in Stateflow charts. Available with Simulink Check. This check requires a Stateflow license. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of Abs blocksCheck ID: Identify usage of Math Operation blocks that might impact safety. DescriptionThis check inspects the usage of the Abs block. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of remainder and reciprocal operationsCheck ID: DescriptionIdentifies usage of remainder and reciprocal operations that cause non-finite results. Available with Simulink Check. This check requires a Simulink Design Verifier™ (SLDV) license. Note: This check will perform SLDV analysis on the model. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of log and log10 operationsCheck ID: DescriptionIdentifies log and log10 operations in the model that can cause nonfinite results. Available with Simulink Check. This check requires a Simulink Design Verifier (SLDV) license. Note: This check will perform SLDV analysis on the model. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of While Iterator blocksCheck ID: DescriptionThis check inspects the usage of While Iterator blocks. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of For and While Iterator subsystemsCheck ID: DescriptionThis check inspects the usage of time-dependent blocks in a For Iterator or While Iterator subsystem. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of For Iterator blocksCheck ID: DescriptionThis check inspects the usage of For Iterator blocks. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of If blocks and If Action Subsystem blocksCheck ID: DescriptionThis check inspects the usage of If blocks. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of Switch Case blocks and Switch Case Action Subsystem blocksCheck ID: DescriptionThis check inspects the usage of Switch Case blocks The check flags Switch Case blocks that do not use integer data types or enumeration values for inputs. To comply with hisl_0011: Usage of Switch Case blocks and Action Subsystem blocks – C, use an integer data type or an enumeration value for the inputs to Switch Case blocks. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of conditionally executed subsystemsCheck ID: DescriptionThis check identifies the blocks with incorrect sample times in conditionally executed subsystems and asynchronously executed sample time dependent blocks. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check safety-related diagnostic settings for data store memoryCheck ID: Check model configuration for diagnostic settings that apply to data store memory and that can impact safety. DescriptionThis check verifies that model diagnostic configuration parameters pertaining to data store memory are set optimally for generating code for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model diagnostic settings that apply to data store memory and that can impact safety. Capabilities and Limitations
See Also
Check usage of Merge blocksCheck ID: DescriptionThis check identifies the Merge blocks that are not directly connected to a conditionally executed subsystem and have the Allow unequal port widths parameter set to on. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check relational comparisons on floating-point signalsCheck ID: DescriptionIdentifies the relational blocks or operations that perform equality or inequality comparisons on floating-point signals. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of Relational Operator blocksCheck ID: DescriptionThis check inspects the usage of blocks that compute relational operators, including Relational Operator, Compare To Constant, Compare To Zero and, Detect Change blocks. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of Logical Operator blocksCheck ID: Identify usage of Logical Operator blocks that might impact safety. DescriptionThis check inspects the usage of Logical Operator blocks. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of bit operation blocksCheck ID: Identify bit operation blocks with signed data types as inputs DescriptionThis check identifies the use of the Bitwise Operations for the input and output data types. The check also looks at other bit operations blocks as following:
Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check for blocks not recommended for C/C++ production code deploymentCheck ID: Identify blocks not supported by code generation or not recommended for C/C++ production code deployment. DescriptionThis check partially identifies model constructs that are not recommended for C/C++ production code generation. For Simulink Coder™ and Embedded Coder®, these model construct identities appear in tables of Simulink Block Support (Simulink Coder). . In some instances, this check flags blocks that are supported for code generation. For these blocks, you should review the footnote information that is provided in the support notes and adhere to the recommended action provided by the Model Advisor. Available with a Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check for inconsistent vector indexing methodsCheck ID: Identify blocks with inconsistent indexing method. DescriptionUsing inconsistent block indexing methods can result in modeling errors. You should use a consistent vector indexing method for all blocks. The indexing methods are zero-based, one-based or user-specified. Blocks that support configurable indexing:
Blocks that support only one-based indexing:
Blocks that supports only zero-based indexing:
Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check data types for blocks with index signalsCheck ID:
DescriptionThis check Identifies the blocks with index signals that have data types other than integers or enum and are within the range of indexed values. Available with Simulink Check. Check ParameterizationYou can use Model
Advisor Configuration Editor to configure this check to include files with a Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of variant blocksCheck ID: Check variant block parameters for settings that might result in code that does not trace to requirements. DescriptionThis check verifies that variant block parameters for code generation are set to trace to requirements. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check for root Inports with missing propertiesCheck ID: DescriptionIdentifies the following:
When you run the check, a results table provides links to Inport blocks and signal objects that do not pass, along with conditions triggering the warning. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check for root Inports with missing range definitionsCheck ID: DescriptionIdentifies the following:
A results table provides links to Inport blocks and signal objects that do not pass the check, along with conditions triggering the warning. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check for root Outports with missing range definitionsCheck ID: DescriptionIdentifies the following:
A results table provides links to Outport blocks that do not pass the check, along with conditions triggering the warning. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of Assignment blocksCheck ID: Identify usage of Math Operation blocks that might impact safety. DescriptionThis check inspects the usage of the Assignment blocks. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check model file nameCheck ID: DescriptionThis check inspects the model file name to ensure that the name complies with the recommended guidelines. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check model object namesCheck ID: Check model object names. DescriptionThis check verifies that the following model object names comply with your own modeling guidelines or the high-integrity modeling guidelines. The check also verifies that the model object does not use a reserved name.
Reserved names:
Note In some cases, the Model Advisor reports an issue in multiple subchecks of this check. Available with Simulink Check. Input ParametersTo specify the naming standard and model object names that the check flags, use the Model Advisor Configuration Editor.
Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of lookup table blocksCheck ID: Check for lookup table blocks that do not generate out-of-range checking code. DescriptionThis check verifies that the following blocks generate code to protect against inputs that fall outside the range of valid breakpoint values:
This check also verifies that Interpolation Using Prelookup blocks generate code to protect against inputs that fall outside the range of valid index values. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
Action ResultsClicking Modify verifies that lookup table blocks are set to generate out-of-range checking code. See Also
Check usage of Signal Routing blocksCheck ID: Identify usage of Signal Routing blocks that might impact safety. DescriptionThis check identifies model or subsystem Switch blocks that might generate code with inequality operations (~=) in expressions that contain a floating-point variable or constant. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check safety-related diagnostic settings for savingCheck ID: Check model configuration for diagnostic settings that apply to saving model files DescriptionThis check verifies that model configuration parameters are set optimally for saving a model for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model diagnostic settings that apply to saving a model file. Capabilities and Limitations
See Also
Check safety-related model referencing settingsCheck ID: Check model configuration for model referencing settings that can impact safety. DescriptionThis check verifies that model configuration parameters for model referencing are set optimally for generating code for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model referencing settings that can impact safety. Subchecks depend on the results of the subchecks noted with D in the results table in the Model Advisor window. Capabilities and Limitations
See Also
Check safety-related code generation settings for commentsCheck ID: Check model configuration for code generation settings that can impact safety. DescriptionThis check verifies that model configuration parameters for code generation are set optimally for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model code generation settings that can impact safety. Subchecks depend on the results of the subchecks noted with D in the results table in the Model Advisor window. Capabilities and Limitations
See Also
Check safety-related code generation interface settingsCheck ID: Check model configuration for code generation settings that can impact safety. DescriptionThis check verifies that model configuration parameters for code generation are set optimally for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model code generation settings that can impact safety. Subchecks depend on the results of the subchecks noted with D in the results table in the Model Advisor window. Capabilities and Limitations
See Also
Check safety-related solver settings for simulation timeCheck ID: Check solver settings in the model configuration that apply to simulation time and might impact safety. DescriptionThis check verifies that the model solver configuration parameters pertaining to simulation time are set optimally for generating code for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model diagnostic settings that apply to solvers and that can impact safety. Capabilities and Limitations
See Also
Check safety-related solver settings for solver optionsCheck ID: Check solver settings in the model configuration that apply to solvers and might impact safety. DescriptionThis check verifies that the model solver configuration parameters pertaining to solvers are set optimally for generating code for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model diagnostic settings that apply to solvers and that can impact safety. Capabilities and Limitations
See Also
Check safety-related solver settings for tasking and sample-timeCheck ID: Check solver settings in the model configuration that apply to periodic sample time constraints and might impact safety. DescriptionThis check verifies that model configuration parameters are set optimally to ensure that the model operates at a specific set of prioritized periodic sample times for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check safety-related diagnostic settings for solversCheck ID: Check model configuration for diagnostic settings that apply to solvers and that can impact safety. DescriptionThis check verifies that model diagnostic configuration parameters pertaining to solvers are set optimally for generating code for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model diagnostic settings that apply to solvers and that can impact safety. Capabilities and Limitations
See Also
Check safety-related diagnostic settings for sample timeCheck ID: Check model configuration for diagnostic settings that apply to sample time and that can impact safety. DescriptionThis check verifies that model diagnostic configuration parameters pertaining to sample times are set optimally for generating code for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model diagnostic settings that apply to sample time and that can impact safety. Capabilities and Limitations
See Also
Check safety-related optimization settings for logic signalsCheck ID: Check model configuration for optimization settings that can impact safety. DescriptionThis check verifies that model optimization configuration parameters are set optimally for generating code for a safety-related application. Although highly optimized code is desirable for most real-time systems, some optimizations can have undesirable side effects that impact safety. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model optimization settings that can impact safety. Subchecks depend on the results of the subchecks noted with D in the results table in the Model Advisor window. Capabilities and Limitations
See Also
Check safety-related block reduction optimization settingsCheck ID: Check model configuration for optimization settings that can impact safety. DescriptionThis check verifies that model optimization configuration parameters are set optimally for generating code for a safety-related application. Although highly optimized code is desirable for most real-time systems, some optimizations can have undesirable side effects that impact safety. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model optimization settings that can impact safety. Subchecks depend on the results of the subchecks noted with D in the results table in the Model Advisor window. Capabilities and Limitations
See Also
Check safety-related code generation settings for code styleCheck ID: Check model configuration for code generation settings that can impact safety. DescriptionThis check verifies that model configuration parameters for code generation are set optimally for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model code generation settings that can impact safety. Subchecks depend on the results of the subchecks noted with D in the results table in the Model Advisor window. Capabilities and Limitations
See Also
Check safety-related optimization settings for application lifespanCheck ID: Check model configuration for optimization settings that can impact safety. DescriptionThis check verifies that model optimization configuration parameters are set optimally for generating code for a safety-related application. Although highly optimized code is desirable for most real-time systems, some optimizations can have undesirable side effects that impact safety. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model optimization settings that can impact safety. Subchecks depend on the results of the subchecks noted with D in the results table in the Model Advisor window. Capabilities and Limitations
See Also
Check safety-related code generation identifier settingsCheck ID: Check model configuration for code generation settings that can impact safety. DescriptionThis check verifies that model configuration parameters for code generation are set optimally for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model code generation settings that can impact safety. Subchecks depend on the results of the subchecks noted with D in the results table in the Model Advisor window. Capabilities and Limitations
See Also
Check safety-related optimization settings for data initializationCheck ID: Check model configuration for optimization settings that can impact safety. DescriptionThis check verifies that model optimization configuration parameters are set optimally for generating code for a safety-related application. Although highly optimized code is desirable for most real-time systems, some optimizations can have undesirable side effects that impact safety. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model optimization settings that can impact safety. Subchecks depend on the results of the subchecks noted with D in the results table in the Model Advisor window. Capabilities and Limitations
See Also
Check safety-related optimization settings for data type conversionsCheck ID: Check model configuration for optimization settings that can impact safety. DescriptionThis check verifies that model optimization configuration parameters are set optimally for generating code for a safety-related application. Although highly optimized code is desirable for most real-time systems, some optimizations can have undesirable side effects that impact safety. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model optimization settings that can impact safety. Subchecks depend on the results of the subchecks noted with D in the results table in the Model Advisor window. Capabilities and Limitations
See Also
Check safety-related optimization settings for division arithmetic exceptionsCheck ID: Check model configuration for optimization settings that can impact safety. DescriptionThis check verifies that model optimization configuration parameters are set optimally for generating code for a safety-related application. Although highly optimized code is desirable for most real-time systems, some optimizations can have undesirable side effects that impact safety. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model optimization settings that can impact safety. Subchecks depend on the results of the subchecks noted with D in the results table in the Model Advisor window. Capabilities and Limitations
See Also
Check safety-related optimization settings for specified minimum and maximum valuesCheck ID: Check model configuration for optimization settings that can impact safety. DescriptionThis check verifies that model optimization configuration parameters are set optimally for generating code for a safety-related application. Although highly optimized code is desirable for most real-time systems, some optimizations can have undesirable side effects that impact safety. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model optimization settings that can impact safety. Subchecks depend on the results of the subchecks noted with D in the results table in the Model Advisor window. Capabilities and Limitations
See Also
Check Stateflow charts for uniquely defined data objectsCheck ID: Identify Stateflow charts that include data objects that are not uniquely defined. DescriptionThis check searches your model for local data in Stateflow charts that is not uniquely defined. Available with Simulink Check. This check requires a Stateflow license. Results and Recommended Actions
Capabilities and Limitations
See Also
Check global variables in graphical functionsCheck ID: DescriptionThis check Identifies the expressions that read and write to the same global data in a Stateflow. This check requires Simulink Check and Stateflow licenses. Results and Recommended Actions
Capabilities and Limitations
See Also
Check for length of user-defined object namesCheck
ID: DescriptionThis check inspects the length of the names of these user-defined objects against the Maximum Identifier length parameter in configuration settings:
Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of Gain blocksCheck ID: DescriptionThis check identifies the Gain blocks with value that resolves to 1, an identity matrix, or a matrix of ones. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check for divide-by-zero calculationsCheck
ID: DescriptionIdentifies the blocks that can result in divide-by-zero calculations. Available with Simulink Check. This check requires Simulink Design Verifier license. Results and Recommended Actions
Capabilities and Limitations
See Also
Check for model elements that do not link to requirementsCheck ID: Check whether Simulink model elements link to a requirements document. DescriptionThis check verifies whether model objects link to a document containing engineering requirements for traceability. Available with Simulink Check. This check requires a Requirements Toolbox license. Check ParameterizationThe following configuration can be set through Model Advisor Configuration Editor.
Results and Recommended Actions
Capabilities and Limitations
TipRun this check from the top model or subsystem that you want to check. See Also
Check safety-related settings for hardware implementationCheck ID: DescriptionIdentifies the inconsistencies or underspecifications of hardware attributes that can lead to non-optimal results. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check data type of loop control variablesCheck ID: DescriptionThis check identifies loop control variables using non-integer data types on the following:
Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check safety-related diagnostic settings for compatibilityCheck ID: Check model configuration for diagnostic settings that affect compatibility and that might impact safety. DescriptionThis check verifies that model diagnostic configuration parameters pertaining to compatibility are set optimally for generating code for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model diagnostic settings that affect compatibility and that might impact safety. Capabilities and Limitations
See Also
Check safety-related diagnostic settings for parametersCheck
ID: Check model configuration for diagnostic settings that apply to parameters and that can impact safety. DescriptionThis check verifies that model diagnostic configuration parameters pertaining to parameters are set optimally for generating code for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model diagnostic settings that apply to parameters and that can impact safety. Capabilities and Limitations
See Also
Check safety-related diagnostic settings for Merge blocksCheck ID: Check model configuration for diagnostic settings that apply to Merge blocks DescriptionThis check verifies that model configuration parameters are set optimally for Merge blocks for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model diagnostic settings that apply to solvers and that can impact safety. Capabilities and Limitations
See Also
Check safety-related diagnostic settings for model initializationCheck
ID: In the model configuration, check diagnostic settings that affect model initialization and might impact safety. DescriptionThis check verifies that model diagnostic configuration parameters for initialization are optimally set to generate code for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsTo configure the diagnostic settings that affect model initialization and might impact safety, click Modify Settings. Subchecks depend on the results of the subchecks noted with D in the results table in the Model Advisor window. Capabilities and Limitations
See Also
Check safety-related diagnostic settings for data used for debuggingCheck ID: Check model configuration for diagnostic settings that apply to data used for debugging and that can impact safety. DescriptionThis check verifies that model diagnostic configuration parameters pertaining to debugging are set optimally for generating code for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model diagnostic settings that apply to data used for debugging and that can impact safety. Capabilities and Limitations
See Also
Check safety-related diagnostic settings for signal connectivityCheck ID: Check model configuration for diagnostic settings that apply to signal connectivity and that can impact safety. DescriptionThis check verifies that model diagnostic configuration parameters pertaining to signal connectivity are set optimally for generating code for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model diagnostic settings that apply to signal connectivity and that can impact safety. Capabilities and Limitations
See Also
Check safety-related diagnostic settings for bus connectivityCheck ID: Check model configuration for diagnostic settings that apply to bus connectivity and that can impact safety. DescriptionThis check verifies that model diagnostic configuration parameters pertaining to bus connectivity are set optimally for generating code for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model diagnostic settings that apply to bus connectivity and that can impact safety. Capabilities and Limitations
See Also
Check safety-related diagnostic settings that apply to function-call connectivityCheck ID: Check model configuration for diagnostic settings that apply to function-call connectivity and that can impact safety. DescriptionThis check verifies that model diagnostic configuration parameters pertaining to function-call connectivity are set optimally for generating code for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model diagnostic settings that apply to function-call connectivity and that can impact safety. Capabilities and Limitations
See Also
Check safety-related diagnostic settings for type conversionsCheck ID: Check model configuration for diagnostic settings that apply to type conversions and that can impact safety. DescriptionThis check verifies that model diagnostic configuration parameters pertaining to type conversions are set optimally for generating code for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model diagnostic settings that apply to type conversions and that can impact safety. Capabilities and Limitations
See Also
Check safety-related diagnostic settings for model referencingCheck ID: Check model configuration for diagnostic settings that apply to model referencing and that can impact safety. DescriptionThis check verifies that model diagnostic configuration parameters pertaining to model referencing are set optimally for generating code for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model diagnostic settings that apply to model referencing and that can impact safety. Capabilities and Limitations
See Also
Check safety-related diagnostic settings for StateflowCheck ID: Check safety-related diagnostic settings for Stateflow DescriptionThis check verifies that model configuration parameters are set optimally for Stateflow for a safety-related application. Available with Simulink Check. This check requires Stateflow license. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model diagnostic settings that apply to solvers and that can impact safety. Capabilities and Limitations
See Also
Check safety-related diagnostic settings for signal dataCheck
ID: Check model configuration for diagnostic settings that apply to signal data and that can impact safety. DescriptionThis check verifies that model diagnostic configuration parameters pertaining to signal data are set optimally for generating code for a safety-related application. Available with Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify Settings configures model diagnostic settings that apply to signal data and that can impact safety. Capabilities and Limitations
See Also
Check MATLAB functions not supported for code generationCheck
ID: DescriptionThis check identifies the MATLAB functions that are not supported for code generation. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Metrics for generated code complexityCheck ID: DescriptionIdentifies the usage of built-in MATLAB Functions with high code complexity of generated code. Available with Simulink Check. Input ParametersFor this check, you can set the following customizations using Model Advisor Configuration Editor:
Results and Recommended Actions
Capabilities and Limitations
See Also
Check for parameter tunability ignored for referenced modelsCheck ID: DescriptionThis check identifies the models parameter tunability information specified using Model Parameter Configuration dialog box. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of bit-shift operationsCheck ID: DescriptionIdentifies blocks or expressions that perform bit-shift operations greater than the bit width of Input type that might result in violation of coding standards. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check safety-related diagnostic settings for variantsCheck ID: DescriptionIdentifies the diagnostic settings in the model configuration that apply to variants. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of square root operationsCheck ID: DescriptionIdentifies the square root operations with inputs that can be negative. Available with Simulink Check. This check requires a Simulink Design Verifier (SLDV) license. Note: This check will perform SLDV analysis on the model. Results and Recommended Actions
Capabilities and Limitations
See Also
Check usage of Reciprocal Sqrt blocksCheck ID: DescriptionIdentifies Reciprocal Sqrt blocks with inputs that can become zero or negative. Available with Simulink Check. This check requires a Simulink Design Verifier (SLDV) license. Note: This check will perform SLDV analysis on the model. Results and Recommended Actions
Capabilities and Limitations
See Also
Check for disabled and parameterized library linksCheck ID: DescriptionIdentifies the disabled and parameterized library links in the model. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check for unreachable and dead codeCheck ID:
DescriptionIdentifies the blocks and operations that results in unreachable and dead code. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check for root Outports with missing propertiesCheck ID: DescriptionIdentifies the following:
When you run the check, a results table provides links to Outport blocks and signal objects that do not pass, along with conditions triggering the warning. Available with Simulink Check. Results and Recommended Actions
Capabilities and Limitations
See Also
Check type and size of condition expressionsCheck ID: DescriptionThis check evaluates the model to check that logical scalars are used for these condition expressions:
Available with Simulink Check. Results and Recommended Actions
Action ResultsThe results table identifies each expression that contains an expression that is not a logical scalar. To review the issue, select the corresponding function link from the result table. The Model Advisor opens and highlights the corresponding function definition or, for Stateflow, opens the chart and highlights the state in which the issue occurs. Manually change the condition expressions to logical scalars. Save the model and rerun the check. Capabilities and Limitations
See Also
Check configuration parameters for MISRA C:2012Check ID: Identify configuration parameters that can impact MISRA C:2012 compliant code generation. DescriptionFollowing the recommendations of this check increases the likelihood of generating MISRA C:2012 compliant code for embedded applications. Available with Embedded Coder and Simulink Check. Results and Recommended Actions
Action ResultsClicking Modify All changes the parameter values to the recommended values. Note When you click Modify All for models with a GRT-based target, the Model Advisor does not update the System target file configuration parameter to an ERT-based system. Parameter subchecks depend on the results of the parameter noted with D in the results table. When the result is D-Warning, the Current Value column in the results table states Prerequisite constraint not met for the subchecks. After you change the parameter, rerun the check. Note Some subchecks are specific to configuration parameters for ERT-based systems. These parameters are not updated when you click Modify All unless you change the model to an ERT-based system. Capabilities and LimitationsFollowing parameters setting is informational in the check:
This check does not review referenced models. See Also
Check for blocks not recommended for MISRA C:2012Check ID: Identify blocks that are not supported or recommended for MISRA C:2012 compliant code generation. DescriptionFollowing the recommendations of this check increases the likelihood of generating MISRA C:2012 compliant code for embedded applications. Available with Embedded Coder and Simulink Check. Results and Recommended Actions
Capabilities and LimitationsYou can:
Edit-Time Checking. This check is supported by edit-time checking. See Also
What is a relational conflict style?Conflict exists in relational systems as it is determined by the people who are involved; when two people are involved in a long-term relationship they develop their own relational conflict style, which is a pattern of managing disagreements that repeats itself over time.
Which of the following types of conflict refers to disputes that arise between individuals?Interpersonal conflict refers to the disputes that arise between individuals. This is the type of conflict we focus on when we discuss conflict in organizations. Societal conflict refers to clashes between societies and nations.
What are the two types of conflict that occur regarding group goals?There are two main types of intragroup conflict: task conflict and relationship conflict. Task conflicts occur due to differing aims or an inability to meet the group's standards, while relationship conflicts involve issues relating to personal views, attitudes, beliefs, and personality traits.
Which conflict resolution style occurs when one party gives in to the demands of others and may neglect their own concerns?Accommodating - allowing the other party to satisfy their concerns while neglecting your own. Avoiding - not paying attention to the conflict and not taking any action to resolve it.
|