|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Model Advisor Report - dsogi_pll_3ph.slx | |
| Simulink version: 10.7 | Model version: 1.64 |
| System: dsogi_pll_3ph | Current run: 23-May-2024 19:48:51 |
| Treat as Referenced Model: off | |
| Incomplete | Failed | Warning | Justified | Passed | Not Run | Total | |
|---|---|---|---|---|---|---|---|
|
|
|
|
|
|
|
69 |
Verify 'Use dynamic memory allocation for model initialization' setting
Check whether Code Generation > Interface > Use dynamic memory allocation for model initialization is cleared.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Shared code placement' setting
Check whether Code Generation > Interface > Shared code placement is set to 'Shared location'.
Warning
Code Generation > Interface > Shared code placement is not set to 'Shared location' .
Recommended Action
Set Code Generation > Interface > Shared code placement to 'Shared location' .
_________________________________________________________________________________________
Verify 'Additional code' setting
Check whether Code Generation > Custom Code > Additional code is set to "" (i.e. unspecified).
Passed
Code Generation > Custom Code > Additional code is set to "".
_________________________________________________________________________________________
Verify 'Include headers' setting
Check whether Code Generation > Custom Code > Include headers is set to "" (i.e. unspecified).
Passed
Code Generation > Custom Code > Include headers is set to "".
_________________________________________________________________________________________
Verify 'Initialize code' setting
Check whether Code Generation > Custom Code > Initialize code is set to "" (i.e. unspecified).
Passed
Code Generation > Custom Code > Initialize code is set to "".
_________________________________________________________________________________________
Verify 'Terminate code' setting
Check whether Code Generation > Custom Code > Terminate code is set to "" (i.e. unspecified).
Passed
Code Generation > Custom Code > Terminate code is set to "".
_________________________________________________________________________________________
Verify 'Disable incompatible optimizations' setting
Check whether Code Generation > Optimization > Disable incompatible optimizations is set to '-SLCI'.
Warning
Code Generation > Optimization > Disable incompatible optimizations is not set to '-SLCI' .
Recommended Action
Set Code Generation > Optimization > Disable incompatible optimizations to '-SLCI' .
_________________________________________________________________________________________
Verify 'Combine signal/state structures' setting
Check whether Code Generation > Interface > Combine signal/state structures is cleared.
Warning
Code Generation > Interface > Combine signal/state structures is selected.
Recommended Action
Clear the Code Generation > Interface > Combine signal/state structures checkbox.
_________________________________________________________________________________________
Verify 'Array layout' setting
Check whether Code Generation > Interface > Array layout is set to 'Column-major'.
Passed
Code Generation > Interface > Array layout is set to 'Column-major'.
_________________________________________________________________________________________
Verify 'Remove code from floating-point to integer conversions that wraps out-of-range values' setting
Check whether Code Generation > Optimization > Remove code from floating-point to integer conversions that wraps out-of-range values is selected.
Passed
Code Generation > Optimization > Remove code from floating-point to integer conversions that wraps out-of-range values is selected.
_________________________________________________________________________________________
Verify 'Remove code from floating-point to integer conversions with saturation that maps NaN to zero' setting
Check whether Code Generation > Optimization > Remove code from floating-point to integer conversions with saturation that maps NaN to zero is cleared.
Warning
Code Generation > Optimization > Remove code from floating-point to integer conversions with saturation that maps NaN to zero is selected.
Recommended Action
Clear the Code Generation > Optimization > Remove code from floating-point to integer conversions with saturation that maps NaN to zero checkbox.
_________________________________________________________________________________________
Verify 'Include comments' setting
Check whether Code Generation > Comments > Include comments is selected.
Passed
Code Generation > Comments > Include comments is selected.
_________________________________________________________________________________________
Verify 'Preserve condition expression in if statement' setting
Check whether Code Generation > Code Style > Preserve condition expression in if statement is selected.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Code replacement library' setting
Check whether Code Generation > Interface > Code replacement library is set to 'None'.
Passed
Code Generation > Interface > Code replacement library is set to 'None'.
_________________________________________________________________________________________
Verify 'Language standard' setting
Check whether Code Generation > Language standard is set to 'C89/C90 (ANSI)' or 'C99 (ISO)'.
Passed
Code Generation > Language standard is set to 'C89/C90 (ANSI)' or 'C99 (ISO)'.
_________________________________________________________________________________________
Verify 'Classic call interface' setting
Check whether Code Generation > Interface > Classic call interface is cleared.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Terminate function required' setting
Check whether Code Generation > Interface > Terminate function required is cleared.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Remove code that protects against division arithmetic exceptions' setting
Check whether Code Generation > Optimization > Remove code that protects against division arithmetic exceptions is cleared.
Passed
Code Generation > Optimization > Remove code that protects against division arithmetic exceptions is cleared.
_________________________________________________________________________________________
Verify 'MAT-file logging' setting
Check whether Code Generation > Interface > MAT-file logging is cleared.
Passed
Code Generation > Interface > MAT-file logging is cleared.
_________________________________________________________________________________________
Verify 'Pack Boolean data into bitfields' setting
Check whether Code Generation > Optimization > Pack Boolean data into bitfields is cleared.
Passed
Code Generation > Optimization > Pack Boolean data into bitfields is cleared.
_________________________________________________________________________________________
Verify 'Use bitsets for storing state configuration' setting
Check whether Code Generation > Optimization > Use bitsets for storing state configuration is cleared.
Passed
Code Generation > Optimization > Use bitsets for storing state configuration is cleared.
_________________________________________________________________________________________
Verify 'non-finite numbers' setting
Check whether Code Generation > Interface > non-finite numbers is cleared.
Warning
Code Generation > Interface > non-finite numbers is selected.
Recommended Action
Clear the Code Generation > Interface > non-finite numbers checkbox.
_________________________________________________________________________________________
Verify 'absolute time' setting
Check whether Code Generation > Interface > absolute time is cleared.
Warning
Code Generation > Interface > absolute time is selected.
Recommended Action
Clear the Code Generation > Interface > absolute time checkbox.
_________________________________________________________________________________________
Verify 'Operator to represent Bitwise and Logical Operator blocks' setting
Check whether Code Generation > Optimization > Operator to represent Bitwise and Logical Operator blocks is set to 'Same as modeled' or 'Bitwise operator'.
Passed
Code Generation > Optimization > Operator to represent Bitwise and Logical Operator blocks is set to 'Same as modeled' or 'Bitwise operator'.
_________________________________________________________________________________________
Verify 'Default parameter behavior' setting
This check applies only to referenced models. Top models are compatible for all possible values of 'Default parameter behavior'.
Passed
'Default parameter behavior' setting is compatible.
_________________________________________________________________________________________
Verify 'Remove error status field in real-time model data structure' setting
Check whether Code Generation > Interface > Remove error status field in real-time model data structure is selected.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Create block' setting
Check whether Code Generation > Verification > Create block is set to 'none'.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Measure function execution times' setting
Check whether Code Generation > Verification > Measure function execution times is set to 'off'.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Signal naming' setting
Check whether Code Generation > Identifiers > Signal naming is set to 'None'.
Passed
Code Generation > Identifiers > Signal naming is set to 'None'.
_________________________________________________________________________________________
Verify 'Parameter naming' setting
Check whether Code Generation > Identifiers > Parameter naming is set to 'None'.
Passed
Code Generation > Identifiers > Parameter naming is set to 'None'.
_________________________________________________________________________________________
Verify 'TLC options' setting
Check whether Code Generation > TLC options is set to '' or '-aMaxStackVariableSize=inf'.
Passed
Code Generation > TLC options is set to '' or '-aMaxStackVariableSize=inf'.
_________________________________________________________________________________________
Verify 'variable-size signals' setting
Check whether Code Generation > Interface > variable-size signals is cleared.
Warning
Code Generation > Interface > variable-size signals is selected.This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Clear the Code Generation > Interface > variable-size signals checkbox.
_________________________________________________________________________________________
Verify 'Single output/update function' setting
Check whether Code Generation > Interface > Single output/update function is selected.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Use bitsets for storing Boolean data' setting
Check whether Code Generation > Optimization > Use bitsets for storing Boolean data is cleared.
Passed
Code Generation > Optimization > Use bitsets for storing Boolean data is cleared.
_________________________________________________________________________________________
Verify 'Casting modes' setting
Check whether Code Generation > Code Style > Casting modes is set to 'Nominal' or 'Standards'.
Passed
Code Generation > Code Style > Casting modes is set to 'Nominal' or 'Standards'.
_________________________________________________________________________________________
Verify 'Suppress generation of default cases for switch statements if unreachable' setting
Check whether Code Generation > Code Style > Suppress generation of default cases for switch statements if unreachable is cleared.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Optimize using the specified minimum and maximum values' setting
Check whether Code Generation > Optimization > Optimize using the specified minimum and maximum values is cleared.
Passed
Code Generation > Optimization > Optimize using the specified minimum and maximum values is cleared.
_________________________________________________________________________________________
Verify 'Existing shared code' setting
Check whether Code Generation > Interface > Existing shared code is set to "" (i.e. unspecified).
Passed
Code Generation > Interface > Existing shared code is set to "".
_________________________________________________________________________________________
Verify 'parameters' setting
Check whether Code Generation > Interface > parameters is cleared.
Passed
Code Generation > Interface > parameters is cleared.
_________________________________________________________________________________________
Verify 'signals' setting
Check whether Code Generation > Interface > signals is cleared.
Passed
Code Generation > Interface > signals is cleared.
_________________________________________________________________________________________
Verify 'states' setting
Check whether Code Generation > Interface > states is cleared.
Passed
Code Generation > Interface > states is cleared.
_________________________________________________________________________________________
Verify 'root-level I/O' setting
Check whether Code Generation > Interface > root-level I/O is cleared.
Passed
Code Generation > Interface > root-level I/O is cleared.
_________________________________________________________________________________________
Verify 'External mode' setting
Check whether Code Generation > Interface > External mode is cleared.
Passed
Code Generation > Interface > External mode is cleared.
_________________________________________________________________________________________
Verify 'Reuse output buffers of Model blocks' setting
Check whether Code Generation > Optimization > Reuse output buffers of Model blocks is cleared.
Warning
Code Generation > Optimization > Reuse output buffers of Model blocks is selected.
Recommended Action
Clear the Code Generation > Optimization > Reuse output buffers of Model blocks checkbox.
_________________________________________________________________________________________
Verify 'Rate Transition block code' setting
Check whether Code Generation > Code Placement > Rate Transition block code is set to 'Inline'.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
Verify 'Initial state' setting
Check whether Data Import/Export > Initial state is cleared.
Passed
Data Import/Export > Initial state is cleared.
Verify 'Multitask data store' setting
Check whether Diagnostics > Data Validity > Multitask data store is set to 'error'.
Passed
Diagnostics > Data Validity > Multitask data store is set to 'error'.
_________________________________________________________________________________________
Verify 'Multitask data transfer' setting
Check whether Diagnostics > Sample Time > Multitask data transfer is set to 'error'.
Passed
Diagnostics > Sample Time > Multitask data transfer is set to 'error'.
_________________________________________________________________________________________
Verify 'Multitask conditionally executed subsystem' setting
Check whether Diagnostics > Sample Time > Multitask conditionally executed subsystem is set to 'error'.
Passed
Diagnostics > Sample Time > Multitask conditionally executed subsystem is set to 'error'.
_________________________________________________________________________________________
Verify 'Algebraic loop' setting
Check whether Diagnostics > Algebraic loop is set to 'error'.
Warning
Diagnostics > Algebraic loop is not set to 'error' .
Recommended Action
Set Diagnostics > Algebraic loop to 'error' .
_________________________________________________________________________________________
Verify 'Underspecified initialization detection' setting
Check whether Diagnostics > Data Validity > Underspecified initialization detection is set to 'Simplified'.
Passed
Diagnostics > Data Validity > Underspecified initialization detection is set to 'Simplified'.
_________________________________________________________________________________________
Verify 'Non-bus signals treated as bus signals' setting
Check whether Diagnostics > Connectivity > Non-bus signals treated as bus signals is set to 'error'.
Warning
Diagnostics > Connectivity > Non-bus signals treated as bus signals is not set to 'error' .This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Diagnostics > Connectivity > Non-bus signals treated as bus signals to 'error' .
_________________________________________________________________________________________
Verify 'Detect downcast' setting
Check whether Diagnostics > Data Validity > Detect downcast is set to 'error'.
Passed
Diagnostics > Data Validity > Detect downcast is set to 'error'.
_________________________________________________________________________________________
Verify 'Detect overflow' setting
Check whether Diagnostics > Data Validity > Detect overflow is set to 'error'.
Passed
Diagnostics > Data Validity > Detect overflow is set to 'error'.
_________________________________________________________________________________________
Verify 'Wrap on overflow' setting
Check whether Diagnostics > Data Validity > Wrap on overflow is set to 'error'.
Warning
Diagnostics > Data Validity > Wrap on overflow is not set to 'error' .
Recommended Action
Set Diagnostics > Data Validity > Wrap on overflow to 'error' .
_________________________________________________________________________________________
Verify 'Saturate on overflow' setting
Check whether Diagnostics > Data Validity > Saturate on overflow is set to 'error'.
Warning
Diagnostics > Data Validity > Saturate on overflow is not set to 'error' .
Recommended Action
Set Diagnostics > Data Validity > Saturate on overflow to 'error' .
_________________________________________________________________________________________
Verify 'Detect underflow' setting
Check whether Diagnostics > Data Validity > Detect underflow is set to 'error'.
Warning
Diagnostics > Data Validity > Detect underflow is not set to 'error' .
Recommended Action
Set Diagnostics > Data Validity > Detect underflow to 'error' .
_________________________________________________________________________________________
Verify 'Detect loss of tunability' setting
Check whether Diagnostics > Data Validity > Detect loss of tunability is set to 'error'.
Warning
Diagnostics > Data Validity > Detect loss of tunability is not set to 'error' .
Recommended Action
Set Diagnostics > Data Validity > Detect loss of tunability to 'error' .
_________________________________________________________________________________________
Verify 'Allow symbolic dimension specification' setting
Check whether Diagnostics > Allow symbolic dimension specification is cleared.
Warning
Diagnostics > Allow symbolic dimension specification is selected.
Recommended Action
Clear the Diagnostics > Allow symbolic dimension specification checkbox.
_________________________________________________________________________________________
Verify 'Invalid root Inport/Outport block connection' setting
Check whether Diagnostics > Model Referencing > Invalid root Inport/Outport block connection is set to 'error'.
Warning
Diagnostics > Model Referencing > Invalid root Inport/Outport block connection is not set to 'error' .
Recommended Action
Set Diagnostics > Model Referencing > Invalid root Inport/Outport block connection to 'error' .
_________________________________________________________________________________________
Verify 'Unexpected backtracking' setting
Check whether Diagnostics > Stateflow > Unexpected backtracking is set to 'error'.
Passed
Diagnostics > Stateflow > Unexpected backtracking is set to 'error'.
_________________________________________________________________________________________
Verify 'Invalid input data access in chart initialization' setting
Check whether Diagnostics > Stateflow > Invalid input data access in chart initialization is set to 'error'.
Warning
Diagnostics > Stateflow > Invalid input data access in chart initialization is not set to 'error' .
Recommended Action
Set Diagnostics > Stateflow > Invalid input data access in chart initialization to 'error' .
_________________________________________________________________________________________
Verify 'No unconditional default transitions' setting
Check whether Diagnostics > Stateflow > No unconditional default transitions is set to 'error'.
Passed
Diagnostics > Stateflow > No unconditional default transitions is set to 'error'.
_________________________________________________________________________________________
Verify 'Transition outside natural parent' setting
Check whether Diagnostics > Stateflow > Transition outside natural parent is set to 'error'.
Warning
Diagnostics > Stateflow > Transition outside natural parent is not set to 'error' .
Recommended Action
Set Diagnostics > Stateflow > Transition outside natural parent to 'error' .
_________________________________________________________________________________________
Verify 'Unreachable execution path' setting
Check whether Diagnostics > Stateflow > Unreachable execution path is set to 'error'.
Warning
Diagnostics > Stateflow > Unreachable execution path is not set to 'error' .
Recommended Action
Set Diagnostics > Stateflow > Unreachable execution path to 'error' .
_________________________________________________________________________________________
Verify 'Undirected event broadcasts' setting
Check whether Diagnostics > Stateflow > Undirected event broadcasts is set to 'error'.
Warning
Diagnostics > Stateflow > Undirected event broadcasts is not set to 'error' .
Recommended Action
Set Diagnostics > Stateflow > Undirected event broadcasts to 'error' .
_________________________________________________________________________________________
Verify 'Transition action specified before condition action' setting
Check whether Diagnostics > Stateflow > Transition action specified before condition action is set to 'error'.
Warning
Diagnostics > Stateflow > Transition action specified before condition action is not set to 'error' .
Recommended Action
Set Diagnostics > Stateflow > Transition action specified before condition action to 'error' .
_________________________________________________________________________________________
Verify Bus signal treated as vector setting
Check whether Diagnostics > Connectivity > Bus signal treated as vector is set to 'error'
Warning
Diagnostics > Connectivity > Bus signal treated as vector is not set to error.This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Diagnostics > Connectivity > Bus signal treated as vector to error.
Verify 'char' setting
Check whether Hardware Implementation > char is set to '8'.
Passed
Hardware Implementation > char is set to '8'.
_________________________________________________________________________________________
Verify 'short' setting
Check whether Hardware Implementation > short is set to '16'.
Passed
Hardware Implementation > short is set to '16'.
_________________________________________________________________________________________
Verify 'int' setting
Check whether Hardware Implementation > int is set to '32'.
Passed
Hardware Implementation > int is set to '32'.
_________________________________________________________________________________________
Verify 'long' setting
Check whether Hardware Implementation > long is set to '32'.
Passed
Hardware Implementation > long is set to '32'.
_________________________________________________________________________________________
Verify 'float' setting
Check whether Hardware Implementation > float is set to '32'.
Passed
Hardware Implementation > float is set to '32'.
_________________________________________________________________________________________
Verify 'double' setting
Check whether Hardware Implementation > double is set to '64'.
Passed
Hardware Implementation > double is set to '64'.
_________________________________________________________________________________________
Verify 'pointer' setting
Check whether Hardware Implementation > pointer is set to '32'.
Warning
Hardware Implementation > pointer is not set to '32' .
Recommended Action
Set Hardware Implementation > pointer to '32' . Select a compatible device with attributes matching those listed in the SLCI Hardware Implementation checks and the SLCI documentation.
_________________________________________________________________________________________
Verify 'size_t' setting
Check whether Hardware Implementation > size_t is set to '32'.
Warning
Hardware Implementation > size_t is not set to '32' .
Recommended Action
Set Hardware Implementation > size_t to '32' . Select a compatible device with attributes matching those listed in the SLCI Hardware Implementation checks and the SLCI documentation.
_________________________________________________________________________________________
Verify 'ptrdiff_t' setting
Check whether Hardware Implementation > ptrdiff_t is set to '32'.
Warning
Hardware Implementation > ptrdiff_t is not set to '32' .
Recommended Action
Set Hardware Implementation > ptrdiff_t to '32' . Select a compatible device with attributes matching those listed in the SLCI Hardware Implementation checks and the SLCI documentation.
_________________________________________________________________________________________
Verify 'native' setting
Check whether Hardware Implementation > native is set to '32'.
Warning
Hardware Implementation > native is not set to '32' .
Recommended Action
Set Hardware Implementation > native to '32' . Select a compatible device with attributes matching those listed in the SLCI Hardware Implementation checks and the SLCI documentation.
_________________________________________________________________________________________
Verify 'Signed integer division rounds to' setting
Check whether Hardware Implementation > Signed integer division rounds to is set to 'Zero'.
Passed
Hardware Implementation > Signed integer division rounds to is set to 'Zero'.
_________________________________________________________________________________________
Verify 'Shift right on a signed integer as arithmetic shift' setting
Check whether Hardware Implementation > Shift right on a signed integer as arithmetic shift is selected.
Passed
Hardware Implementation > Shift right on a signed integer as arithmetic shift is selected.
_________________________________________________________________________________________
Verify 'Support long long' setting
Check whether Hardware Implementation > Support long long is cleared.
Warning
Hardware Implementation > Support long long is selected.
Recommended Action
Clear the Hardware Implementation > Support long long checkbox. Select a compatible device with attributes matching those listed in the SLCI Hardware Implementation checks and the SLCI documentation.
_________________________________________________________________________________________
Verify 'Test hardware is the same as production hardware' setting
Check whether Hardware Implementation > Test hardware is the same as production hardware is selected.
Passed
Hardware Implementation > Test hardware is the same as production hardware is selected.
_________________________________________________________________________________________
Verify 'Device vendor' setting
Identify whether Hardware Implementation > Device vendor is not set to 'ASIC/FPGA->ASIC/FPGA' .
Passed
Hardware Implementation > Device vendor is not set to 'ASIC/FPGA->ASIC/FPGA' .
Verify 'Implement logic signals as Boolean data (vs. double)' setting
Check whether Math and Data Types > Implement logic signals as Boolean data (vs. double) is selected.
Passed
Math and Data Types > Implement logic signals as Boolean data (vs. double) is selected.
_________________________________________________________________________________________
Verify 'Use algorithms optimized for row-major array layout' setting
Check whether Math and Data Types > Use algorithms optimized for row-major array layout is cleared.
Passed
Math and Data Types > Use algorithms optimized for row-major array layout is cleared.
Verify 'Type' setting
Check whether Solver > Type is set to 'Fixed-step'.
Passed
Solver > Type is set to 'Fixed-step'.
_________________________________________________________________________________________
Verify 'Solver' setting
Check whether Solver > Solver is set to 'FixedStepDiscrete'.
Warning
Solver > Solver is not set to 'FixedStepDiscrete' .
Recommended Action
Set Solver > Solver to 'FixedStepDiscrete' .
_________________________________________________________________________________________
Verify 'Periodic sample time constraint' setting
Check whether Solver > Periodic sample time constraint is set to 'Unconstrained' or 'STIndependent'.
Passed
Solver > Periodic sample time constraint is set to 'Unconstrained' or 'STIndependent'.
_________________________________________________________________________________________
Verify 'Automatically handle rate transition for data transfer' setting
Check whether Solver > Automatically handle rate transition for data transfer is cleared.
Passed
Solver > Automatically handle rate transition for data transfer is cleared.
_________________________________________________________________________________________
Verify 'Allow tasks to execute concurrently on target' setting
Check whether Solver > Allow tasks to execute concurrently on target is cleared.
Passed
Solver > Allow tasks to execute concurrently on target is cleared.
Check for blocks not supported by Simulink Code Inspector
Identify blocks that are not supported by Simulink Code Inspector
Warning
The following block(s) are not supported by Simulink Code Inspector:
Check for unconnected objects
Identify unconnected lines, input ports, and output ports in the model or subsystem
Passed
There are no unconnected lines, input ports, or output ports in the model or subsystem.
Verify System target file setting
Check whether Code Generation > System target file is ert.tlc or a System target file derived from ERT
Warning
Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
Check model interface settings
Check whether the Configure arguments for Step function prototype setting in the Configure C Step Function Interface dialog box is cleared.
Warning
This check failed because the following prerequisite(s) for the check failed :
Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
Check shared Embedded Code Dictionary is not configured with service code interface configurations
Check whether the shared Embedded Code Dictionary linked to the model is not configured with a service code interface configuration.
Passed
The Embedded Code Dictionary does not contain a service code interface configuration.
Check the code generation folder structure for the model
Check that the code generation folder structure for the model is supported
Passed
The code generation folder structure for the model is supported
Check for unsupported usage of Storage Class on the Data Defaults tab of the Code Mappings editor.
Identify unsupported Storage Class settings for model element categories on the Data Defaults tab of the Code Mappings editor.
Passed
There is no unsupported Storage Class setting for model element categories on the Data Defaults tab of the Code Mappings editor.
Verify that model arguments do not have a storage class
Check if model arguments have a storage class.
Passed
The model does not contain any model arguments with a storage class.
Check non-inlined user defined functions with global variables in MATLAB code
Simulink Code Inspector supports non-inlined user defined functions with global variables in MATLAB code when they are not inside a reusable or void-void subsystem and model parameter 'Code interface packaging (CodeInterfacePackaging)' is set to 'Nonreusable function'
Passed
Non-inlined user defined functions in MATLAB code are supported
_________________________________________________________________________________________
Check that data used in MATLAB function is of a supported data type
Simulink Code Inspector supports the following data types in MATLAB functions: built-in, bus and enumerated types inherited from 'Simulink.IntEnumType' with default value 0
Passed
All data used in MATLAB function is of supported data type.
_________________________________________________________________________________________
Check that code in MATLAB function is of a supported dimension
Check for code in MATLAB function that only supports 'scalar', 'vector' or 'matrix' dimensions
Passed
No code with unsupported dimension was found.
_________________________________________________________________________________________
Check for nonempty brackets in MATLAB code
Simulink Code Inspector does not support brackets with no operands in Matlab code
Passed
No brackets with empty operands were found in MATLAB code
_________________________________________________________________________________________
Check that data defined in MATLAB function is of a double or single data type
Simulink Code Inspector only supports data of a double or single type in MATLAB functions
Passed
All data defined in MATLAB functions is of a double or single data type
_________________________________________________________________________________________
Check that if statements in MATLAB code use conditions that are scalar
Simulink Code Inspector does not support if statements in MATLAB code if the conditions are not scalar
Passed
If statements in MATLAB code use conditions that are scalar
_________________________________________________________________________________________
For MATLAB root function, do not specify coder.inline directive or set coder.inline directive to 'always'. For user defined MATLAB functions, explicitly set coder.inline directive to 'always' or 'never'
For user defined MATLAB functions, coder.inline directive must be explicitly set to 'always' or 'never'
Passed
MATLAB root functions and user defined MATLAB functions use supported coder.inline directives
_________________________________________________________________________________________
Check usage of inner functions in MATLAB code
Simulink Code Inspector does not support functions defined inside the body of another function in MATLAB code
Passed
The model defines no inner function in MATLAB code
_________________________________________________________________________________________
Check that math functions in MATLAB code use only integer and floating-point data
Simulink Code Inspector only supports math functions in MATLAB code that use integer or floating-point data
Passed
All math functions in MATLAB code use only integer or floating-point data
_________________________________________________________________________________________
Check that no code in MATLAB functions has missing data type information
Simulink Code Inspector does not support MATLAB functions that contain code with missing data type information
Passed
No MATLAB functions contain code with missing data type information
_________________________________________________________________________________________
Check that no code in MATLAB functions has missing dimension information
Simulink Code Inspector does not support MATLAB functions that contain code with missing dimension information
Passed
No MATLAB functions contain code with missing dimension information
_________________________________________________________________________________________
Check that all function calls in MATLAB code resolve to a known function definition
Simulink Code Inspector can not support function calls that do not resolve to a known function definition
Warning
The following MATLAB function calls do not resolve to a known function definition
| MATLAB function block | Code | |
|---|---|---|
| ..../Dsogi-PLL/Clark Transform/clark_trafo |
|
Check that operators used in MATLAB functions do not have operands of different data dimensions
Simulink Code Inspector does not support MATLAB functions that have operators whose operands are of different data dimensions.
Passed
No MATLAB function contains operators that have operands of different data dimensions.
_________________________________________________________________________________________
Check that operators used in MATLAB functions do not have operands with mixed data type
Simulink Code Inspector does not support MATLAB functions with operators of mixed data type
Passed
No MATLAB function contains operators with mixed data type.
_________________________________________________________________________________________
Check that conditional initialization of persistent variables uses an 'if' statement with a single isempty(persistent) or ~isempty(persistent) condition
Simulink Code Inspector does not support conditional initialization of a persistent variable in MATLAB code that does not use isempty(persistent) or ~isempty(persistent) in the 'if' statement
Passed
Conditional initialization of persistent variables in MATLAB code uses 'if' statement with single isempty(persistent) or ~isempty(persistent) condition
_________________________________________________________________________________________
Check that there is only one initialization statement of a persistent variable in 'if' statement body
Simulink Code Inspector does not support multiple initialization statements of a persistent variable in MATLAB code in the 'if' statement body
Passed
Conditional initialization of persistent variables in MATLAB code contains one statement in 'if' statement
_________________________________________________________________________________________
Check usage of recursive functions in MATLAB code
Simulink Code Inspector does not support recursive functions in MATLAB code
Passed
The model defines no recursive function in MATLAB code
_________________________________________________________________________________________
Check that the 'Loop unrolling threshold' does not result in partially unrolled loops in the generated code when using matrix operations in MATLAB code
Simulink Code Inspector does not support matrix operations in MATLAB code if the 'Loop unrolling threshold' results in partially unrolled loops in the generated code.
Passed
'Loop unrolling threshold' is compatible with matrix operations in MATLAB code
_________________________________________________________________________________________
Check that operators and functions in MATLAB code have supported operand dimensions
Check for non-scalar operands of operators and functions with only scalar support
Passed
No operators or functions use unsupported nonscalar operands in MATLAB code
_________________________________________________________________________________________
Check for unsupported MATLAB code in MATLAB functions
Check for usage of unsupported MATLAB code in MATLAB functions
Warning
Following unsupported MATLAB code was found in MATLAB functions
Check MATLAB code used in MATLAB Function blocks
Warning
Issues in MATLAB Function blocks:
| MATLAB Function blocks |
|---|
|
..../Dsogi-PLL/DSOGI/Dsogi alpha/alpha_sogi
1 Issues found
|
|
..../Dsogi-PLL/DSOGI/Dsogi alpha1/alpha_sogi
1 Issues found
|
Check MATLAB functions defined in Stateflow charts
Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________
Check called MATLAB functions
Passed
No external MATLAB functions found
_________________________________________________________________________________________
Check storage class for workspace variables referenced by the model
Identify workspace variables using unsupported storage class in the model
Passed
All of the workspace variables referenced by the model use supported storage classes.
Verify no unsupported Signal Conversion blocks are automatically inserted at signals entering block inports
Verification of Signal Conversion blocks that have been automatically inserted is not supported
Passed
No unsupported Signal Conversion blocks are automatically inserted at signals entering block inports.
Verify usage of fixed-point instrumentation
Simultaneous usage of fixed-point instrumentation and block reduction can lead to incompatibilities during code inspection
Warning
The model parameter 'BlockReduction' is set to 'on' yet the model parameter 'MinMaxOverflowLogging' is set to 'MinMaxAndOverflow'; this setting could result in incompatibilities during code inspection.
Recommended Action
Set the model parameter 'MinMaxOverflowLogging' to 'ForceOff' to force instrumentation off for the entire model.'.
Verify synthesized local data store usage
Identify signal objects in the model workspace that are referenced as synthesized local data stores by Data Store Read or Data Store Write blocks. If Simulink software finds such a signal object, it creates a hidden Data Store Memory block at the model's root level. This model is not compatible with Simulink Code Inspector.
Passed
There are no signal objects in the model workspace referenced as synthesized local data stores by Data Store Read or Data Store Write blocks in this model.
Verify Loop unrolling threshold setting
Check whether 'Loop unrolling threshold' is set to a value such that no partially unrolled loops are generated.
Passed
Loop unrolling threshold setting is compatible.
Verify global data store usage
Global data store memory blocks may not be used unless parameters are inlined, and their InitialValue is not a tunable parameter
Passed
There is no unsupported usage of global data stores.
Verify global data store's name shadow
Global data store memory blocks may not be used if they are shadowed by local data store memory blocks
Passed
There is no shadowed usage of global data stores
Check destination Action subsystems of If and Switchcase blocks
Check that Action subsystems connected to same If or Switch Case block uniformly combine or separate their output and update code
Passed
No Action subsystems that violated the above check were found
Verify that the storage class of root outports is supported
Code verification is not supported for submodels with root outports of non-auto storage class if the parameter 'Pass reusable subsystem outputs as' is set to 'Individual arguments'.
Warning
This check failed because the following prerequisite(s) for the check failed :
Diagnostics > Connectivity > Bus signal treated as vector is not set to error.This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Diagnostics > Connectivity > Bus signal treated as vector to error.
Check for Model block connectivity
Identify Model blocks that connect to Terminator blocks.
Warning
This check failed because the following prerequisite(s) for the check failed :
Diagnostics > Connectivity > Bus signal treated as vector is not set to error.This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Diagnostics > Connectivity > Bus signal treated as vector to error.
Check for unsupported propagation of initial condition values
Check if any block propagates initial condition during first time initialization
Passed
No unsupported propagation of initial condition values detected
Identify replacement names that are not a Simulink Name or a Simulink.AliasType
Identify replacement names that are not a Simulink Name or a Simulink.AliasType
Warning
This check failed because the following prerequisite(s) for the check failed :
Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
Check for sample times in model used as model reference target
Identify models used as model reference targets that have multiple sample times
Passed
Model used as model reference target does not have multiple sample times
Check storage class for workspace variables referenced by the model
Identify GetSet storage class workspace variables in the model that use unsupported specifications
Passed
All GetSet storage class workspace variables in the model meet a supported specification.
Verify Treat each discrete rate as a separate task setting
Check whether 'Treat each discrete rate as a separate task' is selected for a model with multiple discrete rates.
Warning
Solver > Treat each discrete rate as a separate task is unselected for a model with multiple discrete rates
Recommended Action
Select the Solver > Treat each discrete rate as a separate task checkbox.
Check for commented out blocks in the model
Identify blocks in the model that are commented out
Passed
There are no commented out blocks in the model
Check function names used by void_void subsystems in the model
Identify void_void subsystems in the model that use the same function name
Passed
Void_void subsystems in the model use unique function names
Check n-D Lookup Table blocks for incompatible breakpoint data type
Passed
n-D Lookup Table blocks have compatible breakpoint data type
Check the model for reusable subsystems with the same function interfaces
Identify reusable subsystems with the same function interfaces that are from different library blocks
Passed
Reusable subsystems with the same function interfaces are from the same library blocks
Check for unsupported usage of shared synthesized local Data Store Memory blocks
Identify unsupported hidden data store memory blocks inserted for shared synthesized local data store memory blocks
Passed
There are no unsupported hidden data store memory blocks inserted for shared synthesized local data store memory blocks.
Check for matching compiled and graphical block sorted order in the model
Identify blocks in the compiled block list of the model that do not match graphical block sorted order.
Passed
All blocks in the compiled block list follow graphical sorted order in the model
Verify 'Generate an example main program' setting of multirate models
Check whether multirate models have the Code Generation > Templates > Generate an example main program parameter selected.
Warning
Code Generation > Templates > Generate an example main program is cleared.
Recommended Action
Select the Code Generation > Templates > Generate an example main program checkbox.
Check signal identifiers defined in the Code Mappings editor
Identify signals whose identifiers specified in the Code Mappings editor do not match the signal names.
Passed
Signal identifiers specified in the Code Mappings editor match the signal names ('').
Check Inport blocks
Identify Inport blocks that might impact compatibility with Simulink Code Inspector
Passed
All Inport blocks are compatible with Simulink Code Inspector.
_________________________________________________________________________________________
Check Inport Shadow blocks
Identify Inport Shadow blocks that might impact compatibility with Simulink Code Inspector
Passed
No Inport Shadow blocks were found.
_________________________________________________________________________________________
Check Constant blocks
Identify Constant blocks that might impact compatibility with Simulink Code Inspector
Passed
All Constant blocks are compatible with Simulink Code Inspector.
_________________________________________________________________________________________
Check Ground blocks
Identify Ground blocks that might impact compatibility with Simulink Code Inspector
Passed
No Ground blocks were found.
Check Bus Creator blocks
Identify Bus Creator blocks that might impact compatibility with Simulink Code Inspector
Passed
No Bus Creator blocks were found.
_________________________________________________________________________________________
Check Bus Selector blocks
Identify Bus Selector blocks that might impact compatibility with Simulink Code Inspector
Passed
No Bus Selector blocks were found.
_________________________________________________________________________________________
Check Bus Assignment blocks
Identify Bus Assignment blocks that might impact compatibility with Simulink Code Inspector
Passed
No Bus Assignment blocks were found.
_________________________________________________________________________________________
Check Data Store Memory blocks
Identify Data Store Memory blocks that might impact compatibility with Simulink Code Inspector
Passed
No Data Store Memory blocks were found.
_________________________________________________________________________________________
Check Data Store Read blocks
Identify Data Store Read blocks that might impact compatibility with Simulink Code Inspector
Passed
No Data Store Read blocks were found.
_________________________________________________________________________________________
Check Data Store Write blocks
Identify Data Store Write blocks that might impact compatibility with Simulink Code Inspector
Passed
No Data Store Write blocks were found.
_________________________________________________________________________________________
Check From blocks
Identify From blocks that might impact compatibility with Simulink Code Inspector
Passed
No From blocks were found.
_________________________________________________________________________________________
Check Goto blocks
Identify Goto blocks that might impact compatibility with Simulink Code Inspector
Passed
No Goto blocks were found.
_________________________________________________________________________________________
Check Merge blocks
Identify Merge blocks that might impact compatibility with Simulink Code Inspector
Passed
No Merge blocks were found.
_________________________________________________________________________________________
Check Switch blocks
Identify Switch blocks that might impact compatibility with Simulink Code Inspector
Passed
No Switch blocks were found.
_________________________________________________________________________________________
Check Multiport Switch blocks
Identify Multiport Switch blocks that might impact compatibility with Simulink Code Inspector
Passed
No Multiport Switch blocks were found.
_________________________________________________________________________________________
Check Mux blocks
Identify Mux blocks that might impact compatibility with Simulink Code Inspector
Passed
No Mux blocks were found.
_________________________________________________________________________________________
Check Demux blocks
Identify Demux blocks that might impact compatibility with Simulink Code Inspector
Passed
No Demux blocks were found.
_________________________________________________________________________________________
Check Selector blocks
Identify Selector blocks that might impact compatibility with Simulink Code Inspector
Passed
All Selector blocks are compatible with Simulink Code Inspector.
_________________________________________________________________________________________
Check Vector Concatenate blocks
Identify Vector Concatenate blocks that might impact compatibility with Simulink Code Inspector
Passed
No Vector Concatenate blocks were found.
Check Absolute blocks
Identify Absolute blocks that might impact compatibility with Simulink Code Inspector
Passed
No Absolute blocks were found.
_________________________________________________________________________________________
Check Bias blocks
Identify Bias blocks that might impact compatibility with Simulink Code Inspector
Passed
No Bias blocks were found.
_________________________________________________________________________________________
Check Gain blocks
Identify Gain blocks that might impact compatibility with Simulink Code Inspector
Passed
All Gain blocks are compatible with Simulink Code Inspector.
_________________________________________________________________________________________
Check Math blocks
Identify Math blocks that might impact compatibility with Simulink Code Inspector
Passed
No Math blocks were found.
_________________________________________________________________________________________
Check Product blocks
Identify Product blocks that might impact compatibility with Simulink Code Inspector
Passed
All Product blocks are compatible with Simulink Code Inspector.
_________________________________________________________________________________________
Check Sum blocks
Identify Sum blocks that might impact compatibility with Simulink Code Inspector
Passed
All Sum blocks are compatible with Simulink Code Inspector.
_________________________________________________________________________________________
Check Trigonometry blocks
Identify Trigonometry blocks that might impact compatibility with Simulink Code Inspector
Passed
All Trigonometry blocks are compatible with Simulink Code Inspector.
_________________________________________________________________________________________
Check Minmax blocks
Identify Minmax blocks that might impact compatibility with Simulink Code Inspector
Passed
All Minmax blocks are compatible with Simulink Code Inspector.
_________________________________________________________________________________________
Check Rounding Function blocks
Identify Rounding Function blocks that might impact compatibility with Simulink Code Inspector
Passed
No Rounding Function blocks were found.
_________________________________________________________________________________________
Check Reshape blocks
Identify Reshape blocks that might impact compatibility with Simulink Code Inspector
Passed
No Reshape blocks were found.
_________________________________________________________________________________________
Check Sign blocks
Identify Sign blocks that might impact compatibility with Simulink Code Inspector
Passed
No Sign blocks were found.
_________________________________________________________________________________________
Check Sqrt blocks
Identify Sqrt blocks that might impact compatibility with Simulink Code Inspector
Passed
No Sqrt blocks were found.
_________________________________________________________________________________________
Check Assignment blocks
Identify Assignment blocks that might impact compatibility with Simulink Code Inspector
Passed
No Assignment blocks were found.
_________________________________________________________________________________________
Check Polynomial blocks
Identify Polynomial blocks that might impact compatibility with Simulink Code Inspector
Passed
No Polynomial blocks were found.
_________________________________________________________________________________________
Check DotProduct blocks
Identify DotProduct blocks that might impact compatibility with Simulink Code Inspector
Passed
No DotProduct blocks were found.
_________________________________________________________________________________________
Check UnaryMinus blocks
Identify UnaryMinus blocks that might impact compatibility with Simulink Code Inspector
Passed
No UnaryMinus blocks were found.
Check Data Type Conversion blocks
Identify Data Type Conversion blocks that might impact compatibility with Simulink Code Inspector
Passed
All Data Type Conversion blocks are compatible with Simulink Code Inspector.
_________________________________________________________________________________________
Check Data Type Duplicate blocks
Identify Data Type Duplicate blocks that might impact compatibility with Simulink Code Inspector
Passed
No Data Type Duplicate blocks were found.
_________________________________________________________________________________________
Check Data Type Propagation blocks
Identify Data Type Propagation blocks that might impact compatibility with Simulink Code Inspector
Passed
No Data Type Propagation blocks were found.
_________________________________________________________________________________________
Check Initial Condition blocks
Identify Initial Condition blocks that might impact compatibility with Simulink Code Inspector
Passed
No Initial Condition blocks were found.
_________________________________________________________________________________________
Check Signal Specification blocks
Identify Signal Specification blocks that might impact compatibility with Simulink Code Inspector
Passed
No Signal Specification blocks were found.
_________________________________________________________________________________________
Check Signal Conversion blocks
Identify Signal Conversion blocks that might impact compatibility with Simulink Code Inspector
Passed
No Signal Conversion blocks were found.
_________________________________________________________________________________________
Check Probe blocks
Identify Probe blocks that might impact compatibility with Simulink Code Inspector
Passed
All Probe blocks are compatible with Simulink Code Inspector.
_________________________________________________________________________________________
Check RateTransition blocks
Identify RateTransition blocks that might impact compatibility with Simulink Code Inspector
Passed
All RateTransition blocks are compatible with Simulink Code Inspector.
_________________________________________________________________________________________
Check Width blocks
Identify Width blocks that might impact compatibility with Simulink Code Inspector
Passed
No Width blocks were found.
_________________________________________________________________________________________
Check Unit Conversion blocks
Identify Unit Conversion blocks that might impact compatibility with Simulink Code Inspector
Passed
No Unit Conversion blocks were found.
Check Relational Operator blocks
Identify Relational Operator blocks that might impact compatibility with Simulink Code Inspector
Passed
All Relational Operator blocks are compatible with Simulink Code Inspector.
_________________________________________________________________________________________
Check Logic blocks
Identify Logic blocks that might impact compatibility with Simulink Code Inspector
Passed
All Logic blocks are compatible with Simulink Code Inspector.
_________________________________________________________________________________________
Check Bitwise Operator blocks
Identify Bitwise Operator blocks that might impact compatibility with Simulink Code Inspector
Passed
No Bitwise Operator blocks were found.
_________________________________________________________________________________________
Check ArithShift blocks
Identify ArithShift blocks that might impact compatibility with Simulink Code Inspector
Passed
No ArithShift blocks were found.
_________________________________________________________________________________________
Check Combinatorial Logic blocks
Identify Combinatorial Logic blocks that might impact compatibility with Simulink Code Inspector
Passed
No Combinatorial Logic blocks were found.
Check Lookup Table (n-D) blocks
Identify Lookup Table (n-D) blocks that might impact compatibility with Simulink Code Inspector
Passed
No Lookup Table (n-D) blocks were found.
_________________________________________________________________________________________
Check PreLookup blocks
Identify PreLookup blocks that might impact compatibility with Simulink Code Inspector
Passed
No PreLookup blocks were found.
_________________________________________________________________________________________
Check Interpolation Using Prelookup (n-D) blocks
Identify Interpolation Using Prelookup (n-D) blocks that might impact compatibility with Simulink Code Inspector
Passed
No Interpolation Using Prelookup (n-D) blocks were found.
Check S-Function blocks
Identify S-Function blocks that might impact compatibility with Simulink Code Inspector
Passed
No S-Function blocks were found.
_________________________________________________________________________________________
Check Fcn blocks
Identify Fcn blocks that might impact compatibility with Simulink Code Inspector
Passed
All Fcn blocks are compatible with Simulink Code Inspector.
_________________________________________________________________________________________
Check C Caller blocks
Identify C Caller blocks that might impact compatibility with Simulink Code Inspector
Passed
No C Caller blocks were found.
_________________________________________________________________________________________
Check Function Caller blocks
Identify Function Caller blocks that might impact compatibility with Simulink Code Inspector
Passed
No Function Caller blocks were found.
_________________________________________________________________________________________
Check Simulink Function blocks
Identify Simulink Function blocks that might impact compatibility with Simulink Code Inspector
Passed
No Simulink Function blocks were found.
Check Enable Port blocks
Identify Enable Port blocks that might impact compatibility with Simulink Code Inspector
Passed
No Enable Port blocks were found.
_________________________________________________________________________________________
Check Model Reference blocks
Identify Model Reference blocks that might impact compatibility with Simulink Code Inspector
Passed
No Model Reference blocks were found.
_________________________________________________________________________________________
Check Subsystem blocks
Identify Subsystem blocks that might impact compatibility with Simulink Code Inspector
Warning
This check failed because the following prerequisite(s) for the check failed : Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector
Warning
The following subsystems are not supported:
Check Action Subsystem blocks
Identify Action Subsystem blocks that might impact compatibility with Simulink Code Inspector
Passed
No Action Subsystem blocks were found.
_________________________________________________________________________________________
Check Trigger Port blocks
Identify Trigger Port blocks that might impact compatibility with Simulink Code Inspector
Passed
No Trigger Port blocks were found.
_________________________________________________________________________________________
Check Action Port blocks
Identify Action Port blocks that might impact compatibility with Simulink Code Inspector
Passed
No Action Port blocks were found.
_________________________________________________________________________________________
Check If blocks
Identify If blocks that might impact compatibility with Simulink Code Inspector
Passed
No If blocks were found.
_________________________________________________________________________________________
Check Function-Call Generator blocks
Identify Function-Call Generator blocks that might impact compatibility with Simulink Code Inspector
Passed
No Function-Call Generator blocks were found.
_________________________________________________________________________________________
Check Function-Call Split blocks
Identify Function-Call Split blocks that might impact compatibility with Simulink Code Inspector
Passed
No Function-Call Split blocks were found.
_________________________________________________________________________________________
Check SwitchCase blocks
Identify SwitchCase blocks that might impact compatibility with Simulink Code Inspector
Passed
No SwitchCase blocks were found.
_________________________________________________________________________________________
Check For Iterator blocks
Identify For Iterator blocks that might impact compatibility with Simulink Code Inspector
Passed
No For Iterator blocks were found.
_________________________________________________________________________________________
Check For Each blocks
Identify For Each blocks that might impact compatibility with Simulink Code Inspector
Passed
No For Each blocks were found.
_________________________________________________________________________________________
Check State Control blocks
Identify State Control blocks that might impact compatibility with Simulink Code Inspector
Passed
No State Control blocks were found.
_________________________________________________________________________________________
Check While Iterator blocks
Identify While Iterator blocks that might impact compatibility with Simulink Code Inspector
Passed
No While Iterator blocks were found.
Check Saturate blocks
Identify Saturate blocks that might impact compatibility with Simulink Code Inspector
Warning
The following block(s) have non-finite parameter values:
Check Relay blocks
Identify Relay blocks that might impact compatibility with Simulink Code Inspector
Passed
No Relay blocks were found.
_________________________________________________________________________________________
Check Dead Zone blocks
Identify Dead Zone blocks that might impact compatibility with Simulink Code Inspector
Passed
No Dead Zone blocks were found.
Check Outport blocks
Identify Outport blocks that might impact compatibility with Simulink Code Inspector
Passed
All Outport blocks are compatible with Simulink Code Inspector.
_________________________________________________________________________________________
Check Terminator blocks
Identify Terminator blocks that might impact compatibility with Simulink Code Inspector
Passed
All Terminator blocks are compatible with Simulink Code Inspector.
Check Unit Delay blocks
Identify Unit Delay blocks that might impact compatibility with Simulink Code Inspector
Passed
No Unit Delay blocks were found.
_________________________________________________________________________________________
Check Discrete Integrator blocks
Identify Discrete Integrator blocks that might impact compatibility with Simulink Code Inspector
Warning
The following block(s) have non-finite parameter values:
Check Delay blocks
Identify Delay blocks that might impact compatibility with Simulink Code Inspector
Passed
All Delay blocks are compatible with Simulink Code Inspector.
Check Stateflow blocks
Identify Stateflow blocks that might impact compatibility with Simulink Code Inspector
Passed
No Stateflow blocks were found.
Check ASCIIToString blocks
Identify ASCIIToString blocks that might impact compatibility with Simulink Code Inspector
Passed
No ASCIIToString blocks were found.
Check Stateflow charts
Identify Stateflow charts that might impact compatibility with Simulink Code Inspector
No Stateflow charts were found.
Check Stateflow MATLAB action language
Identify Stateflow MATLAB action language that might impact compatibility with Simulink Code Inspector
No Stateflow MATLAB action language were found.
Check Stateflow transitions
Identify Stateflow transitions that might impact compatibility with Simulink Code Inspector
No Stateflow transitions were found.
Check Stateflow junctions
Identify Stateflow junctions that might impact compatibility with Simulink Code Inspector
No Stateflow junctions were found.
Check Stateflow data
Identify Stateflow data that might impact compatibility with Simulink Code Inspector
No Stateflow data were found.
Check Stateflow events
Identify Stateflow events that might impact compatibility with Simulink Code Inspector
No Stateflow events were found.
Check Stateflow states
Identify Stateflow states that might impact compatibility with Simulink Code Inspector
No Stateflow states were found.
Check Stateflow graphical functions
Identify Stateflow graphical functions that might impact compatibility with Simulink Code Inspector
No Stateflow graphical functions were found.
Check Stateflow truth tables
Identify Stateflow truth tables that might impact compatibility with Simulink Code Inspector
No Stateflow truth tables were found.
Check Stateflow atomic subcharts
Identify Stateflow atomic subcharts that might impact compatibility with Simulink Code Inspector
No Stateflow atomic subcharts were found.
Check for block names that contain '/*', '*/', or start or end with the character '*'
Identify block names that contain '/*', '*/', or start or end with the character '*'
Passed
No block names contain '/*', '*/', or start or end with the character '*'
_________________________________________________________________________________________
Check for unsupported usage of storage class
Identify blocks that have a constant sample time and outputs of non-auto storage class
Passed
No blocks that have a constant sample time and outputs of non-auto storage class were found.
_________________________________________________________________________________________
Check for unsupported testpoints
Identify blocks that have a constant (Inf) sample time and testpointed outputs
Passed
No blocks that have a constant (Inf) sample time and testpointed outputs were found.
_________________________________________________________________________________________
Check storage class of block outports
Identify outports of blocks using unsupported custom storage class Type, Data initialization, or InitialValue
Passed
All block outports have custom storage class Type set to 'Unstructured' or 'FlatStructure' and Data initialization set to a value other than 'None', and empty InitialValue ('').
_________________________________________________________________________________________
Check for blocks with greater than two-dimensional inputs or outputs
Identify blocks where inputs or outputs are greater than two-dimensional
Passed
No blocks with greater than two-dimensional inputs or outputs were found.
_________________________________________________________________________________________
Check whether inputs and outputs are not framed
Identify blocks with framed inputs or outputs
Passed
No blocks having framed inputs or outputs were found.
_________________________________________________________________________________________
Check that all MATLAB functions set 'Update method' to ''Inherited''
Simulink Code Inspector does not support MATLAB functions that set 'Update method' to a value other than ''Inherited''
Passed
All MATLAB functions set 'Update method' to ''Inherited''
_________________________________________________________________________________________
Check that MATLAB functions do not contain input Trigger signals
Simulink Code Inspector does not support MATLAB functions that contain input Trigger signals
Passed
No MATLAB functions were found to contain input Trigger signals
_________________________________________________________________________________________
Check that blocks that are constant or whose parameters can be tuned, do not drive two or more multirate blocks without using explicit rate transition blocks.
Identify blocks that are constant or whose parameters can be tuned and that are driving two or more multirate blocks without using explicit rate transition blocks.
Passed
No block is driving two or more multirate blocks without using explicit rate transition blocks.
_________________________________________________________________________________________
Check that all MATLAB functions set 'Saturate on integer overflow' to ''Off''
Simulink Code Inspector does not support MATLAB functions that set 'Saturate on integer overflow' to a value other than ''Off''
Warning
The following MATLAB function(s) do not set 'Saturate on integer overflow' to ''Off'':
Check that all MATLAB functions set 'Support variable-size arrays' to ''Off''
Simulink Code Inspector does not support MATLAB functions that set 'Support variable-size arrays' to a value other than ''Off''
Warning
The following MATLAB function(s) do not set 'Support variable-size arrays' to ''Off'':This incompatibility is fatal and will prevent execution of the Code Inspector
Identify Subsystems that have unsupported configurations for non-inlined
Identify subsystems that have unsupported configurations for non-inlined
Warning
The following subsystems are not supported:
Check that non-reusable subsystems in a model are not inside masked reusable subsystems
Identify non-reusable subsystems that are not inside masked reusable subsystems
Passed
Non-reusable subsystems in the model are not inside masked reusable subsystems
_________________________________________________________________________________________
Check that reusable subsystems in a model are from a library and are single-rate atomic or function-call subsystems
Identify reusable subsystems that are not from a library and are not single rate atomic or function-call subsystems
Passed
Reusable subsystems in the model are from a library and are single rate atomic or function call subsystems
_________________________________________________________________________________________
Check that all MATLAB functions set 'Treat these inherited Simulink signal types as fi objects' to a value other than ''Fixed-point & Integer''
Simulink Code Inspector does not support MATLAB functions that set 'Treat these inherited Simulink signal types as fi objects' to ''Fixed-point & Integer''
Passed
All MATLAB functions set 'Treat these inherited Simulink signal types as fi objects' to a value other than ''Fixed-point & Integer''
_________________________________________________________________________________________
Check that data defined in MATLAB function is of a supported data type
Simulink Code Inspector supports the following data types in MATLAB functions: built-in, bus and enumerated types inherited from 'Simulink.IntEnumType' with default value 0
Passed
All data defined in MATLAB functions is of a supported data type
_________________________________________________________________________________________
Check that data defined in MATLAB function is of a supported dimension
Check for data defined in MATLAB function that only support 'scalar', 'vector' or 'matrix' dimension
Passed
No data with unsupported dimension was found.
_________________________________________________________________________________________
Check that data defined in MATLAB function is non-complex data
Simulink Code Inspector does not support complex data in MATLAB functions
Passed
All data defined in MATLAB function is non-complex
_________________________________________________________________________________________
Verify sample times
Identify root Outport blocks that specify a constant sample time.
Passed
No root Outport blocks specify a constant sample time.
_________________________________________________________________________________________
Verify root Outports pass buses to parent models as structures
A root Outport block must pass a bus to a parent model as a structure so that Simulink does not introduce a hidden bus conversion block in the parent model.
Warning
This check failed because the following prerequisite(s) for the check failed :
Diagnostics > Connectivity > Bus signal treated as vector is not set to error.This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Diagnostics > Connectivity > Bus signal treated as vector to error.
Check for automatic conversion between virtual to non-virtual buses.
Verify that there is no automatic conversion from virtual to non-virtual buses.
Warning
This check failed because the following prerequisite(s) for the check failed :
Diagnostics > Connectivity > Bus signal treated as vector is not set to error.This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Diagnostics > Connectivity > Bus signal treated as vector to error.
_________________________________________________________________________________________
Verify that blocks in the model do not perform unsupported operations on a bus
Merge blocks must not operate on a virtual bus and Bus Assignment blocks must not operate on a non-virtual bus.
Warning
This check failed because the following prerequisite(s) for the check failed :
Diagnostics > Connectivity > Bus signal treated as vector is not set to error.This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Diagnostics > Connectivity > Bus signal treated as vector to error.
Check code generation symbols settings for shared utilities inspection
Code inspection for shared utilities is supported for default values of code generation symbols parameters
Passed
Values for code generation symbols parameters are supported for shared utilities inspection
_________________________________________________________________________________________
Check Language standard parameter setting for shared utilities inspection
Check that Language standard parameter setting is supported for shared utilities inspection
Passed
Language standard parameter setting is supported for shared utilities inspection
_________________________________________________________________________________________
Check Code style parameters for shared utilities inspection
Check that Code style parameters are supported for shared utilities inspection
Passed
Code style parameters are supported for shared utilities inspection
_________________________________________________________________________________________
Check Enable portable word sizes parameter setting for shared utilities inspection
Check that Enable portable word sizes parameter setting is supported for shared utilities inspection
Passed
Enable portable word sizes parameter setting is supported for shared utilities inspection
_________________________________________________________________________________________
Check optimization parameter settings for shared utilities inspection
Check that code generation optimization parameter settings are supported for shared utilities inspection
Passed
Optimization parameter settings are supported for shared utilities inspection
Check sample times
Identify continuous, asynchronous, multiple, explicit discrete partition, data driven, union, or variable sample times
Warning
The model uses continuous sample times.This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Modify the model so that no continuous, asynchronous, explicit discrete partition, data driven, union, exported discrete or variable sample times are being used.
_________________________________________________________________________________________
Check for explicit partitions
Identify explicit partitions in the model
Passed
No explicit partitions were found.
Verify conditional input branch execution setting
Check whether 'Signal storage reuse' and 'Enable local block outputs' are set when conditional input branch execution is set
Passed
Conditional input branch execution setting is compatible.
_________________________________________________________________________________________
Verify that Reusable or Nonreusable subsystem block outputs are not inputs to Multiport Switch blocks when Conditional input branch execution model configuration parameter is selected
Simulink Code Inspector does not support Reusable or Nonreusable subsystem block outputs as inputs to Multiport Switch blocks when Conditional input branch execution model configuration parameter is selected.
Passed
No Reusable or Nonreusable subsystem block outputs are inputs to Multiport Switch blocks when Conditional input branch execution model configuration parameter is selected.