|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Model Advisor Report - untitled1 | |
| Simulink version: 24.2 | Model version: 1.0 |
| System: untitled1 | Current run: 25-Dec-2024 17:50:48 |
| Treat as Referenced Model: off | |
| Incomplete | Failed | Warning | Justified | Passed | Information | Not Run | Total |
|---|---|---|---|---|---|---|---|
|
|
|
|
|
|
|
|
231 |
Check models for edited Model History property values
Check that parameters in the Model Properties dialog History pane use the default tags. In the MDL file format you can configure some model properties to make use of source control tool keyword substitution. If you save your model in SLX format, source control tools cannot perform keyword substitution. Any information in the model file from such keyword substitution is cached when you first save the MDL file as SLX, and is never updated again. The Model Properties History pane and any Model Info blocks in your model show stale information from then on.
Passed
This model uses the default value for property ModifiedByFormat.
Passed
This model uses the default value for property ModifiedDateFormat.
Passed
This model uses the default value for property ModelVersionFormat.
Warning
To check for upgrade issues, open the Upgrade Advisor.
Recommended Action
Click the link below to close the Model Advisor and open the Upgrade Advisor for untitled1.
Open the Upgrade Advisor
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.
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.
Passed
Code Generation > Interface > Combine signal/state structures is cleared.
_________________________________________________________________________________________
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.
Warning
Code Generation > Optimization > Remove code from floating-point to integer conversions that wraps out-of-range values is cleared.
Recommended Action
Select the Code Generation > Optimization > Remove code from floating-point to integer conversions that wraps out-of-range values checkbox.
_________________________________________________________________________________________
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'.
Warning
Code Generation > TLC options is not set to '' or '-aMaxStackVariableSize=inf' .
Recommended Action
Set Code Generation > TLC options 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 'Header files' setting
Check whether Code Generation > Code Placement > Header files field contains a $U token.
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'.
Passed
Diagnostics > Data Validity > Detect loss of tunability is set 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 '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'.
Warning
Hardware Implementation > int is not set to '32' .
Recommended Action
Set Hardware Implementation > int to '32' . Select a compatible device with attributes matching those listed in the SLCI Hardware Implementation checks and the SLCI documentation.
_________________________________________________________________________________________
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 'long' setting
Check whether Hardware Implementation > long is set to '32' or '64'.
Passed
Hardware Implementation > long is set to '32' or '64'.
_________________________________________________________________________________________
Verify 'long long' setting
Check whether Hardware Implementation > long long is set to '64'.
Passed
Hardware Implementation > long long is set to '64'.
_________________________________________________________________________________________
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'.
Passed
Solver > Solver is set 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.
Warning
Solver > Automatically handle rate transition for data transfer is selected.
Recommended Action
Clear the Solver > Automatically handle rate transition for data transfer checkbox.
_________________________________________________________________________________________
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 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 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:
| Blocks | Block Type |
|---|---|
| untitled1/Analog Input | MATLABSystem |
| untitled1/Analog Input1 | MATLABSystem |
| untitled1/Analog Input2 | MATLABSystem |
| untitled1/Arduino_Mega_Hauptprogramm_DDAppGeneratedBlock | MATLABSystem |
| untitled1/RGB_LED_1/RGB_LED_1_BLAU | MATLABSystem |
| untitled1/RGB_LED_1/RGB_LED_1_GRUEN | MATLABSystem |
| untitled1/RGB_LED_1/RGB_LED_1_ROT | MATLABSystem |
| untitled1/RGB_LED_2/RGB_LED_2_BLAU | MATLABSystem |
| untitled1/RGB_LED_2/RGB_LED_2_GRUEN | MATLABSystem |
| untitled1/RGB_LED_2/RGB_LED_2_ROT | MATLABSystem |
| untitled1/Standard Servo Write | MATLABSystem |
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 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 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
Warning
The following 'if' statements for initialization of persistent variables are not supported:
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 for unsupported MATLAB code in MATLAB functions
Check for usage of unsupported MATLAB code in MATLAB functions
Passed
No unsupported MATLAB code was found in MATLAB functions
_________________________________________________________________________________________
Check MATLAB code used in MATLAB Function blocks
Passed
No issues in MATLAB Function blocks 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 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.