|
|
|
|
|
|
|
|
Model Advisor Report - FCC.slx | |
Simulink version: 10.1 | Model version: 1.72 |
System: FCC | Current run: 07-Jul-2020 16:17:04 |
Treat as Referenced Model: off |
Pass | Fail | Warning | Not Run | Total |
---|---|---|---|---|
|
|
|
|
1007 |
Identify Simscape blocks with ambiguous setting of parameter units. For example, a block parameter expected in 'Hz' may be specified in the dialog with unit of 'rad/s'. Such settings could lead to unexpected conversion factors applied to the numerical value.
Passed
No Simscape blocks with ambiguous unit setting found in the model.
Verify 'Code interface packaging' setting
Check whether Code Generation > Interface > Code interface packaging is set to Nonreusable function or Reusable function.
Passed
Code Generation > Interface > Code interface packaging is set to Nonreusable function or Reusable function.
_________________________________________________________________________________________
Verify 'Use dynamic memory allocation for model initialization' setting
Check whether Code Generation > Interface > Use dynamic memory allocation for model initialization is cleared.
Passed
Code Generation > Interface > Use dynamic memory allocation for model initialization is cleared.
_________________________________________________________________________________________
Verify 'Shared code placement' setting
Check whether Code Generation > Interface > Shared code placement is set to Shared location.
Passed
Code Generation > Interface > Shared code placement is set to Shared location.
_________________________________________________________________________________________
Verify 'Source file' setting
Check whether Code Generation > Custom Code > Source file is set to "" (i.e. unspecified).
Passed
Code Generation > Custom Code > Source file is set to "".
_________________________________________________________________________________________
Verify 'Header file' setting
Check whether Code Generation > Custom Code > Header file is set to "" (i.e. unspecified).
Passed
Code Generation > Custom Code > Header file is set to "".
_________________________________________________________________________________________
Verify 'Initialize function' setting
Check whether Code Generation > Custom Code > Initialize function is set to "" (i.e. unspecified).
Passed
Code Generation > Custom Code > Initialize function is set to "".
_________________________________________________________________________________________
Verify 'Terminate function' setting
Check whether Code Generation > Custom Code > Terminate function is set to "" (i.e. unspecified).
Passed
Code Generation > Custom Code > Terminate function is set to "".
_________________________________________________________________________________________
Verify 'Disable incompatible optimizations' setting
Check whether Code Generation > Optimization > Disable incompatible optimizations is set to -SLCI.
Passed
Code Generation > Optimization > Disable incompatible optimizations is set 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.
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.
Passed
Code Generation > Optimization > Remove code from floating-point to integer conversions with saturation that maps NaN to zero is cleared.
_________________________________________________________________________________________
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.
Passed
Code Generation > Code Style > Preserve condition expression in if statement is selected.
_________________________________________________________________________________________
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 'Standard math library' setting
Check whether Code Generation > Interface > Standard math library is set to C89/C90 (ANSI) or C99 (ISO).
Passed
Code Generation > Interface > Standard math library is set to C89/C90 (ANSI) or C99 (ISO).
_________________________________________________________________________________________
Verify 'Classic call interface' setting
Check whether Code Generation > Interface > Classic call interface is cleared.
Passed
Code Generation > Interface > Classic call interface is cleared.
_________________________________________________________________________________________
Verify 'Terminate function required' setting
Check whether Code Generation > Interface > Terminate function required is cleared.
Passed
Code Generation > Interface > Terminate function required is cleared.
_________________________________________________________________________________________
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 'Maximum stack size (bytes)' setting
Check whether Code Generation > Optimization > Maximum stack size (bytes) is set to inf.
Passed
Code Generation > Optimization > Maximum stack size (bytes) is set to inf.
_________________________________________________________________________________________
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.
Passed
Code Generation > Interface > non-finite numbers is cleared.
_________________________________________________________________________________________
Verify 'absolute time' setting
Check whether Code Generation > Interface > absolute time is cleared.
Passed
Code Generation > Interface > absolute time is cleared.
_________________________________________________________________________________________
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.
Passed
Code Generation > Interface > Remove error status field in real-time model data structure is selected.
_________________________________________________________________________________________
Verify 'Create block' setting
Check whether Code Generation > Verification > Create block is set to none.
Passed
Code Generation > Verification > Create block is set to none.
_________________________________________________________________________________________
Verify 'Measure function execution times' setting
Check whether Code Generation > Verification > Measure function execution times is set to off.
Passed
Code Generation > Verification > Measure function execution times is set to off.
_________________________________________________________________________________________
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 "" (i.e. unspecified).
Passed
Code Generation > TLC options is set to "".
_________________________________________________________________________________________
Verify 'variable-size signals' setting
Check whether Code Generation > Interface > variable-size signals is cleared.
Passed
Code Generation > Interface > variable-size signals is cleared.
_________________________________________________________________________________________
Verify 'Single output/update function' setting
Check whether Code Generation > Interface > Single output/update function is selected.
Passed
Code Generation > Interface > Single output/update function is selected.
_________________________________________________________________________________________
Verify 'Generate an example main program' setting
Check whether Code Generation > Templates > Generate an example main program is selected.
Passed
Code Generation > Templates > Generate an example main program is selected.
_________________________________________________________________________________________
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 Stateflow switch statements if unreachable' setting
Check whether Code Generation > Code Style > Suppress generation of default cases for Stateflow switch statements if unreachable is cleared.
Passed
Code Generation > Code Style > Suppress generation of default cases for Stateflow switch statements if unreachable is cleared.
_________________________________________________________________________________________
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 'ASAP2 interface' setting
Check whether Code Generation > Interface > ASAP2 interface is cleared.
Passed
Code Generation > Interface > ASAP2 interface is cleared.
_________________________________________________________________________________________
Verify 'Rate Transition block code' setting
Check whether Code Generation > Code Placement > Rate Transition block code is set to Inline.
Passed
Code Generation > Code Placement > Rate Transition block code is set to Inline.
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 rate transition' setting
Check whether Diagnostics > Sample Time > Multitask rate transition is set to error.
Passed
Diagnostics > Sample Time > Multitask rate transition 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.
Passed
Diagnostics > Algebraic loop is set to error.
_________________________________________________________________________________________
Verify 'Detect write after write' setting
Check whether Diagnostics > Data Validity > Detect write after write is set to EnableAllAsError.
Passed
Diagnostics > Data Validity > Detect write after write is set to EnableAllAsError.
_________________________________________________________________________________________
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.
Passed
Diagnostics > Connectivity > Non-bus signals treated as bus signals is set 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.
Passed
Diagnostics > Data Validity > Wrap on overflow is set to error.
_________________________________________________________________________________________
Verify 'Saturate on overflow' setting
Check whether Diagnostics > Data Validity > Saturate on overflow is set to error.
Passed
Diagnostics > Data Validity > Saturate on overflow is set to error.
_________________________________________________________________________________________
Verify 'Detect underflow' setting
Check whether Diagnostics > Data Validity > Detect underflow is set to error.
Passed
Diagnostics > Data Validity > Detect underflow is set 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.
Passed
Diagnostics > Allow symbolic dimension specification is cleared.
_________________________________________________________________________________________
Verify 'Invalid root Inport/Outport block connection' setting
Check whether Diagnostics > Model Referencing > Invalid root Inport/Outport block connection is set to error.
Passed
Diagnostics > Model Referencing > Invalid root Inport/Outport block connection is set 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.
Passed
Diagnostics > Stateflow > Invalid input data access in chart initialization is set 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.
Passed
Diagnostics > Stateflow > Transition outside natural parent is set to error.
_________________________________________________________________________________________
Verify 'Unreachable execution path' setting
Check whether Diagnostics > Stateflow > Unreachable execution path is set to error.
Passed
Diagnostics > Stateflow > Unreachable execution path is set to error.
_________________________________________________________________________________________
Verify 'Undirected event broadcasts' setting
Check whether Diagnostics > Stateflow > Undirected event broadcasts is set to error.
Passed
Diagnostics > Stateflow > Undirected event broadcasts is set to error.
_________________________________________________________________________________________
Verify 'Transition action specified before condition action' setting
Check whether Diagnostics > Stateflow > Transition action specified before condition action is set to error.
Passed
Diagnostics > Stateflow > Transition action specified before condition action is set to error.
_________________________________________________________________________________________
Verify Bus signal treated as vector setting
Check whether Diagnostics > Connectivity > Bus signal treated as vector is set to 'error'
Passed
Diagnostics > Connectivity > Bus signal treated as vector is set 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.
Passed
Hardware Implementation > pointer is set to 32.
_________________________________________________________________________________________
Verify 'size_t' setting
Check whether Hardware Implementation > size_t is set to 32.
Passed
Hardware Implementation > size_t is set to 32.
_________________________________________________________________________________________
Verify 'ptrdiff_t' setting
Check whether Hardware Implementation > ptrdiff_t is set to 32.
Passed
Hardware Implementation > ptrdiff_t is set to 32.
_________________________________________________________________________________________
Verify 'native' setting
Check whether Hardware Implementation > native is set to 32.
Passed
Hardware Implementation > native is set to 32.
_________________________________________________________________________________________
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.
Passed
Hardware Implementation > Support long long is cleared.
_________________________________________________________________________________________
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.
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 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
Passed
The target is ERT or 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.
Passed
The Configure arguments for Step function prototype setting in the Configure C Step Function Interface dialog box is cleared.
Check for blocks not supported by Simulink Code Inspector
Identify blocks that are not supported by Simulink Code Inspector
Passed
There are no unsupported blocks in this model or subsystem.
All Stateflow data must be parented by a Stateflow chart
Simulink Code Inspector does not support Stateflow data of machine scope
Passed
No Stateflow data is of machine scope.
All Stateflow events must be parented by a Stateflow chart
Simulink Code Inspector does not support Stateflow events of machine scope
Passed
No Stateflow events are of machine scope.
No Code in MATLAB Functions were found
_________________________________________________________________________________________
Check MATLAB code used in MATLAB Function blocks
Passed
No 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 instrumented signals in the model
Identify signals in the model that are instrumented
Passed
There are no instrumented signals in the model
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 Mapping Editor.
Identify unsupported Storage Class settings for model element categories on the Data Defaults tab of the Code Mapping Editor.
Passed
There is no unsupported Storage Class setting for model element categories on the Data Defaults tab of the Code Mapping Editor.
Identify Math Function blocks using rem and reciprocal functions that cause non-finite results
Passed
All Math Function blocks in the model use operators appropriately.
Identify Math Function blocks using log and log10 functions that cause non-finite results
Passed
All Math Function blocks in the model use operators appropriately.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
There are no variant blocks that have "Generate preprocessor conditionals" active.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions. Inport block properties are specified with block parameters or Simulink signal data objects that explicitly resolve to the connected signal lines.
Passed
There are no Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Verify configuration settings for strong data typing on the boundaries between Simulink and Stateflow
Passed
No Stateflow charts found that set 'Use Strong Data Typing with Simulink I/O' to off.
Identify whether Stateflow debugging options are set appropriately
Passed
All Stateflow debugging options are set appropriately.
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code
Passed
No inappropriate if/elseif/else patterns found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Detect read before write (ReadBeforeWriteMsg) | EnableAllAsError | EnableAllAsError |
Pass | Detect write after read (WriteAfterReadMsg) | EnableAllAsError | EnableAllAsError |
Pass | Detect write after write (WriteAfterWriteMsg) | EnableAllAsError | EnableAllAsError |
Pass | Multitask data store (MultiTaskDSMMsg) | error | error |
Pass | Duplicate data store names (UniqueDataStoreMsg) | error | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | error | error |
Pass | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | error | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | Include comments (GenerateComments) | on | on | |
Pass | Simulink block comments (SimulinkBlockComments) | on | on | GenerateComments |
Pass | Show eliminated blocks (ShowEliminatedStatement) | on | on | GenerateComments |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | on | on | GenerateComments |
D - Pass | Include comments (GenerateComments) | on | on | |
Pass | Requirements in block comments (ReqsInCode) | on | on | SystemTargetFile, GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | non-finite numbers (SupportNonFinite) | off | off | |
Pass | absolute time (SupportAbsoluteTime) | off | off | SystemTargetFile |
Pass | continuous time (SupportContinuousTime) | off | off | SystemTargetFile |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | non-inlined S-functions (SupportNonInlinedSFcns) | off | off | SystemTargetFile |
Pass | Classic call interface (GRTInterface) | off | off | |
Pass | Single output/update function (CombineOutputUpdateFcns) | on | on | |
Pass | Terminate function required (IncludeMdlTerminateFcn) | off | off | SystemTargetFile |
Pass | Remove error status field in real-time model data structure (SuppressErrorStatus) | on | on | SystemTargetFile |
Pass | MAT-file logging (MatFileLogging) | off | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Type (SolverType) | Fixed-step | Fixed-step |
Pass | Solver (SolverName) | FixedStepDiscrete | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Not Recommended Values |
---|---|---|---|
Pass | Automatically handle rate transition for data transfer (AutoInsertRateTranBlk) | off | on |
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Algebraic loop (AlgebraicLoopMsg) | error | error |
Pass | Minimize algebraic loop (ArtificialAlgebraicLoopMsg) | error | error |
Pass | Block priority violation (BlockPriorityViolationMsg) | error | error |
Pass | Automatic solver parameter selection (SolverPrmCheckMsg) | error | error |
Pass | State name clash (StateNameClashWarn) | warning | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Source block specifies -1 sample time (InheritedTsInSrcMsg) | error | error |
Pass | Multitask rate transition (MultiTaskRateTransMsg) | error | error |
Pass | Multitask conditionally executed subsystem (MultiTaskCondExecSysMsg) | error | error |
Pass | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | error | error |
Pass | Single task rate transition (SingleTaskRateTransMsg) | error | error |
Pass | Tasks with equal priority (TasksWithSamePriorityMsg) | error | error |
Pass | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | error | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check block reduction optimization settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Block reduction (BlockReduction) | off | off |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | Parentheses level (ParenthesesLevel) | Maximum | Maximum | SystemTargetFile |
Pass | Preserve operand order in expression (PreserveExpressionOrder) | on | on | SystemTargetFile |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Application lifespan (days) (LifeSpan) | inf | Inf |
Check code generation identifier settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
---|---|---|---|---|---|
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | ||
Pass | Minimum mangle length (MangleLength) | 4 | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to loop unrolling threshold and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Not Recommended Values |
---|---|---|---|
Pass | Loop unrolling threshold (RollThreshold) | 5 | 0, 1 |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | Remove root level I/O zero initialization (ZeroExternalMemoryAtStartup) * | on | on | SystemTargetFile |
Pass | Remove internal data zero initialization (ZeroInternalMemoryAtStartup) * | on | on | SystemTargetFile |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | on | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | Remove code that protects against division arithmetic exceptions (NoFixptDivByZeroProtection) | off | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | Optimize using the specified minimum and maximum values (UseSpecifiedMinMax) | off | off | SystemTargetFile |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target |
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | S-function upgrades needed (SFcnCompatibilityMsg) | error | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Detect downcast (ParameterDowncastMsg) | error | error |
Pass | Detect underflow (ParameterUnderflowMsg) | error | error |
Pass | Detect overflow (ParameterOverflowMsg) | error | error |
Pass | Detect precision loss (ParameterPrecisionLossMsg) | error | error |
Pass | Detect loss of tunability (ParameterTunabilityLossMsg) | error | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Model Verification block enabling (AssertControl) | DisableAll | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Signal label mismatch (SignalLabelMismatchMsg) | error | error |
Pass | Unconnected block input ports (UnconnectedInputMsg) | error | error |
Pass | Unconnected block output ports (UnconnectedOutputMsg) | error | error |
Pass | Unconnected line (UnconnectedLineMsg) | error | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | error | error |
Pass | Element name mismatch (BusObjectLabelMismatch) | error | error |
Pass | Bus signal treated as vector (StrictBusMsg) | ErrorOnBusTreatedAsVector | ErrorOnBusTreatedAsVector |
Pass | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | error | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | InvalidFcnCallConnMsg | error | error |
Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | warning | warning |
Pass | Vector/matrix block input conversion (VectorMatrixConversionMsg) | error | error |
Pass | 32-bit integer to single precision float conversion (Int32ToFloatConvMsg) | warning | warning |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | error | error |
Pass | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | error | error |
Pass | Unsupported data logging (ModelReferenceDataLoggingMessage) | error | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Pass | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | error | error |
Pass | No unconditional default transitions (SFNoUnconditionalDefaultTransitionDiag) | error | error |
Pass | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | error | error |
Pass | Unreachable execution path (SFUnreachableExecutionPathDiag) | error | error |
Pass | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | error | error |
Pass | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | error | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Signal resolution (SignalResolutionControl) | UseLocalSettings | None, UseLocalSettings |
Pass | Division by singular matrix (CheckMatrixSingularityMsg) | error | error |
Pass | Underspecified data types (UnderSpecifiedDataTypeMsg) | error | error |
Pass | Wrap on overflow (IntegerOverflowMsg) | error | error |
Pass | Saturate on overflow (IntegerSaturationMsg) | error | error |
Pass | Inf or NaN block output (SignalInfNanChecking) | error | error |
Pass | "rt" prefix for identifiers (RTPrefix) | error | error |
Pass | Simulation range checking (SignalRangeChecking) | error | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify blocks that are not recommended for MISRA C:2012 compliant code generation.
Passed
None of the blocks are defined as "not recommended" for MISRA C:2012 compliant code generation.
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Passed
All constraints on model configuration parameters have been met.
Identify unconnected lines, input ports, and output ports in the model
Passed
There are no unconnected lines, input ports, and output ports in this model.
Check whether labeled input and output signals are strongly typed.
Passed
No Stateflow charts have Use Strong Data Typing with Simulink I/O cleared.
Identify the Scope value set on Stateflow data defined at machine level.
Passed
All Stateflow data at machine level has been defined as per guideline.
Identify Stateflow charts and substates that incorrectly use or define exclusive and default states.
_________________________________________________________________________________________
Check Stateflow charts for exclusive states
Identify Stateflow charts that have singular exclusive (OR) states.
Passed
The Stateflow charts do not have singular exclusive (OR) states.
_________________________________________________________________________________________
Check Stateflow charts for undefined default states
Identify Stateflow charts that do not define default states.
Passed
Each Stateflow chart defines a default state.
_________________________________________________________________________________________
Check for multiple states assigned as the default state
At the root level in the Stateflow hierarchy only one state should be assigned as the default.
Passed
The root level of the chart has only one default state assigned.
_________________________________________________________________________________________
Check for substates with singular OR states
States configured as OR should always be part of a group of states.
Passed
No singular OR states were detected.
_________________________________________________________________________________________
Check for substates without default states defined
At every level in the Stateflow hierarchy a default state should be assigned.
Passed
All substates have default states assigned.
_________________________________________________________________________________________
Check for substates with multiple default states defined
At every level in the Stateflow hierarchy only one state should be assigned as the default.
Passed
All levels of the chart have only one default state assigned.
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Passed
Target specification is consistent.
_________________________________________________________________________________________
Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Identify inconsistent usage of vector indexing methods across the model or subsystem
Passed
No blocks found using inconsistent indexing modes.
Identify Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions. Inport block properties are specified with block parameters or Simulink signal data objects that explicitly resolve to the connected signal lines.
Passed
There are no Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Verify configuration settings for strong data typing on the boundaries between Simulink and Stateflow
Passed
No Stateflow charts found that set 'Use Strong Data Typing with Simulink I/O' to off.
Identify whether Stateflow debugging options are set appropriately
Passed
All Stateflow debugging options are set appropriately.
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code
Passed
No inappropriate if/elseif/else patterns found.
Check diagnostic settings in the model configuration that apply to saving model files.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | error | error |
Pass | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | error | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check block reduction optimization settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Block reduction (BlockReduction) | off | off |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Detect downcast (ParameterDowncastMsg) | error | error |
Pass | Detect underflow (ParameterUnderflowMsg) | error | error |
Pass | Detect overflow (ParameterOverflowMsg) | error | error |
Pass | Detect precision loss (ParameterPrecisionLossMsg) | error | error |
Pass | Detect loss of tunability (ParameterTunabilityLossMsg) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Signal label mismatch (SignalLabelMismatchMsg) | error | error |
Pass | Unconnected block input ports (UnconnectedInputMsg) | error | error |
Pass | Unconnected block output ports (UnconnectedOutputMsg) | error | error |
Pass | Unconnected line (UnconnectedLineMsg) | error | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | error | error |
Pass | Element name mismatch (BusObjectLabelMismatch) | error | error |
Pass | Bus signal treated as vector (StrictBusMsg) | ErrorOnBusTreatedAsVector | ErrorOnBusTreatedAsVector |
Pass | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | warning | warning |
Pass | Vector/matrix block input conversion (VectorMatrixConversionMsg) | error | error |
Pass | 32-bit integer to single precision float conversion (Int32ToFloatConvMsg) | warning | warning |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | error | error |
Pass | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | error | error |
Pass | Unsupported data logging (ModelReferenceDataLoggingMessage) | error | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Pass | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | error | error |
Pass | No unconditional default transitions (SFNoUnconditionalDefaultTransitionDiag) | error | error |
Pass | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | error | error |
Pass | Unreachable execution path (SFUnreachableExecutionPathDiag) | error | error |
Pass | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | error | error |
Pass | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | error | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Signal resolution (SignalResolutionControl) | UseLocalSettings | None, UseLocalSettings |
Pass | Division by singular matrix (CheckMatrixSingularityMsg) | error | error |
Pass | Underspecified data types (UnderSpecifiedDataTypeMsg) | error | error |
Pass | Wrap on overflow (IntegerOverflowMsg) | error | error |
Pass | Saturate on overflow (IntegerSaturationMsg) | error | error |
Pass | Inf or NaN block output (SignalInfNanChecking) | error | error |
Pass | "rt" prefix for identifiers (RTPrefix) | error | error |
Pass | Simulation range checking (SignalRangeChecking) | error | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
Element Type | Count |
---|---|
Inport | 9 |
Outport | 3 |
SubSystem | 1 |
Simulink
Block Type | Count |
---|---|
Inport | 9 |
ModelReference | 6 |
RateTransition | 3 |
Outport | 3 |
Demux | 1 |
SubSystem | 1 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 2
Subsystem Depth
Subsystem Name | Level | Depth |
---|---|---|
FCC/ModelInfo | 1 | 1 |
Identify unconnected lines, input ports, and output ports in the model
Passed
There are no unconnected lines, input ports, and output ports in this model.
Identify Math Function blocks using rem and reciprocal functions that cause non-finite results
Passed
All Math Function blocks in the model use operators appropriately.
Identify Math Function blocks using log and log10 functions that cause non-finite results
Passed
All Math Function blocks in the model use operators appropriately.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
There are no variant blocks that have "Generate preprocessor conditionals" active.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions. Inport block properties are specified with block parameters or Simulink signal data objects that explicitly resolve to the connected signal lines.
Passed
There are no Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Verify configuration settings for strong data typing on the boundaries between Simulink and Stateflow
Passed
No Stateflow charts found that set 'Use Strong Data Typing with Simulink I/O' to off.
Identify whether Stateflow debugging options are set appropriately
Passed
All Stateflow debugging options are set appropriately.
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code
Passed
No inappropriate if/elseif/else patterns found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Detect read before write (ReadBeforeWriteMsg) | EnableAllAsError | EnableAllAsError |
Pass | Detect write after read (WriteAfterReadMsg) | EnableAllAsError | EnableAllAsError |
Pass | Detect write after write (WriteAfterWriteMsg) | EnableAllAsError | EnableAllAsError |
Pass | Multitask data store (MultiTaskDSMMsg) | error | error |
Pass | Duplicate data store names (UniqueDataStoreMsg) | error | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | error | error |
Pass | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | error | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | Include comments (GenerateComments) | on | on | |
Pass | Simulink block comments (SimulinkBlockComments) | on | on | GenerateComments |
Pass | Show eliminated blocks (ShowEliminatedStatement) | on | on | GenerateComments |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | on | on | GenerateComments |
D - Pass | Include comments (GenerateComments) | on | on | |
Pass | Requirements in block comments (ReqsInCode) | on | on | SystemTargetFile, GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | non-finite numbers (SupportNonFinite) | off | off | |
Pass | absolute time (SupportAbsoluteTime) | off | off | SystemTargetFile |
Pass | continuous time (SupportContinuousTime) | off | off | SystemTargetFile |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | non-inlined S-functions (SupportNonInlinedSFcns) | off | off | SystemTargetFile |
Pass | Classic call interface (GRTInterface) | off | off | |
Pass | Single output/update function (CombineOutputUpdateFcns) | on | on | |
Pass | Terminate function required (IncludeMdlTerminateFcn) | off | off | SystemTargetFile |
Pass | Remove error status field in real-time model data structure (SuppressErrorStatus) | on | on | SystemTargetFile |
Pass | MAT-file logging (MatFileLogging) | off | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Type (SolverType) | Fixed-step | Fixed-step |
Pass | Solver (SolverName) | FixedStepDiscrete | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Not Recommended Values |
---|---|---|---|
Pass | Automatically handle rate transition for data transfer (AutoInsertRateTranBlk) | off | on |
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Algebraic loop (AlgebraicLoopMsg) | error | error |
Pass | Minimize algebraic loop (ArtificialAlgebraicLoopMsg) | error | error |
Pass | Block priority violation (BlockPriorityViolationMsg) | error | error |
Pass | Automatic solver parameter selection (SolverPrmCheckMsg) | error | error |
Pass | State name clash (StateNameClashWarn) | warning | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Source block specifies -1 sample time (InheritedTsInSrcMsg) | error | error |
Pass | Multitask rate transition (MultiTaskRateTransMsg) | error | error |
Pass | Multitask conditionally executed subsystem (MultiTaskCondExecSysMsg) | error | error |
Pass | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | error | error |
Pass | Single task rate transition (SingleTaskRateTransMsg) | error | error |
Pass | Tasks with equal priority (TasksWithSamePriorityMsg) | error | error |
Pass | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | error | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check block reduction optimization settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Block reduction (BlockReduction) | off | off |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | Parentheses level (ParenthesesLevel) | Maximum | Maximum | SystemTargetFile |
Pass | Preserve operand order in expression (PreserveExpressionOrder) | on | on | SystemTargetFile |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Application lifespan (days) (LifeSpan) | inf | Inf |
Check code generation identifier settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
---|---|---|---|---|---|
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | ||
Pass | Minimum mangle length (MangleLength) | 4 | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to loop unrolling threshold and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Not Recommended Values |
---|---|---|---|
Pass | Loop unrolling threshold (RollThreshold) | 5 | 0, 1 |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | Remove root level I/O zero initialization (ZeroExternalMemoryAtStartup) * | on | on | SystemTargetFile |
Pass | Remove internal data zero initialization (ZeroInternalMemoryAtStartup) * | on | on | SystemTargetFile |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | on | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | Remove code that protects against division arithmetic exceptions (NoFixptDivByZeroProtection) | off | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | Optimize using the specified minimum and maximum values (UseSpecifiedMinMax) | off | off | SystemTargetFile |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target |
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | S-function upgrades needed (SFcnCompatibilityMsg) | error | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Detect downcast (ParameterDowncastMsg) | error | error |
Pass | Detect underflow (ParameterUnderflowMsg) | error | error |
Pass | Detect overflow (ParameterOverflowMsg) | error | error |
Pass | Detect precision loss (ParameterPrecisionLossMsg) | error | error |
Pass | Detect loss of tunability (ParameterTunabilityLossMsg) | error | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Model Verification block enabling (AssertControl) | DisableAll | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Signal label mismatch (SignalLabelMismatchMsg) | error | error |
Pass | Unconnected block input ports (UnconnectedInputMsg) | error | error |
Pass | Unconnected block output ports (UnconnectedOutputMsg) | error | error |
Pass | Unconnected line (UnconnectedLineMsg) | error | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | error | error |
Pass | Element name mismatch (BusObjectLabelMismatch) | error | error |
Pass | Bus signal treated as vector (StrictBusMsg) | ErrorOnBusTreatedAsVector | ErrorOnBusTreatedAsVector |
Pass | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | error | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | InvalidFcnCallConnMsg | error | error |
Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | warning | warning |
Pass | Vector/matrix block input conversion (VectorMatrixConversionMsg) | error | error |
Pass | 32-bit integer to single precision float conversion (Int32ToFloatConvMsg) | warning | warning |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | error | error |
Pass | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | error | error |
Pass | Unsupported data logging (ModelReferenceDataLoggingMessage) | error | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Pass | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | error | error |
Pass | No unconditional default transitions (SFNoUnconditionalDefaultTransitionDiag) | error | error |
Pass | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | error | error |
Pass | Unreachable execution path (SFUnreachableExecutionPathDiag) | error | error |
Pass | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | error | error |
Pass | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | error | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Signal resolution (SignalResolutionControl) | UseLocalSettings | None, UseLocalSettings |
Pass | Division by singular matrix (CheckMatrixSingularityMsg) | error | error |
Pass | Underspecified data types (UnderSpecifiedDataTypeMsg) | error | error |
Pass | Wrap on overflow (IntegerOverflowMsg) | error | error |
Pass | Saturate on overflow (IntegerSaturationMsg) | error | error |
Pass | Inf or NaN block output (SignalInfNanChecking) | error | error |
Pass | "rt" prefix for identifiers (RTPrefix) | error | error |
Pass | Simulation range checking (SignalRangeChecking) | error | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify blocks that are not recommended for MISRA C:2012 compliant code generation.
Passed
None of the blocks are defined as "not recommended" for MISRA C:2012 compliant code generation.
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Passed
All constraints on model configuration parameters have been met.
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
Element Type | Count |
---|---|
Inport | 9 |
Outport | 3 |
SubSystem | 1 |
Simulink
Block Type | Count |
---|---|
Inport | 9 |
ModelReference | 6 |
RateTransition | 3 |
Outport | 3 |
Demux | 1 |
SubSystem | 1 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 2
Subsystem Depth
Subsystem Name | Level | Depth |
---|---|---|
FCC/ModelInfo | 1 | 1 |
Identify unconnected lines, input ports, and output ports in the model
Passed
There are no unconnected lines, input ports, and output ports in this model.
Identify Math Function blocks using rem and reciprocal functions that cause non-finite results
Passed
All Math Function blocks in the model use operators appropriately.
Identify Math Function blocks using log and log10 functions that cause non-finite results
Passed
All Math Function blocks in the model use operators appropriately.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
There are no variant blocks that have "Generate preprocessor conditionals" active.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions. Inport block properties are specified with block parameters or Simulink signal data objects that explicitly resolve to the connected signal lines.
Passed
There are no Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Verify configuration settings for strong data typing on the boundaries between Simulink and Stateflow
Passed
No Stateflow charts found that set 'Use Strong Data Typing with Simulink I/O' to off.
Identify whether Stateflow debugging options are set appropriately
Passed
All Stateflow debugging options are set appropriately.
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code
Passed
No inappropriate if/elseif/else patterns found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Detect read before write (ReadBeforeWriteMsg) | EnableAllAsError | EnableAllAsError |
Pass | Detect write after read (WriteAfterReadMsg) | EnableAllAsError | EnableAllAsError |
Pass | Detect write after write (WriteAfterWriteMsg) | EnableAllAsError | EnableAllAsError |
Pass | Multitask data store (MultiTaskDSMMsg) | error | error |
Pass | Duplicate data store names (UniqueDataStoreMsg) | error | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | error | error |
Pass | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | error | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | Include comments (GenerateComments) | on | on | |
Pass | Simulink block comments (SimulinkBlockComments) | on | on | GenerateComments |
Pass | Show eliminated blocks (ShowEliminatedStatement) | on | on | GenerateComments |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | on | on | GenerateComments |
D - Pass | Include comments (GenerateComments) | on | on | |
Pass | Requirements in block comments (ReqsInCode) | on | on | SystemTargetFile, GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | non-finite numbers (SupportNonFinite) | off | off | |
Pass | absolute time (SupportAbsoluteTime) | off | off | SystemTargetFile |
Pass | continuous time (SupportContinuousTime) | off | off | SystemTargetFile |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | non-inlined S-functions (SupportNonInlinedSFcns) | off | off | SystemTargetFile |
Pass | Classic call interface (GRTInterface) | off | off | |
Pass | Single output/update function (CombineOutputUpdateFcns) | on | on | |
Pass | Terminate function required (IncludeMdlTerminateFcn) | off | off | SystemTargetFile |
Pass | Remove error status field in real-time model data structure (SuppressErrorStatus) | on | on | SystemTargetFile |
Pass | MAT-file logging (MatFileLogging) | off | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Type (SolverType) | Fixed-step | Fixed-step |
Pass | Solver (SolverName) | FixedStepDiscrete | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Not Recommended Values |
---|---|---|---|
Pass | Automatically handle rate transition for data transfer (AutoInsertRateTranBlk) | off | on |
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Algebraic loop (AlgebraicLoopMsg) | error | error |
Pass | Minimize algebraic loop (ArtificialAlgebraicLoopMsg) | error | error |
Pass | Block priority violation (BlockPriorityViolationMsg) | error | error |
Pass | Automatic solver parameter selection (SolverPrmCheckMsg) | error | error |
Pass | State name clash (StateNameClashWarn) | warning | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Source block specifies -1 sample time (InheritedTsInSrcMsg) | error | error |
Pass | Multitask rate transition (MultiTaskRateTransMsg) | error | error |
Pass | Multitask conditionally executed subsystem (MultiTaskCondExecSysMsg) | error | error |
Pass | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | error | error |
Pass | Single task rate transition (SingleTaskRateTransMsg) | error | error |
Pass | Tasks with equal priority (TasksWithSamePriorityMsg) | error | error |
Pass | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | error | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check block reduction optimization settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Block reduction (BlockReduction) | off | off |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | Parentheses level (ParenthesesLevel) | Maximum | Maximum | SystemTargetFile |
Pass | Preserve operand order in expression (PreserveExpressionOrder) | on | on | SystemTargetFile |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Application lifespan (days) (LifeSpan) | inf | Inf |
Check code generation identifier settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
---|---|---|---|---|---|
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | ||
Pass | Minimum mangle length (MangleLength) | 4 | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to loop unrolling threshold and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Not Recommended Values |
---|---|---|---|
Pass | Loop unrolling threshold (RollThreshold) | 5 | 0, 1 |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | Remove root level I/O zero initialization (ZeroExternalMemoryAtStartup) * | on | on | SystemTargetFile |
Pass | Remove internal data zero initialization (ZeroInternalMemoryAtStartup) * | on | on | SystemTargetFile |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | on | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | Remove code that protects against division arithmetic exceptions (NoFixptDivByZeroProtection) | off | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | Optimize using the specified minimum and maximum values (UseSpecifiedMinMax) | off | off | SystemTargetFile |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target |
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | S-function upgrades needed (SFcnCompatibilityMsg) | error | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Detect downcast (ParameterDowncastMsg) | error | error |
Pass | Detect underflow (ParameterUnderflowMsg) | error | error |
Pass | Detect overflow (ParameterOverflowMsg) | error | error |
Pass | Detect precision loss (ParameterPrecisionLossMsg) | error | error |
Pass | Detect loss of tunability (ParameterTunabilityLossMsg) | error | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Model Verification block enabling (AssertControl) | DisableAll | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Signal label mismatch (SignalLabelMismatchMsg) | error | error |
Pass | Unconnected block input ports (UnconnectedInputMsg) | error | error |
Pass | Unconnected block output ports (UnconnectedOutputMsg) | error | error |
Pass | Unconnected line (UnconnectedLineMsg) | error | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | error | error |
Pass | Element name mismatch (BusObjectLabelMismatch) | error | error |
Pass | Bus signal treated as vector (StrictBusMsg) | ErrorOnBusTreatedAsVector | ErrorOnBusTreatedAsVector |
Pass | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | error | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | InvalidFcnCallConnMsg | error | error |
Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | warning | warning |
Pass | Vector/matrix block input conversion (VectorMatrixConversionMsg) | error | error |
Pass | 32-bit integer to single precision float conversion (Int32ToFloatConvMsg) | warning | warning |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | error | error |
Pass | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | error | error |
Pass | Unsupported data logging (ModelReferenceDataLoggingMessage) | error | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Pass | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | error | error |
Pass | No unconditional default transitions (SFNoUnconditionalDefaultTransitionDiag) | error | error |
Pass | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | error | error |
Pass | Unreachable execution path (SFUnreachableExecutionPathDiag) | error | error |
Pass | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | error | error |
Pass | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | error | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Signal resolution (SignalResolutionControl) | UseLocalSettings | None, UseLocalSettings |
Pass | Division by singular matrix (CheckMatrixSingularityMsg) | error | error |
Pass | Underspecified data types (UnderSpecifiedDataTypeMsg) | error | error |
Pass | Wrap on overflow (IntegerOverflowMsg) | error | error |
Pass | Saturate on overflow (IntegerSaturationMsg) | error | error |
Pass | Inf or NaN block output (SignalInfNanChecking) | error | error |
Pass | "rt" prefix for identifiers (RTPrefix) | error | error |
Pass | Simulation range checking (SignalRangeChecking) | error | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify blocks that are not recommended for MISRA C:2012 compliant code generation.
Passed
None of the blocks are defined as "not recommended" for MISRA C:2012 compliant code generation.
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Passed
All constraints on model configuration parameters have been met.
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
Element Type | Count |
---|---|
Inport | 9 |
Outport | 3 |
SubSystem | 1 |
Simulink
Block Type | Count |
---|---|
Inport | 9 |
ModelReference | 6 |
RateTransition | 3 |
Outport | 3 |
Demux | 1 |
SubSystem | 1 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 2
Subsystem Depth
Subsystem Name | Level | Depth |
---|---|---|
FCC/ModelInfo | 1 | 1 |
Identify unconnected lines, input ports, and output ports in the model
Passed
There are no unconnected lines, input ports, and output ports in this model.
Identify Math Function blocks using rem and reciprocal functions that cause non-finite results
Passed
All Math Function blocks in the model use operators appropriately.
Identify Math Function blocks using log and log10 functions that cause non-finite results
Passed
All Math Function blocks in the model use operators appropriately.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
There are no variant blocks that have "Generate preprocessor conditionals" active.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions. Inport block properties are specified with block parameters or Simulink signal data objects that explicitly resolve to the connected signal lines.
Passed
There are no Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Verify configuration settings for strong data typing on the boundaries between Simulink and Stateflow
Passed
No Stateflow charts found that set 'Use Strong Data Typing with Simulink I/O' to off.
Identify whether Stateflow debugging options are set appropriately
Passed
All Stateflow debugging options are set appropriately.
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code
Passed
No inappropriate if/elseif/else patterns found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Detect read before write (ReadBeforeWriteMsg) | EnableAllAsError | EnableAllAsError |
Pass | Detect write after read (WriteAfterReadMsg) | EnableAllAsError | EnableAllAsError |
Pass | Detect write after write (WriteAfterWriteMsg) | EnableAllAsError | EnableAllAsError |
Pass | Multitask data store (MultiTaskDSMMsg) | error | error |
Pass | Duplicate data store names (UniqueDataStoreMsg) | error | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | error | error |
Pass | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | error | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | Include comments (GenerateComments) | on | on | |
Pass | Simulink block comments (SimulinkBlockComments) | on | on | GenerateComments |
Pass | Show eliminated blocks (ShowEliminatedStatement) | on | on | GenerateComments |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | on | on | GenerateComments |
D - Pass | Include comments (GenerateComments) | on | on | |
Pass | Requirements in block comments (ReqsInCode) | on | on | SystemTargetFile, GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | non-finite numbers (SupportNonFinite) | off | off | |
Pass | absolute time (SupportAbsoluteTime) | off | off | SystemTargetFile |
Pass | continuous time (SupportContinuousTime) | off | off | SystemTargetFile |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | non-inlined S-functions (SupportNonInlinedSFcns) | off | off | SystemTargetFile |
Pass | Classic call interface (GRTInterface) | off | off | |
Pass | Single output/update function (CombineOutputUpdateFcns) | on | on | |
Pass | Terminate function required (IncludeMdlTerminateFcn) | off | off | SystemTargetFile |
Pass | Remove error status field in real-time model data structure (SuppressErrorStatus) | on | on | SystemTargetFile |
Pass | MAT-file logging (MatFileLogging) | off | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Type (SolverType) | Fixed-step | Fixed-step |
Pass | Solver (SolverName) | FixedStepDiscrete | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Not Recommended Values |
---|---|---|---|
Pass | Automatically handle rate transition for data transfer (AutoInsertRateTranBlk) | off | on |
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Algebraic loop (AlgebraicLoopMsg) | error | error |
Pass | Minimize algebraic loop (ArtificialAlgebraicLoopMsg) | error | error |
Pass | Block priority violation (BlockPriorityViolationMsg) | error | error |
Pass | Automatic solver parameter selection (SolverPrmCheckMsg) | error | error |
Pass | State name clash (StateNameClashWarn) | warning | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Source block specifies -1 sample time (InheritedTsInSrcMsg) | error | error |
Pass | Multitask rate transition (MultiTaskRateTransMsg) | error | error |
Pass | Multitask conditionally executed subsystem (MultiTaskCondExecSysMsg) | error | error |
Pass | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | error | error |
Pass | Single task rate transition (SingleTaskRateTransMsg) | error | error |
Pass | Tasks with equal priority (TasksWithSamePriorityMsg) | error | error |
Pass | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | error | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check block reduction optimization settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Block reduction (BlockReduction) | off | off |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | Parentheses level (ParenthesesLevel) | Maximum | Maximum | SystemTargetFile |
Pass | Preserve operand order in expression (PreserveExpressionOrder) | on | on | SystemTargetFile |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Application lifespan (days) (LifeSpan) | inf | Inf |
Check code generation identifier settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
---|---|---|---|---|---|
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | ||
Pass | Minimum mangle length (MangleLength) | 4 | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to loop unrolling threshold and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Not Recommended Values |
---|---|---|---|
Pass | Loop unrolling threshold (RollThreshold) | 5 | 0, 1 |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | Remove root level I/O zero initialization (ZeroExternalMemoryAtStartup) * | on | on | SystemTargetFile |
Pass | Remove internal data zero initialization (ZeroInternalMemoryAtStartup) * | on | on | SystemTargetFile |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | on | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | Remove code that protects against division arithmetic exceptions (NoFixptDivByZeroProtection) | off | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | Optimize using the specified minimum and maximum values (UseSpecifiedMinMax) | off | off | SystemTargetFile |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target |
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | S-function upgrades needed (SFcnCompatibilityMsg) | error | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Detect downcast (ParameterDowncastMsg) | error | error |
Pass | Detect underflow (ParameterUnderflowMsg) | error | error |
Pass | Detect overflow (ParameterOverflowMsg) | error | error |
Pass | Detect precision loss (ParameterPrecisionLossMsg) | error | error |
Pass | Detect loss of tunability (ParameterTunabilityLossMsg) | error | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Model Verification block enabling (AssertControl) | DisableAll | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Signal label mismatch (SignalLabelMismatchMsg) | error | error |
Pass | Unconnected block input ports (UnconnectedInputMsg) | error | error |
Pass | Unconnected block output ports (UnconnectedOutputMsg) | error | error |
Pass | Unconnected line (UnconnectedLineMsg) | error | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | error | error |
Pass | Element name mismatch (BusObjectLabelMismatch) | error | error |
Pass | Bus signal treated as vector (StrictBusMsg) | ErrorOnBusTreatedAsVector | ErrorOnBusTreatedAsVector |
Pass | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | error | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | InvalidFcnCallConnMsg | error | error |
Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | warning | warning |
Pass | Vector/matrix block input conversion (VectorMatrixConversionMsg) | error | error |
Pass | 32-bit integer to single precision float conversion (Int32ToFloatConvMsg) | warning | warning |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | error | error |
Pass | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | error | error |
Pass | Unsupported data logging (ModelReferenceDataLoggingMessage) | error | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Pass | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | error | error |
Pass | No unconditional default transitions (SFNoUnconditionalDefaultTransitionDiag) | error | error |
Pass | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | error | error |
Pass | Unreachable execution path (SFUnreachableExecutionPathDiag) | error | error |
Pass | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | error | error |
Pass | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | error | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Signal resolution (SignalResolutionControl) | UseLocalSettings | None, UseLocalSettings |
Pass | Division by singular matrix (CheckMatrixSingularityMsg) | error | error |
Pass | Underspecified data types (UnderSpecifiedDataTypeMsg) | error | error |
Pass | Wrap on overflow (IntegerOverflowMsg) | error | error |
Pass | Saturate on overflow (IntegerSaturationMsg) | error | error |
Pass | Inf or NaN block output (SignalInfNanChecking) | error | error |
Pass | "rt" prefix for identifiers (RTPrefix) | error | error |
Pass | Simulation range checking (SignalRangeChecking) | error | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify blocks that are not recommended for MISRA C:2012 compliant code generation.
Passed
None of the blocks are defined as "not recommended" for MISRA C:2012 compliant code generation.
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Passed
All constraints on model configuration parameters have been met.
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
Element Type | Count |
---|---|
Inport | 9 |
Outport | 3 |
SubSystem | 1 |
Simulink
Block Type | Count |
---|---|
Inport | 9 |
ModelReference | 6 |
RateTransition | 3 |
Outport | 3 |
Demux | 1 |
SubSystem | 1 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 2
Subsystem Depth
Subsystem Name | Level | Depth |
---|---|---|
FCC/ModelInfo | 1 | 1 |
Identify unconnected lines, input ports, and output ports in the model
Passed
There are no unconnected lines, input ports, and output ports in this model.
Identify Math Function blocks using rem and reciprocal functions that cause non-finite results
Passed
All Math Function blocks in the model use operators appropriately.
Identify Math Function blocks using log and log10 functions that cause non-finite results
Passed
All Math Function blocks in the model use operators appropriately.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
There are no variant blocks that have "Generate preprocessor conditionals" active.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions. Inport block properties are specified with block parameters or Simulink signal data objects that explicitly resolve to the connected signal lines.
Passed
There are no Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Verify configuration settings for strong data typing on the boundaries between Simulink and Stateflow
Passed
No Stateflow charts found that set 'Use Strong Data Typing with Simulink I/O' to off.
Identify whether Stateflow debugging options are set appropriately
Passed
All Stateflow debugging options are set appropriately.
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code
Passed
No inappropriate if/elseif/else patterns found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Detect read before write (ReadBeforeWriteMsg) | EnableAllAsError | EnableAllAsError |
Pass | Detect write after read (WriteAfterReadMsg) | EnableAllAsError | EnableAllAsError |
Pass | Detect write after write (WriteAfterWriteMsg) | EnableAllAsError | EnableAllAsError |
Pass | Multitask data store (MultiTaskDSMMsg) | error | error |
Pass | Duplicate data store names (UniqueDataStoreMsg) | error | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | error | error |
Pass | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | error | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | Include comments (GenerateComments) | on | on | |
Pass | Simulink block comments (SimulinkBlockComments) | on | on | GenerateComments |
Pass | Show eliminated blocks (ShowEliminatedStatement) | on | on | GenerateComments |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | on | on | GenerateComments |
D - Pass | Include comments (GenerateComments) | on | on | |
Pass | Requirements in block comments (ReqsInCode) | on | on | SystemTargetFile, GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | non-finite numbers (SupportNonFinite) | off | off | |
Pass | absolute time (SupportAbsoluteTime) | off | off | SystemTargetFile |
Pass | continuous time (SupportContinuousTime) | off | off | SystemTargetFile |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | non-inlined S-functions (SupportNonInlinedSFcns) | off | off | SystemTargetFile |
Pass | Classic call interface (GRTInterface) | off | off | |
Pass | Single output/update function (CombineOutputUpdateFcns) | on | on | |
Pass | Terminate function required (IncludeMdlTerminateFcn) | off | off | SystemTargetFile |
Pass | Remove error status field in real-time model data structure (SuppressErrorStatus) | on | on | SystemTargetFile |
Pass | MAT-file logging (MatFileLogging) | off | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Type (SolverType) | Fixed-step | Fixed-step |
Pass | Solver (SolverName) | FixedStepDiscrete | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Not Recommended Values |
---|---|---|---|
Pass | Automatically handle rate transition for data transfer (AutoInsertRateTranBlk) | off | on |
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Algebraic loop (AlgebraicLoopMsg) | error | error |
Pass | Minimize algebraic loop (ArtificialAlgebraicLoopMsg) | error | error |
Pass | Block priority violation (BlockPriorityViolationMsg) | error | error |
Pass | Automatic solver parameter selection (SolverPrmCheckMsg) | error | error |
Pass | State name clash (StateNameClashWarn) | warning | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Source block specifies -1 sample time (InheritedTsInSrcMsg) | error | error |
Pass | Multitask rate transition (MultiTaskRateTransMsg) | error | error |
Pass | Multitask conditionally executed subsystem (MultiTaskCondExecSysMsg) | error | error |
Pass | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | error | error |
Pass | Single task rate transition (SingleTaskRateTransMsg) | error | error |
Pass | Tasks with equal priority (TasksWithSamePriorityMsg) | error | error |
Pass | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | error | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check block reduction optimization settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Block reduction (BlockReduction) | off | off |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | Parentheses level (ParenthesesLevel) | Maximum | Maximum | SystemTargetFile |
Pass | Preserve operand order in expression (PreserveExpressionOrder) | on | on | SystemTargetFile |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Application lifespan (days) (LifeSpan) | inf | Inf |
Check code generation identifier settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
---|---|---|---|---|---|
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | ||
Pass | Minimum mangle length (MangleLength) | 4 | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to loop unrolling threshold and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Not Recommended Values |
---|---|---|---|
Pass | Loop unrolling threshold (RollThreshold) | 5 | 0, 1 |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | Remove root level I/O zero initialization (ZeroExternalMemoryAtStartup) * | on | on | SystemTargetFile |
Pass | Remove internal data zero initialization (ZeroInternalMemoryAtStartup) * | on | on | SystemTargetFile |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | on | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target | |
Pass | Remove code that protects against division arithmetic exceptions (NoFixptDivByZeroProtection) | off | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Pass | Optimize using the specified minimum and maximum values (UseSpecifiedMinMax) | off | off | SystemTargetFile |
D - Pass | System target file (SystemTargetFile) | ERT based target | ERT based target |
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | S-function upgrades needed (SFcnCompatibilityMsg) | error | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Detect downcast (ParameterDowncastMsg) | error | error |
Pass | Detect underflow (ParameterUnderflowMsg) | error | error |
Pass | Detect overflow (ParameterOverflowMsg) | error | error |
Pass | Detect precision loss (ParameterPrecisionLossMsg) | error | error |
Pass | Detect loss of tunability (ParameterTunabilityLossMsg) | error | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Model Verification block enabling (AssertControl) | DisableAll | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Signal label mismatch (SignalLabelMismatchMsg) | error | error |
Pass | Unconnected block input ports (UnconnectedInputMsg) | error | error |
Pass | Unconnected block output ports (UnconnectedOutputMsg) | error | error |
Pass | Unconnected line (UnconnectedLineMsg) | error | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | error | error |
Pass | Element name mismatch (BusObjectLabelMismatch) | error | error |
Pass | Bus signal treated as vector (StrictBusMsg) | ErrorOnBusTreatedAsVector | ErrorOnBusTreatedAsVector |
Pass | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | error | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | InvalidFcnCallConnMsg | error | error |
Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | warning | warning |
Pass | Vector/matrix block input conversion (VectorMatrixConversionMsg) | error | error |
Pass | 32-bit integer to single precision float conversion (Int32ToFloatConvMsg) | warning | warning |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | error | error |
Pass | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | error | error |
Pass | Unsupported data logging (ModelReferenceDataLoggingMessage) | error | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Pass | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | error | error |
Pass | No unconditional default transitions (SFNoUnconditionalDefaultTransitionDiag) | error | error |
Pass | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | error | error |
Pass | Unreachable execution path (SFUnreachableExecutionPathDiag) | error | error |
Pass | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | error | error |
Pass | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | error | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Signal resolution (SignalResolutionControl) | UseLocalSettings | None, UseLocalSettings |
Pass | Division by singular matrix (CheckMatrixSingularityMsg) | error | error |
Pass | Underspecified data types (UnderSpecifiedDataTypeMsg) | error | error |
Pass | Wrap on overflow (IntegerOverflowMsg) | error | error |
Pass | Saturate on overflow (IntegerSaturationMsg) | error | error |
Pass | Inf or NaN block output (SignalInfNanChecking) | error | error |
Pass | "rt" prefix for identifiers (RTPrefix) | error | error |
Pass | Simulation range checking (SignalRangeChecking) | error | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify blocks that are not recommended for MISRA C:2012 compliant code generation.
Passed
None of the blocks are defined as "not recommended" for MISRA C:2012 compliant code generation.
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Passed
All constraints on model configuration parameters have been met.
Display number of effective lines of MATLAB code.
No metric data available. The component scope of the metric algorithm is not applicable.
Passed
Display number of Stateflow objects in each chart.
No metric data available. The component scope of the metric algorithm is not applicable.
Passed
Display number of code lines for Stateflow blocks.
No metric data available. The component scope of the metric algorithm is not applicable.
Passed
Display depth of subsystems in the model or subsystem.
Component | Subsystem Level | Subsystem Depth |
---|---|---|
FCC | 0 | 0 |
Display non-descriptive names of Inport, Outport and Subsystem blocks.
Component | Nondescriptive Names |
---|---|
FCC | 0 |
Display data and structure layer separation, defined by MAAB modeling guideline db_0143.
Component | Non-conforming Blocks |
---|---|
FCC | 0 |
Check optimization settings
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Warning | Block reduction (BlockReduction) | off | on |
Warning | Use memset to initialize floats and doubles to 0.0 (InitFltsAndDblsToZero) * | on | off |
Warning | Inline invariant signals (InlineInvariantSignals) | off | on |
Warning | Simulation range checking (SignalRangeChecking) | error | none |
Warning | Use bitsets for storing state configuration (StateBitsets) | off | on |
Warning | Use bitsets for storing Boolean data (DataBitsets) | off | on |
Warning | Remove root level I/O zero initialization (ZeroExternalMemoryAtStartup) * | on | off |
Warning | Remove internal data zero initialization (ZeroInternalMemoryAtStartup) * | on | off |
Warning | Pass reusable subsystem outputs as (PassReuseOutputArgsAs) | Structure reference | Individual arguments |
Warning | Ignore test point signals (IgnoreTestpoints) | off | on |
Check the model for blocks configured for one-based indexing
Passed
All blocks in the model use zero-based indexing.
_________________________________________________________________________________________
These settings can lead to inefficient code generation when inputs always fall within the range of valid breakpoint values for lookup table blocks, including Lookup Table blocks, Prelookup blocks and Interpolation blocks.
Passed
The lookup table blocks have been configured to generate range-checking free code.
Identify logic blocks that are outputting non-Boolean data types.
Passed
There are no logic blocks in the model or subsystem.
Check setting for generation of saturation code which handles out of range values. This code decreases the net efficiency of the application.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
Status | Parameter | Current Value | Recommended Values | Prerequisites |
---|---|---|---|---|
Warning | Remove code from floating-point to integer conversions with saturation that maps NaN to zero (EfficientMapNaN2IntZero) | off | on | IsERTTarget |
Check that the characters in the model can be represented in the current encoding.
Passed
All the characters in the model can be represented in the current encoding.
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.
Check the model file name to ensure that the name complies with the recommended guidelines.
Passed
All files have correct names.
Check the folder name to ensure that the name complies with the recommended guidelines.
Passed
All folders have correct names.
Identify subsystem names with incorrect characters.
Passed
All the subsystem names use correct characters.
Identify Inport or Outport block names with incorrect characters.
Passed
All the Inport or Outport block names use correct characters.
Identify block names with incorrect characters.
Passed
All the block names use correct characters.
Check length of subsystem names
Passed
All subsystem names are valid.
Check length of Inport and Outport names
Passed
All Inport and Outport names are valid.
Identify invalid characters in signal and bus names
Passed
No invalid characters are used in signal and bus names.
Check length of signal and bus names
Passed
All signal and bus names are valid.
Identify invalid characters in Stateflow data names.
Passed
No invalid characters are used in Stateflow data names.
Check if the length of Stateflow data names are within limit.
Passed
All Stateflow data names are valid.
Simulink Data names should be unique across base workspace, model workspace and data dictionary.
Passed
All Simulink Data names are unique.
Checks if the model parameter 'Unused data, events, messages and functions' is not set to 'none'.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unused data, events, messages and functions (SFUnusedDataAndEventsDiag) | warning | error, warning |
Identify whether Implement logic signals as Boolean data (vs. double) is selected.
Passed
Implement logic signals as Boolean data (vs. double) is selected.
jc_0642: Integer rounding mode setting
Identifies blocks with block parameter 'Integer Rounding Mode' set to 'Simplest' when the configuration parameter 'Signed integer division rounds to' is set to 'Undefined'.
Passed
Configuration parameter 'Signed integer division rounds to' is not set to 'Undefined'.
Identify data validity diagnostic settings which detect incorrect calculation results.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Division by singular matrix (CheckMatrixSingularityMsg) | error | error |
Pass | Inf or NaN block output (SignalInfNanChecking) | error | error |
Pass | Wrap on overflow (IntegerOverflowMsg) | error | error |
Pass | Saturate on overflow (IntegerSaturationMsg) | error | error |
Identify nonstandard display attributes in Simulink diagrams.
_________________________________________________________________________________________
Check format settings
Identify incorrect model-level format options.
Warning
The following format display options are incorrect.
Display Attribute | Recommended Value | Actual Value |
---|---|---|
Debug > Information Overlays > Nonscalar Signals | on | off |
Modeling > Environment > Model Browser | off | on |
Debug > Information Overlays > Execution Context | off | on |
Debug > Information Overlays > Colors | none | disabled |
Check block colors
Identify blocks using nonstandard colors.
Passed
All blocks use standard colors.
_________________________________________________________________________________________
Check canvas colors
Identify canvases that are not white.
Passed
All diagrams use a white canvas.
_________________________________________________________________________________________
Check diagram zoom
Identify diagrams that do not have zoom factor set to 100 %.
Note: Zoom factors can differ for each instance of a model diagram opened in Simulink Editor
Warning
The following diagrams do not have zoom factor set to 100 percent:
Identify blocks and charts with different font settings from input parameters.
Passed
Font settings of the blocks and charts and input parameters are same.
Identify blocks where the name is not displayed below the block.
Passed
All blocks have names displayed below the block.
Identify whether to display block names.
Check for non-descriptive displayed block names
Identify block names that are displayed but should be hidden due to a lack of a descriptive name.
Passed
All displayed names provide descriptive information.
Check for missing block names
Identify block names that are hidden but should be displayed to show a descriptive name.
Passed
All displayed names provide descriptive information.
Check for blocks with hidden names and obvious function
Identify block names that are displayed but can be hidden due to obvious behavior.
Warning
The following block names can be hidden:
Identify blocks that use and fail to display nondefault values.
Warning
The following blocks use and fail to display nondefault values:
Block | Parameter | Expected Value | Actual Value |
---|---|---|---|
FCC/RateTransition1 | OutPortSampleTime | -1 | 0.001 |
FCC/RateTransition2 | OutPortSampleTime | -1 | 0.001 |
FCC/RateTransition3 | OutPortSampleTime | -1 | 0.001 |
Identify layers in the model having inconsistent description format.
Warning
Following layers do not have model descriptions:
Check if blocks are shaded in the model
Passed
Blocks in the model are not shaded.
Identify unconnected block input ports, output ports, and signal lines.
Passed
All lines and ports in the model are connected.
Identify intersections and overlaps of signals in a model
Passed
No signal intersections or overlaps found.
Identify subsystems which do not have a signal flow from left to right.
Passed
No subsystems found with inappropriate signal flow.
Identify tunable parameters used to specify expressions, data type conversions, or indexing operations.
Passed
Tunable parameters are not used in the model.
Check if model elements connected to a signal are following consistent naming.
Passed
Model elements connected to a signal are following consistent names.
Identify trigger blocks where the origin of the trigger signal and the destination have dissimilar names.
Passed
No violation of the guideline for use of trigger signal names.
Identify levels in the model that include basic blocks and subsystems. Each level of a model must be designed with blocks of the same level (for example, only subsystems or only basic blocks).
Passed
The model does not mix basic blocks and subsystems at the same level.
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Check source block labels
Warning
The following signals have no label:
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Check destination block labels
Warning
The following signals have no label:
Identify propagated labels on signal lines.
Passed
All inputs and outputs to the subsystems and blocks have labels and display propagated signals.
Identify inappropriately placed signal labels.
Passed
No signals found with inappropriately placed labels.
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Check source block labels
Warning
The following signals have no label:
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Check destination block labels
Warning
The following signals have no label:
Identify blocks and charts with inconsistent Indexing mode.
Passed
No inconsistent Indexing mode used in the model.
Identify blocks which are rotated or reversed
Passed
No blocks found with rotated or reversed orientation
Check if tunable block parameters are defined as named constants
Passed
All tunable block parameters are defined as named constants
Check if sample time property of a block is set to -1 (inherited).
Passed
All permitted blocks have sample time set to -1 (inherited).
Identify conditional and iterative blocks that are positioned inconsistently in the model.
Passed
The conditional and iterative blocks are correctly placed in the model.
jc_0659: Usage restrictions of signal lines inputted to Merge block
There must not be any block between a Conditional Subsystem block and a Merge block.
Passed
No Merge block found.
Identify inappropriate usages of Sum block.
Passed
No violations of the guideline found with the usage of the Sum block.
Operator order for Product blocks.
Passed
All Product blocks have valid operator order.
jc_0622: Guideline for using the Fcn block
Passed
All Fcn blocks use parentheses to mark operator precedence.
Icon shape of Logical Operator blocks
Passed
All Logical Operator blocks have consistent icon shape.
Identify Relational Operator blocks that connect to constants with the first (upper) input value.
Passed
This model does not contain Relational Operator blocks.
jc_0626: Guideline for using the Lookup Table system block
Checks for the recommended parameter settings in Lookup Tables to prevent unexpected results.
Passed
All the Lookup Tables pass the check.
Identify cascaded and tapped pattern of Unit Delay blocks.
Passed
No cascaded Unit Delay blocks found that can be changed to Tapped Delay/Delay block.
Check positions of Inport blocks
Warning
The following Inport blocks are not placed to left side of the diagram:
Identify Inport and Outport blocks that do not specify Port number for the Icon display block parameter.
Passed
All port blocks display the port number.
Identify the usage of Data Store Memory blocks.
Passed
Usage of Data Store Memory blocks is correct.
Check for number of inputs/outputs to a Variant Subsystem.
Passed
No Variant Subsystems found having different number of inputs/outputs in the Variant Subsystem choices.
Check whether labeled input and output signals are strongly typed.
Passed
No Stateflow charts have Use Strong Data Typing with Simulink I/O cleared.
'Execute (enter) Chart At Initialization' should be set to OFF.
Passed
All Stateflow Charts pass the check.
Identify the Scope value set on Stateflow data defined at machine level.
Passed
All Stateflow data at machine level has been defined as per guideline.
Identify usage of first index of Stateflow data.
Passed
All Stateflow data first index values are uniform.
Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.
Passed
No unconnected transitions, states or junctions found in Stateflow Charts.
Identify Stateflow charts and substates that incorrectly use or define exclusive and default states.
_________________________________________________________________________________________
Check Stateflow charts for exclusive states
Identify Stateflow charts that have singular exclusive (OR) states.
Passed
The Stateflow charts do not have singular exclusive (OR) states.
_________________________________________________________________________________________
Check Stateflow charts for undefined default states
Identify Stateflow charts that do not define default states.
Passed
Each Stateflow chart defines a default state.
_________________________________________________________________________________________
Check for multiple states assigned as the default state
At the root level in the Stateflow hierarchy only one state should be assigned as the default.
Passed
The root level of the chart has only one default state assigned.
_________________________________________________________________________________________
Check for substates with singular OR states
States configured as OR should always be part of a group of states.
Passed
No singular OR states were detected.
_________________________________________________________________________________________
Check for substates without default states defined
At every level in the Stateflow hierarchy a default state should be assigned.
Passed
All substates have default states assigned.
_________________________________________________________________________________________
Check for substates with multiple default states defined
At every level in the Stateflow hierarchy only one state should be assigned as the default.
Passed
All levels of the chart have only one default state assigned.
jc_0721: Guidelines for using parallel states
Identify parallel Stateflow States used for grouping.
Passed
No Stateflow charts were found.
Identify Stateflow transitions visually overlapping other Stateflow objects.
Passed
No transition violates the guidelines for Stateflow transition appearance.
jc_0531: Placement of default transition.
Passed
No Stateflow transitions and states found that violate the guidelines for default transition placement in Stateflow charts.
Identify transitions ending on external child states.
Passed
No direct transitions found from external state to child state.
Identify configuration parameter settings which identify unexpected backtracking in state transitions.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
jc_0760: In all state charts and flow charts, internal transitions from state boundaries must start from the left edge of the state.
Passed
No Stateflow transitions found that violate the guidelines for starting point of internal transition in Stateflow.
Identify Stateflow states using multiple internal transitions.
Passed
No Stateflow states found with multiple internal transitions
jc_0762: State actions within states and flow chart statements should not be used in combination.
Passed
No Stateflow states found that combine state action and flow chart.
Identify transitions in Stateflow flow charts that are drawn incorrectly.
_________________________________________________________________________________________
Check for conditions drawn horizontally
Condition expressions should be drawn on the horizontal segments of flow charts.
Passed
All condition expressions were drawn horizontally.
_________________________________________________________________________________________
Check for action transitions drawn vertically
Transitions with condition actions should be drawn on the vertical segments of flow charts.
Passed
All transitions with condition actions were drawn vertically.
_________________________________________________________________________________________
Check for transition actions in flow chart
Transition actions should not be used in flow charts.
Passed
No transition actions are used in flow charts.
_________________________________________________________________________________________
Check for junctions for default transitions
All Junctions in a flow chart should have a default exit transition.
Passed
All Junctions have a default exit transition.
_________________________________________________________________________________________
Check for transitions that combine condition and action
Flow charts should not combine condition evaluations and action expressions in a single transition.
Passed
No combined expressions were found in the chart.
Identify unconditional transitions in flow charts.
Passed
All unconditional transitions adhere to the guideline.
Check if the action language of Stateflow charts is set to 'C'.
Passed
All Stateflow Charts have action language set to 'C'.
Identify use of numeric literals in Stateflow states and transitions.
Passed
No numeric literals found in Stateflow charts.
Identify pointer operations on custom code variables.
Note: This check applies only to Stateflow charts that use C as the action language.
Passed
No pointer operations were found.
Identify undirected event broadcasts in Stateflow
Passed
No instances of undirected event broadcast were found.
Identify out of order state action types in Stateflow states.
Passed
No Stateflow states found with out of order state action types
jc_0734: Number of state action types
Identifies repeated action types in a Stateflow State.
Passed
No Stateflow States were found.
Check if state action type 'exit' is used in the model.
Passed
State action type 'exit' is not used in the model.
jc_0741: Variables used in state transition conditions must not perform an update by "during" state action type.
Passed
No Stateflow states found that violate the guidelines for updating the variables used in state transition conditions.
jc_0772: Identify unconditional Stateflow transitions with higher priority than conditional transitions
Passed
No unconditional Stateflow transitions found with higher priority than conditional transitions
Identify usage of transition actions in Stateflow.
Passed
No Stateflow charts have transition actions.
Identify MATLAB expressions that are not suitable for code generation in Stateflow blocks.
Passed
No Stateflow objects found using MATLAB expressions unsuitable for code generation.
jc_0732: Distinction between state name and data item name
Identify Stateflow State and Stateflow Data that have identical names in a given chart.
Passed
No Stateflow charts were found.
jc_0730: Independence of state name in charts
Identifies identical State names within a Stateflow Chart.
Passed
No Stateflow charts were found.
jc_0731: Slash (/) in the state name
Identify state names with '/' at its end.
Passed
No Stateflow states were found.
Identify missing line breaks between entry action (en), during action (du), and exit action (ex) entries in states. Identify missing line breaks after semicolons (;) in statements.
Passed
No Stateflow charts were found.
Identify non-uniform indentation in Stateflow blocks.
Passed
All Stateflow blocks have uniform indentation.
Identify Stateflow states with text exceeding the boundary of the state
Passed
No Stateflow states found with text exceeding the boundary of the state.
Identify placement of label string in Stateflow transition.
Passed
All Stateflow transitions are placed uniformly.
Identify comments in transition labels that are not positioned uniformly.
Passed
Comments in transition labels are positioned uniformly.
Identify graphical functions with multiple assignments of return values in Stateflow charts.
Passed
No Stateflow charts were found.
jc_0732: Distinction between state name and data item name
Identify Stateflow State and Stateflow Data that have identical names in a given chart.
Passed
No Stateflow charts were found.
Check for global variables in MATLAB code
_________________________________________________________________________________________
Check for global variables in MATLAB code used in MATLAB Function blocks
Passed
No MATLAB Function blocks found
_________________________________________________________________________________________
Check for global variables in MATLAB functions defined in Stateflow charts
Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________
Check for global variables in called MATLAB functions
Passed
No external MATLAB functions found
_________________________________________________________________________________________
Identify MATLAB Functions that violate complexity limits.
Passed
No MATLAB Function with metrics violations were found.
The following metrics were determined for the model or subsystem.
Legend:
Name | Value |
---|---|
Maximum effective lines of code per function | 60 |
Minimum density of comments | 0.2 |
Maximum cyclomatic complexity per function | 15 |
Checks whether number of function calls in MATLAB Function blocks is less than 3.
Passed
Number of function calls in MATLAB Function blocks is less than 3.
Checks whether character vectors are being used inside MATLAB Function blocks
Passed
No character vectors found in MATLAB Function block
Check the model file name to ensure that the name complies with the recommended guidelines.
Passed
All files have correct names.
Check the folder name to ensure that the name complies with the recommended guidelines.
Passed
All folders have correct names.
Identify subsystem names with incorrect characters.
Passed
All the subsystem names use correct characters.
Identify Inport or Outport block names with incorrect characters.
Passed
All the Inport or Outport block names use correct characters.
Identify block names with incorrect characters.
Passed
All the block names use correct characters.
Identify invalid characters in signal and bus names
Passed
No invalid characters are used in signal and bus names.
Check length of subsystem names
Passed
All subsystem names are valid.
Check length of Inport and Outport names
Passed
All Inport and Outport names are valid.
Identify levels in the model that include basic blocks and subsystems. Each level of a model must be designed with blocks of the same level (for example, only subsystems or only basic blocks).
Passed
The model does not mix basic blocks and subsystems at the same level.
Identify whether Implement logic signals as Boolean data (vs. double) is selected.
Passed
Implement logic signals as Boolean data (vs. double) is selected.
Identify data validity diagnostic settings which detect incorrect calculation results.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Division by singular matrix (CheckMatrixSingularityMsg) | error | error |
Pass | Inf or NaN block output (SignalInfNanChecking) | error | error |
Pass | Wrap on overflow (IntegerOverflowMsg) | error | error |
Pass | Saturate on overflow (IntegerSaturationMsg) | error | error |
Identify nonstandard display attributes in Simulink diagrams.
_________________________________________________________________________________________
Check format settings
Identify incorrect model-level format options.
Warning
The following format display options are incorrect.
Display Attribute | Recommended Value | Actual Value |
---|---|---|
Debug > Information Overlays > Nonscalar Signals | on | off |
Modeling > Environment > Model Browser | off | on |
Debug > Information Overlays > Execution Context | off | on |
Debug > Information Overlays > Colors | none | disabled |
Check block colors
Identify blocks using nonstandard colors.
Passed
All blocks use standard colors.
_________________________________________________________________________________________
Check canvas colors
Identify canvases that are not white.
Passed
All diagrams use a white canvas.
_________________________________________________________________________________________
Check diagram zoom
Identify diagrams that do not have zoom factor set to 100 %.
Note: Zoom factors can differ for each instance of a model diagram opened in Simulink Editor
Warning
The following diagrams do not have zoom factor set to 100 percent:
Identify blocks and charts with different font settings from input parameters.
Passed
Font settings of the blocks and charts and input parameters are same.
Check positions of Inport blocks
Warning
The following Inport blocks are not placed to left side of the diagram:
Identify blocks where the name is not displayed below the block.
Passed
All blocks have names displayed below the block.
Identify whether to display block names.
Check for non-descriptive displayed block names
Identify block names that are displayed but should be hidden due to a lack of a descriptive name.
Passed
All displayed names provide descriptive information.
Check for missing block names
Identify block names that are hidden but should be displayed to show a descriptive name.
Passed
All displayed names provide descriptive information.
Check for blocks with hidden names and obvious function
Identify block names that are displayed but can be hidden due to obvious behavior.
Warning
The following block names can be hidden:
Identify blocks that use and fail to display nondefault values.
Warning
The following blocks use and fail to display nondefault values:
Block | Parameter | Expected Value | Actual Value |
---|---|---|---|
FCC/RateTransition1 | OutPortSampleTime | -1 | 0.001 |
FCC/RateTransition2 | OutPortSampleTime | -1 | 0.001 |
FCC/RateTransition3 | OutPortSampleTime | -1 | 0.001 |
Identify trigger blocks where the origin of the trigger signal and the destination have dissimilar names.
Passed
No violation of the guideline for use of trigger signal names.
Identify unconnected block input ports, output ports, and signal lines.
Passed
All lines and ports in the model are connected.
Identify Relational Operator blocks that connect to constants with the first (upper) input value.
Passed
This model does not contain Relational Operator blocks.
Identify blocks and charts with inconsistent Indexing mode.
Passed
No inconsistent Indexing mode used in the model.
Identify tunable parameters used to specify expressions, data type conversions, or indexing operations.
Passed
Tunable parameters are not used in the model.
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Check source block labels
Warning
The following signals have no label:
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Check destination block labels
Warning
The following signals have no label:
Identify propagated labels on signal lines.
Passed
All inputs and outputs to the subsystems and blocks have labels and display propagated signals.
jc_0627: Identify Discrete-Time Integrator blocks that violate saturation limit settings
Passed
No Discrete-Time Integrator blocks found that violate JMAAB guideline jc_0627
jc_0643: Fixed-point setting
Identify blocks with a fixed-point data type whose bias is not zero.
Passed
No blocks found with the Data Type Assistant mode set to "Fixed point" and a bias value other than zero
jc_0642: Integer rounding mode setting
Identifies blocks with block parameter 'Integer Rounding Mode' set to 'Simplest' when the configuration parameter 'Signed integer division rounds to' is set to 'Undefined'.
Passed
Configuration parameter 'Signed integer division rounds to' is not set to 'Undefined'.
jc_0659: Usage restrictions of signal lines inputted to Merge block
There must not be any block between a Conditional Subsystem block and a Merge block.
Passed
No Merge block found.
Identify blocks which are rotated or reversed
Passed
No blocks found with rotated or reversed orientation
Check if blocks are shaded in the model
Passed
Blocks in the model are not shaded.
Operator order for Product blocks.
Passed
All Product blocks have valid operator order.
Icon shape of Logical Operator blocks
Passed
All Logical Operator blocks have consistent icon shape.
Check if tunable block parameters are defined as named constants
Passed
All tunable block parameters are defined as named constants
Check if default/else case in Switch Case blocks and If blocks are set to 'on'
Passed
Conditional Control blocks are valid.
jc_0626: Guideline for using the Lookup Table system block
Checks for the recommended parameter settings in Lookup Tables to prevent unexpected results.
Passed
All the Lookup Tables pass the check.
jc_0622: Guideline for using the Fcn block
Passed
All Fcn blocks use parentheses to mark operator precedence.
jc_0653: Guidelines for avoiding algebraic loops between subsystems.
Passed
No delay blocks in feedback loops violate the guidelines for avoiding algebraic loops between subsystems.
Simulink Data names should be unique across base workspace, model workspace and data dictionary.
Passed
All Simulink Data names are unique.
jc_0651: Guideline for implementing a type conversion.
Passed
No operation blocks found that explicitly specify output data type.
Identify layers in the model having inconsistent description format.
Warning
Following layers do not have model descriptions:
Check if model elements connected to a signal are following consistent naming.
Passed
Model elements connected to a signal are following consistent names.
Check if sample time property of a block is set to -1 (inherited).
Passed
All permitted blocks have sample time set to -1 (inherited).
Identify inappropriate usages of Sum block.
Passed
No violations of the guideline found with the usage of the Sum block.
Identify inappropriately placed signal labels.
Passed
No signals found with inappropriately placed labels.
Check for number of inputs/outputs to a Variant Subsystem.
Passed
No Variant Subsystems found having different number of inputs/outputs in the Variant Subsystem choices.
Identify cascaded and tapped pattern of Unit Delay blocks.
Passed
No cascaded Unit Delay blocks found that can be changed to Tapped Delay/Delay block.
Identify the usage of Data Store Memory blocks.
Passed
Usage of Data Store Memory blocks is correct.
Identify subsystems which do not have a signal flow from left to right.
Passed
No subsystems found with inappropriate signal flow.
Identify conditional and iterative blocks that are positioned inconsistently in the model.
Passed
The conditional and iterative blocks are correctly placed in the model.
Identify transitions in Stateflow flow charts that are drawn incorrectly.
_________________________________________________________________________________________
Check for conditions drawn horizontally
Condition expressions should be drawn on the horizontal segments of flow charts.
Passed
All condition expressions were drawn horizontally.
_________________________________________________________________________________________
Check for action transitions drawn vertically
Transitions with condition actions should be drawn on the vertical segments of flow charts.
Passed
All transitions with condition actions were drawn vertically.
_________________________________________________________________________________________
Check for transition actions in flow chart
Transition actions should not be used in flow charts.
Passed
No transition actions are used in flow charts.
_________________________________________________________________________________________
Check for junctions for default transitions
All Junctions in a flow chart should have a default exit transition.
Passed
All Junctions have a default exit transition.
_________________________________________________________________________________________
Check for transitions that combine condition and action
Flow charts should not combine condition evaluations and action expressions in a single transition.
Passed
No combined expressions were found in the chart.
Identify graphical functions with multiple assignments of return values in Stateflow charts.
Passed
No Stateflow charts were found.
jc_0531: Placement of default transition.
Passed
No Stateflow transitions and states found that violate the guidelines for default transition placement in Stateflow charts.
Check whether labeled input and output signals are strongly typed.
Passed
No Stateflow charts have Use Strong Data Typing with Simulink I/O cleared.
Identify the Scope value set on Stateflow data defined at machine level.
Passed
All Stateflow data at machine level has been defined as per guideline.
Identify MATLAB expressions that are not suitable for code generation in Stateflow blocks.
Passed
No Stateflow objects found using MATLAB expressions unsuitable for code generation.
Identify pointer operations on custom code variables.
Note: This check applies only to Stateflow charts that use C as the action language.
Passed
No pointer operations were found.
Identify comments that are nested or contain newline(s) in the middle in Stateflow for action language 'C'.
Passed
No comments found that are either nested or contain newline(s) in the middle.
Identify boolean variables in Stateflow charts using comparison operations.
Passed
No boolean variables use comparison operations of logical type in the model.
Identify Stateflow states using multiple internal transitions.
Passed
No Stateflow states found with multiple internal transitions
jc_0772: Identify unconditional Stateflow transitions with higher priority than conditional transitions
Passed
No unconditional Stateflow transitions found with higher priority than conditional transitions
jc_0732: Distinction between state name and data item name
Identify Stateflow State and Stateflow Data that have identical names in a given chart.
Passed
No Stateflow charts were found.
jc_0730: Independence of state name in charts
Identifies identical State names within a Stateflow Chart.
Passed
No Stateflow charts were found.
jc_0752: Start new line before and after parentheses for condition actions in Stateflow transitions.
Passed
No Stateflow Transitions found that violate the requirement for new line for condition actions.
jc_0762: State actions within states and flow chart statements should not be used in combination.
Passed
No Stateflow states found that combine state action and flow chart.
Identify usage of transition actions in Stateflow.
Passed
No Stateflow charts have transition actions.
Identify usage of first index of Stateflow data.
Passed
All Stateflow data first index values are uniform.
jc_0731: Slash (/) in the state name
Identify state names with '/' at its end.
Passed
No Stateflow states were found.
'Execute (enter) Chart At Initialization' should be set to OFF.
Passed
All Stateflow Charts pass the check.
jc_0734: Number of state action types
Identifies repeated action types in a Stateflow State.
Passed
No Stateflow States were found.
Checks if the model parameter 'Unused data, events, messages and functions' is not set to 'none'.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unused data, events, messages and functions (SFUnusedDataAndEventsDiag) | warning | error, warning |
jc_0741: Variables used in state transition conditions must not perform an update by "during" state action type.
Passed
No Stateflow states found that violate the guidelines for updating the variables used in state transition conditions.
jc_0760: In all state charts and flow charts, internal transitions from state boundaries must start from the left edge of the state.
Passed
No Stateflow transitions found that violate the guidelines for starting point of internal transition in Stateflow.
jc_0721: Guidelines for using parallel states
Identify parallel Stateflow States used for grouping.
Passed
No Stateflow charts were found.
jc_0722: Guidelines for setting local variables in parallel states
The scope of local variables should be restricted to one parallel state unless it is being used by other parallel states.
Passed
No Stateflow States were found.
Identify non-uniform indentation in Stateflow blocks.
Passed
All Stateflow blocks have uniform indentation.
Identify Stateflow states with text exceeding the boundary of the state
Passed
No Stateflow states found with text exceeding the boundary of the state.
Identify configuration parameter settings which identify unexpected backtracking in state transitions.
Passed
All constraints on model configuration parameters have been met.
Status | Parameter | Current Value | Recommended Values |
---|---|---|---|
Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.
Passed
No unconnected transitions, states or junctions found in Stateflow Charts.
Identify placement of label string in Stateflow transition.
Passed
All Stateflow transitions are placed uniformly.
Check if the action language of Stateflow charts is set to 'C'.
Passed
All Stateflow Charts have action language set to 'C'.
Identify invalid characters in Stateflow data names.
Passed
No invalid characters are used in Stateflow data names.
Check if the length of Stateflow data names are within limit.
Passed
All Stateflow data names are valid.
Identify transitions ending on external child states.
Passed
No direct transitions found from external state to child state.
Identify out of order state action types in Stateflow states.
Passed
No Stateflow states found with out of order state action types
Identify use of numeric literals in Stateflow states and transitions.
Passed
No numeric literals found in Stateflow charts.
Identify comments in transition labels that are not positioned uniformly.
Passed
Comments in transition labels are positioned uniformly.
Identify usage of terminal junctions in flow charts.
Passed
Multiple terminal junctions were not found.
Check if state action type 'exit' is used in the model.
Passed
State action type 'exit' is not used in the model.
Identify unconditional transitions in flow charts.
Passed
All unconditional transitions adhere to the guideline.
Identify comments in unconditional transitions without action statements.
Passed
All unconditional transitions without action statements have comments.
Stateflow events should be defined at the smallest possible scope of usage.
Passed
All Stateflow events are defined at their smallest scope.
Identify Stateflow transitions visually overlapping other Stateflow objects.
Passed
No transition violates the guidelines for Stateflow transition appearance.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity, data type, or size properties.
Passed
No MATLAB Functions found in the model or subsystem.
Check for global variables in MATLAB code
_________________________________________________________________________________________
Check for global variables in MATLAB code used in MATLAB Function blocks
Passed
No MATLAB Function blocks found
_________________________________________________________________________________________
Check for global variables in MATLAB functions defined in Stateflow charts
Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________
Check for global variables in called MATLAB functions
Passed
No external MATLAB functions found
_________________________________________________________________________________________
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 FCC.
Open the Upgrade Advisor
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Passed
All constraints on model configuration parameters have been met.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
Blocks not recommended for C/C++ production code deployment were not found in the model or subsystem.
Identify blocks that are not recommended for MISRA C:2012 compliant code generation.
Passed
None of the blocks are defined as "not recommended" for MISRA C:2012 compliant code generation.
Identify block names containing "/".
Passed
No unsupported block names found.
Identify Assignment blocks with possibly incomplete array initialization that do not have the simulation run-time diagnostic Action if any output element is not assigned set to:
Identify switch case expressions that do not have a default case.
Passed
All switch case expressions have default cases.
Identify configuration parameters that might impact secure coding standards compliant code generation.
Passed
All constraints on model configuration parameters have been met.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
Blocks not recommended for C/C++ production code deployment were not found in the model or subsystem.
Identify blocks that are not recommended for secure coding standards.
Passed
None of the blocks are defined as "not recommended" for secure coding standards compliant code generation.
Identify Assignment blocks with possibly incomplete array initialization that do not have the simulation run-time diagnostic Action if any output element is not assigned set to: