Filter checks

Passed  
Failed  
Warning  
Not Run  
   

Navigation

By Task
1 Modeling Physical Systems
2 Simulink Code Inspector compatibility checks
3 Modeling Standards for DO-178C/DO-331
3.1 High-Integrity Systems
3.1.1 Simulink
3.1.2 Stateflow
3.1.3 MATLAB
3.1.4 Configuration
3.1.5 Naming
3.1.6 Requirements
3.1.7 Code
3.2 Simulink
3.3 Stateflow
3.4 Library Links
3.5 Model Referencing
3.6 Requirements Consistency
3.7 Simulink Coder
4 Modeling Standards for DO-254
4.1 High-Integrity Systems
4.1.1 Simulink
4.1.2 Stateflow
4.1.3 MATLAB
4.1.4 Configuration
4.1.5 Naming
4.1.6 Requirements
4.2 Library Links
4.3 Model Referencing
4.4 Requirements Consistency
4.5 HDL Coder
4.5.1 Checks for blocks and block settings
4.5.2 Industry standard checks
4.5.3 Model configuration checks
4.5.4 Native Floating Point checks
4.5.5 Checks for ports and subsystems
5 Modeling Standards for IEC 61508
5.1 High-Integrity Systems
5.1.1 Simulink
5.1.2 Stateflow
5.1.3 MATLAB
5.1.4 Configuration
5.1.5 Naming
5.1.6 Requirements
5.1.7 Code
6 Modeling Standards for IEC 62304
6.1 High-Integrity Systems
6.1.1 Simulink
6.1.2 Stateflow
6.1.3 MATLAB
6.1.4 Configuration
6.1.5 Naming
6.1.6 Requirements
6.1.7 Code
7 Modeling Standards for ISO 26262
7.1 High-Integrity Systems
7.1.1 Simulink
7.1.2 Stateflow
7.1.3 MATLAB
7.1.4 Configuration
7.1.5 Naming
7.1.6 Requirements
7.1.7 Code
8 Modeling Standards for EN 50128
8.1 High-Integrity Systems
8.1.1 Simulink
8.1.2 Stateflow
8.1.3 MATLAB
8.1.4 Configuration
8.1.5 Naming
8.1.6 Requirements
8.1.7 Code
9 Model Metrics
9.1 Count Metrics
9.2 Complexity Metrics
9.3 Readability Metrics
10 Modeling Signals and Parameters using Buses
11 Code Generation Efficiency
12 Modeling Single-Precision Systems
13 Migrating to Simplified Initialization mode
14 Row-major code generation
15 Model Referencing
16 Managing Library Links And Variants
17 Data Transfer Efficiency
18 S-function Checks
19 Simulink Design Verifier Compatibility Check
20 Simulink Design Verifier Design Error Checks
21 Simulation Accuracy
22 Simulation Runtime Accuracy Diagnostics
23 Managing Data Store Memory Blocks
24 Simulink Model File Integrity
25 Requirements Consistency Checking
26 Modeling Standards for MAB
26.1 Naming Conventions
26.1.1 General
26.1.2 Content
26.2 Simulink
26.2.1 Configuration Parameters
26.2.2 Diagram Appearance
26.2.3 Signal
26.2.4 Block Consistency
26.2.5 Conditional Subsystem relations
26.2.6 Operation Blocks
26.2.7 Other blocks
26.3 Stateflow
26.3.1 Block/Data/Events
26.3.2 Diagram
26.3.3 Condition Transition/Action
26.3.4 Label Description
26.3.5 Miscellaneous
26.4 MATLAB
26.4.1 Data and Operations
26.4.2 Usage
27 Modeling Standards for JMAAB
27.1 Naming Conventions
27.2 Model Architecture
27.3 Model Configuration Options
27.4 Simulink
27.5 Stateflow
27.6 MATLAB Functions
28 Units Inconsistencies
29 Upgrading to the Current Simulink Version
30 Modeling Standards for MISRA C:2012
31 Modeling Standards for Secure Coding (CERT C, CWE, ISO/IEC TS 17961)
32 Frequency Response Estimation

View

Scroll to top
Show check details
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  

Run Summary
Pass Fail Warning Not Run Total
   662    0    27    318 1007


By Task


    1 Modeling Physical Systems  1  0  0  1


  Check consistency of block parameter units

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.


  Check for dry hydraulic nodes

Not Run



    2 Simulink Code Inspector compatibility checks  18  0  0  51


  Check code generation settings

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.


  Check data import and export settings

Verify 'Initial state' setting
Check whether Data Import/Export > Initial state is cleared.

Passed
Data Import/Export > Initial state is cleared.


  Check diagnostic settings

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.


  Check hardware implementation settings

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 .


  Check math and data types settings

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.


  Check solver settings

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 in the model

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.


  Check system target file setting

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 function specification setting

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 usage of fixed-point instrumentation

Not Run


  Check for unsupported blocks

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.


  Check storage class for workspace variables

Not Run


  Check GetSet storage class for workspace variables

Not Run


  Check for sample times in the model

Not Run


  Check usage of Sources blocks

Not Run


  Check usage of Signal Routing blocks

Not Run


  Check usage of Math Operations blocks

Not Run


  Check usage of Signal Attributes blocks

Not Run


  Check usage of Logical and Bit Operations blocks

Not Run


  Check usage of Lookup Tables blocks

Not Run


  Check usage of User-Defined Function blocks

Not Run


  Check usage of Ports and Subsystems blocks

Not Run


  Check usage of Discontinuities blocks

Not Run


  Check usage of Sinks blocks

Not Run


  Check usage of Discrete blocks

Not Run


  Check usage of root Outport blocks

Not Run


  Check for unsupported Signal Conversion blocks automatically inserted at signals entering block input ports

Not Run


  Check usage of buses

Not Run


  Check for usage of synthesized local data stores

Not Run


  Check usage of global data stores

Not Run


  Check global data stores' name shadow

Not Run


  Check for root Outport blocks being conditionally assigned

Not Run


  Check conditional input branch execution setting

Not Run


  Check usage of Stateflow blocks

Not Run


  Check for Stateflow machine data

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.


  Check for Stateflow machine events

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.


  Check usage of Stateflow charts

Not Run


  Check usage of Stateflow data

Not Run


  Check usage of Stateflow events

Not Run


  Check usage of Stateflow states

Not Run


  Check usage of Stateflow junctions

Not Run


  Check usage of Stateflow transitions

Not Run


  Check usage of Stateflow graphical functions

Not Run


  Check usage of Stateflow truth tables

Not Run


  Check Loop unrolling threshold setting

Not Run


  Check destinations of If and Switchcase blocks

Not Run


  Check for root Outport blocks that have non-auto storage class

Not Run


  Check for Terminator blocks connected to Model Reference block outports

Not Run


  Check for unsupported propagation of initial condition values

Not Run


  Check data type replacement names

Not Run


  Check usage of MATLAB Function Blocks

Not Run


  Check usage of Data in MATLAB Functions

Not Run


  Check usage of Code in MATLAB Functions

No Code in MATLAB Functions were found
_________________________________________________________________________________________


  Check MATLAB Code Analyzer messages

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 multiple sample times in model used as a model reference target

Not Run


  Check Treat each discrete rate as a separate task setting

Not Run


  Check model for commented out blocks

Not Run


  Check model for instrumented signals

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 model for void_void subsystems that use the same function name

Not Run


  Check n-D Lookup Table blocks for incompatible breakpoint data type

Not Run


  Check model for reusable subsystems that use the same function interfaces

Not Run


  Check for usage of shared synthesized local data stores

Not Run


  Check the code generation folder structure for 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 Code Mapping settings

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.


  Check model for compiled and graphical block sorted order

Not Run


  Check usage of String blocks

Not Run


  Check usage of shared utilities

Not Run


  Check model arguments for storage classes

Verify that model arguments do not have a storage class
Check if model arguments have a storage class.

Passed
The model does not contain any model arguments with a storage class.


  Check usage of Stateflow MATLAB action language

Not Run



    3 Modeling Standards for DO-178C/DO-331  79  0  1  34


  Display model version information

Not Run



        3.1 High-Integrity Systems  61  0  1  27


            3.1.1 Simulink  11  0  0  17

            3.1.2 Stateflow  9  0  0  5


  Check state machine type of Stateflow charts

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.


  Check Stateflow charts for ordering of states and transitions

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.


  Check usage of bitwise operations in Stateflow charts

Not Run


  Check for Strong Data Typing with Simulink I/O

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.


  Check Stateflow debugging options

Identify whether Stateflow debugging options are set appropriately

Passed
All Stateflow debugging options are set appropriately.


  Check Stateflow charts for transition paths that cross parallel state boundaries

Identify transition paths that cross parallel state boundaries in Stateflow charts.

Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.


  Check for inappropriate use of transition paths

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.


  Check Stateflow charts for strong data typing

Not Run


  Check naming of ports in Stateflow charts

Identify mismatches between names of Stateflow ports and associated signals

Passed
There are no name mismatches between Stateflow ports and associated signals


  Check scoping of Stateflow data objects

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.


  Check Stateflow charts for uniquely defined data objects

Identify local data identifiers that are defined in multiple scopes within a chart.

Passed
No Stateflow data identifiers found to be defined in multiple scopes.


  Check usage of shift operations for Stateflow data

Not Run


  Check assignment operations in Stateflow charts

Not Run


  Check Stateflow charts for unary operators

Not Run



            3.1.3 MATLAB  6  0  0  4


  Check usage of standardized MATLAB function headers

Identify usage of standardized function headers in MATLAB function.

Passed
No MATLAB function blocks found without standardized function headers.


  Check for MATLAB Function interfaces with inherited properties

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.


  Check MATLAB Function metrics

Identify MATLAB Functions that violate code and complexity metrics.

Passed
No MATLAB Function blocks found that violate code and complexity metrics.


  Check MATLAB Code Analyzer messages

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.


  Check if/elseif/else patterns in MATLAB Function blocks

Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code

Passed
No inappropriate if/elseif/else patterns found.


  Check switch statements in MATLAB Function blocks

Identify inappropriately used switch statements in embedded MATLAB code

Passed
No inappropriately used switch statements found.


  Check usage of relational operators in MATLAB Function blocks

Not Run


  Check usage of equality operators in MATLAB Function blocks

Not Run


  Check usage of logical operators and functions in MATLAB Function blocks

Not Run


  Check type and size of condition expressions

Not Run



            3.1.4 Configuration  32  0  0  0


  Check safety-related diagnostic settings for data store memory

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 safety-related diagnostic settings for saving

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 safety-related model referencing settings

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


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.


  Check safety-related code generation settings for comments

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 safety-related code generation interface settings

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  


  Check safety-related solver settings for simulation time

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 safety-related solver settings for solver options

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 safety-related solver settings for tasking and sample-time

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 safety-related diagnostic settings for solvers

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 safety-related diagnostic settings for sample time

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 safety-related optimization settings for logic signals

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 safety-related block reduction optimization settings

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 safety-related code generation settings for code style

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 safety-related optimization settings for application lifespan

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 safety-related code generation identifier settings

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 safety-related optimization settings for loop unrolling threshold

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 safety-related optimization settings for data initialization

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


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.


  Check safety-related optimization settings for data type conversions

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 safety-related optimization settings for division arithmetic exceptions

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 safety-related optimization settings for specified minimum and maximum values

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 safety-related diagnostic settings for compatibility

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 safety-related diagnostic settings for parameters

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 safety-related diagnostic settings for Merge blocks

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 safety-related diagnostic settings for model initialization

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 safety-related diagnostic settings for data used for debugging

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 safety-related diagnostic settings for signal connectivity

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 safety-related diagnostic settings for bus connectivity

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 safety-related diagnostic settings that apply to function-call connectivity

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 safety-related diagnostic settings for type conversions

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 safety-related diagnostic settings for model referencing

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 safety-related diagnostic settings for Stateflow


  Check safety-related diagnostic settings for signal data

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



            3.1.5 Naming  1  0  0  1


  Check model file name

Identify inappropriate characters and length issues in model file name

Passed
No issues found with model file name.


  Check model object names

Not Run



            3.1.6 Requirements  0  0  1  0


  Check for model elements that do not link to requirements

Check for model elements that do not link to a requirements document.

Warning
The following model elements do not link to a requirements document:

Recommended Action
For each block in the list, in the Model Editor, right-click the block, select Requirements, and specify a requirement.



            3.1.7 Code  2  0  0  0


  Check for blocks not recommended for MISRA C:2012

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.


  Check configuration parameters for MISRA C:2012

Identify configuration parameters that might impact MISRA C:2012 compliant code generation.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values Prerequisites
Pass Model Verification block enabling (AssertControl) DisableAll DisableAll  
D - Pass Shared code placement (UtilityFuncGeneration) Shared location Shared location  
Pass Generate shared constants (GenerateSharedConstants) off off UtilityFuncGeneration
D - Pass System target file (SystemTargetFile) ERT based target ERT based target  
Pass continuous time (SupportContinuousTime) off off SystemTargetFile
Pass non-inlined S-functions (SupportNonInlinedSFcns) off off SystemTargetFile
Pass MAT-file logging (MatFileLogging) off off  
Pass Code replacement library (CodeReplacementLibrary) None None, AUTOSAR 4.0  
Pass Parentheses level (ParenthesesLevel) Maximum Maximum SystemTargetFile
Pass Casting modes (CastingMode) Standards Standards SystemTargetFile
Pass System-generated identifiers (InternalIdentifier) Shortened Shortened SystemTargetFile
Pass Signed integer division rounds to (ProdIntDivRoundTo) Zero Zero, Floor  
Pass Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) on on, UseDivisionForReciprocalsOfIntegersOnly  
Pass Replace multiplications by powers of two with signed bitwise shifts (EnableSignedLeftShifts) off off SystemTargetFile
Pass Allow right shifts on signed integers (EnableSignedRightShifts) off off SystemTargetFile
Pass Wrap on overflow (IntegerOverflowMsg) error warning, error  
Pass Preserve static keyword in function declarations (PreserveStaticInFcnDecls) on on  
Pass Inf or NaN block output (SignalInfNanChecking) error warning, error  
Pass Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) off off  
Pass External mode (ExtMode) off off  
Pass Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) error error  
Pass Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) 0 0  
Pass Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) off off  
D - Pass Include comments (GenerateComments) on on  
Pass MATLAB user comments (MATLABFcnDesc) on on GenerateComments, SystemTargetFile
∧ Less



        3.2 Simulink  4  0  0  5

        3.3 Stateflow  3  0  0  0


  Check for Strong Data Typing with Simulink I/O

Check whether labeled input and output signals are strongly typed.

Passed
No Stateflow charts have Use Strong Data Typing with Simulink I/O cleared.


  Check definition of Stateflow data

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.


  Check usage of exclusive and default states in state machines

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.



        3.4 Library Links  3  0  0  0

        3.5 Model Referencing  2  0  0  0


  Check for model reference configuration mismatch

Passed


  Check for parameter tunability information ignored for referenced models

Passed



        3.6 Requirements Consistency  4  0  0  0


  Identify requirement links that specify invalid locations within documents

Passed


  Identify requirement links with missing documents

Passed


  Identify requirement links with path type inconsistent with preferences

Passed


  Identify selection-based links having description fields that do not match their requirements document text

Passed



        3.7 Simulink Coder  2  0  0  1


  Check sample times and tasking mode

Not Run


  Check solver for code generation

Passed


  Check the hardware implementation

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.



    4 Modeling Standards for DO-254  57  0  6  28


  Display model version information

Not Run



        4.1 High-Integrity Systems  28  0  1  19


            4.1.1 Simulink  4  0  0  12

            4.1.2 Stateflow  8  0  0  3


  Check Stateflow charts for ordering of states and transitions

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.


  Check usage of bitwise operations in Stateflow charts

Not Run


  Check for Strong Data Typing with Simulink I/O

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.


  Check Stateflow debugging options

Identify whether Stateflow debugging options are set appropriately

Passed
All Stateflow debugging options are set appropriately.


  Check Stateflow charts for transition paths that cross parallel state boundaries

Identify transition paths that cross parallel state boundaries in Stateflow charts.

Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.


  Check for inappropriate use of transition paths

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.


  Check naming of ports in Stateflow charts

Identify mismatches between names of Stateflow ports and associated signals

Passed
There are no name mismatches between Stateflow ports and associated signals


  Check scoping of Stateflow data objects

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.


  Check Stateflow charts for uniquely defined data objects

Identify local data identifiers that are defined in multiple scopes within a chart.

Passed
No Stateflow data identifiers found to be defined in multiple scopes.


  Check usage of shift operations for Stateflow data

Not Run


  Check Stateflow charts for unary operators

Not Run



            4.1.3 MATLAB  4  0  0  3


  Check usage of standardized MATLAB function headers

Identify usage of standardized function headers in MATLAB function.

Passed
No MATLAB function blocks found without standardized function headers.


  Check MATLAB Code Analyzer messages

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.


  Check if/elseif/else patterns in MATLAB Function blocks

Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code

Passed
No inappropriate if/elseif/else patterns found.


  Check switch statements in MATLAB Function blocks

Identify inappropriately used switch statements in embedded MATLAB code

Passed
No inappropriately used switch statements found.


  Check usage of relational operators in MATLAB Function blocks

Not Run


  Check usage of equality operators in MATLAB Function blocks

Not Run


  Check usage of logical operators and functions in MATLAB Function blocks

Not Run



            4.1.4 Configuration  11  0  0  0


  Check safety-related diagnostic settings for saving

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 safety-related model referencing settings

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


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.


  Check safety-related block reduction optimization settings

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 safety-related diagnostic settings for parameters

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 safety-related diagnostic settings for model initialization

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 safety-related diagnostic settings for signal connectivity

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 safety-related diagnostic settings for bus connectivity

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 safety-related diagnostic settings for type conversions

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 safety-related diagnostic settings for model referencing

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 safety-related diagnostic settings for Stateflow


  Check safety-related diagnostic settings for signal data

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



            4.1.5 Naming  1  0  0  1


  Check model file name

Identify inappropriate characters and length issues in model file name

Passed
No issues found with model file name.


  Check model object names

Not Run



            4.1.6 Requirements  0  0  1  0


  Check for model elements that do not link to requirements

Check for model elements that do not link to a requirements document.

Warning
The following model elements do not link to a requirements document:

Recommended Action
For each block in the list, in the Model Editor, right-click the block, select Requirements, and specify a requirement.



        4.2 Library Links  3  0  0  0

        4.3 Model Referencing  1  0  0  0


  Check for model reference configuration mismatch

Passed



        4.4 Requirements Consistency  4  0  0  0


  Identify requirement links that specify invalid locations within documents

Passed


  Identify requirement links with missing documents

Passed


  Identify requirement links with path type inconsistent with preferences

Passed


  Identify selection-based links having description fields that do not match their requirements document text

Passed



        4.5 HDL Coder  21  0  5  8


            4.5.1 Checks for blocks and block settings  6  0  0  1


  Check for infinite and continuous sample time sources

Passed : Check for infinite and continuous sample time sources


  Check for unsupported blocks

Passed : Check for unsupported blocks


  Check for MATLAB Function block settings

Passed : Check for MATLAB Function block settings


  Check for Stateflow chart settings

Passed : Check for Stateflow chart settings


  Check for obsolete Unit Delay Enabled/Resettable blocks

Passed : Check for obsolete Unit Delay Enabled/Resettable blocks


  Check for unsupported storage class for signal objects

Passed : Check for unsupported storage class for signal objects


  Check for large matrix operations

Not Run



            4.5.2 Industry standard checks  8  0  3  0


  Check VHDL file extension

Passed : Check VHDL file extension


  Check naming conventions

Passed : Check naming conventions


  Check top-level subsystem/port names

Warn : Check top-level subsystem/port names

Warning : Following top level subsystem and/or port names have mixed cases and/or lengths greater than 16 characters.


  Check module/entity names

Passed : Check module/entity names


  Check package file names

Warn : Check package file names

Warning : The postfix for the package file is '_pkg'. Industry standards recommend '_pac' as the postfix name.


  Check signal and port names

Passed : Check signal and port names


  Check generics

Passed : Check generics


  Check clock, reset, and enable signals

Warn : Check clock, reset, and enable signals

Warning : Recommended naming conventions are not followed by the reset signal 'reset'.


  Check architecture name

Passed : Check architecture name


  Check entity and architecture

Passed : Check entity and architecture


  Check clock settings

Passed : Check clock settings



            4.5.3 Model configuration checks  3  0  2  1


  Check for safe model parameters

Warn : Check for safe model parameters

Warning : Following recommended model settings are not compliant

  • The parameter EnableMultiTasking is set to on, but it should be set to off.
  • The parameter FixedStep is set to 0.001, but it should be set to auto.
  • The parameter ShowLineDimensions is set to off, but it should be set to on.
  • The parameter ShowPortDataTypes is set to off, but it should be set to on.
  • The parameter ConditionallyExecuteInputs is set to on, but it should be set to off.
  • The parameter ProdHWDeviceType is set to Intel->x86-32 (Windows32), but it should be set to ASIC/FPGA->ASIC/FPGA.
  • The parameter DataTypeOverride is set to UseLocalSettings, but it should be set to Off.


  Check for global reset setting for Xilinx and Altera devices

Passed : Check for global reset setting for Xilinx and Altera devices


  Check inline configurations setting

Passed : Check inline configurations setting


  Check for visualization settings

Warn : Check for visualization settings

Message : Data type display on signals and ports is disabled.


  Check delay balancing setting

Passed : Check delay balancing setting


  Check algebraic loops

Not Run



            4.5.4 Native Floating Point checks  2  0  0  6


  Check for blocks with nonzero output latency

Passed : Check for blocks with nonzero output latency


  Check blocks with nonzero ulp error

Passed : Check blocks with nonzero ulp error


  Check for single datatypes in the model

Not Run


  Check for double datatypes in the model with Native Floating Point

Not Run


  Check for Data Type Conversion blocks with incompatible settings

Not Run


  Check for HDL Reciprocal block usage

Not Run


  Check for Relational Operator block usage

Not Run


  Check for unsupported blocks with Native Floating Point

Not Run



            4.5.5 Checks for ports and subsystems  2  0  0  0


  Check for invalid top level subsystem

Passed : Check for invalid top level subsystem


  Check initial conditions of enabled and triggered subsystems

Passed : Check initial conditions of enabled and triggered subsystems



    5 Modeling Standards for IEC 61508  63  0  1  28


  Display configuration management data

Not Run


  Display model metrics and complexity report

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



  Check for unconnected objects

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.



        5.1 High-Integrity Systems  61  0  1  27


            5.1.1 Simulink  11  0  0  17

            5.1.2 Stateflow  9  0  0  5


  Check state machine type of Stateflow charts

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.


  Check Stateflow charts for ordering of states and transitions

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.


  Check usage of bitwise operations in Stateflow charts

Not Run


  Check for Strong Data Typing with Simulink I/O

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.


  Check Stateflow debugging options

Identify whether Stateflow debugging options are set appropriately

Passed
All Stateflow debugging options are set appropriately.


  Check Stateflow charts for transition paths that cross parallel state boundaries

Identify transition paths that cross parallel state boundaries in Stateflow charts.

Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.


  Check for inappropriate use of transition paths

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.


  Check Stateflow charts for strong data typing

Not Run


  Check naming of ports in Stateflow charts

Identify mismatches between names of Stateflow ports and associated signals

Passed
There are no name mismatches between Stateflow ports and associated signals


  Check scoping of Stateflow data objects

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.


  Check Stateflow charts for uniquely defined data objects

Identify local data identifiers that are defined in multiple scopes within a chart.

Passed
No Stateflow data identifiers found to be defined in multiple scopes.


  Check usage of shift operations for Stateflow data

Not Run


  Check assignment operations in Stateflow charts

Not Run


  Check Stateflow charts for unary operators

Not Run



            5.1.3 MATLAB  6  0  0  4


  Check usage of standardized MATLAB function headers

Identify usage of standardized function headers in MATLAB function.

Passed
No MATLAB function blocks found without standardized function headers.


  Check for MATLAB Function interfaces with inherited properties

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.


  Check MATLAB Function metrics

Identify MATLAB Functions that violate code and complexity metrics.

Passed
No MATLAB Function blocks found that violate code and complexity metrics.


  Check MATLAB Code Analyzer messages

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.


  Check if/elseif/else patterns in MATLAB Function blocks

Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code

Passed
No inappropriate if/elseif/else patterns found.


  Check switch statements in MATLAB Function blocks

Identify inappropriately used switch statements in embedded MATLAB code

Passed
No inappropriately used switch statements found.


  Check usage of relational operators in MATLAB Function blocks

Not Run


  Check usage of equality operators in MATLAB Function blocks

Not Run


  Check usage of logical operators and functions in MATLAB Function blocks

Not Run


  Check type and size of condition expressions

Not Run



            5.1.4 Configuration  32  0  0  0


  Check safety-related diagnostic settings for data store memory

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 safety-related diagnostic settings for saving

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 safety-related model referencing settings

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


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.


  Check safety-related code generation settings for comments

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 safety-related code generation interface settings

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  


  Check safety-related solver settings for simulation time

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 safety-related solver settings for solver options

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 safety-related solver settings for tasking and sample-time

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 safety-related diagnostic settings for solvers

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 safety-related diagnostic settings for sample time

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 safety-related optimization settings for logic signals

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 safety-related block reduction optimization settings

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 safety-related code generation settings for code style

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 safety-related optimization settings for application lifespan

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 safety-related code generation identifier settings

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 safety-related optimization settings for loop unrolling threshold

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 safety-related optimization settings for data initialization

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


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.


  Check safety-related optimization settings for data type conversions

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 safety-related optimization settings for division arithmetic exceptions

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 safety-related optimization settings for specified minimum and maximum values

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 safety-related diagnostic settings for compatibility

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 safety-related diagnostic settings for parameters

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 safety-related diagnostic settings for Merge blocks

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 safety-related diagnostic settings for model initialization

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 safety-related diagnostic settings for data used for debugging

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 safety-related diagnostic settings for signal connectivity

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 safety-related diagnostic settings for bus connectivity

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 safety-related diagnostic settings that apply to function-call connectivity

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 safety-related diagnostic settings for type conversions

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 safety-related diagnostic settings for model referencing

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 safety-related diagnostic settings for Stateflow


  Check safety-related diagnostic settings for signal data

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



            5.1.5 Naming  1  0  0  1


  Check model file name

Identify inappropriate characters and length issues in model file name

Passed
No issues found with model file name.


  Check model object names

Not Run



            5.1.6 Requirements  0  0  1  0


  Check for model elements that do not link to requirements

Check for model elements that do not link to a requirements document.

Warning
The following model elements do not link to a requirements document:

Recommended Action
For each block in the list, in the Model Editor, right-click the block, select Requirements, and specify a requirement.



            5.1.7 Code  2  0  0  0


  Check for blocks not recommended for MISRA C:2012

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.


  Check configuration parameters for MISRA C:2012

Identify configuration parameters that might impact MISRA C:2012 compliant code generation.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values Prerequisites
Pass Model Verification block enabling (AssertControl) DisableAll DisableAll  
D - Pass Shared code placement (UtilityFuncGeneration) Shared location Shared location  
Pass Generate shared constants (GenerateSharedConstants) off off UtilityFuncGeneration
D - Pass System target file (SystemTargetFile) ERT based target ERT based target  
Pass continuous time (SupportContinuousTime) off off SystemTargetFile
Pass non-inlined S-functions (SupportNonInlinedSFcns) off off SystemTargetFile
Pass MAT-file logging (MatFileLogging) off off  
Pass Code replacement library (CodeReplacementLibrary) None None, AUTOSAR 4.0  
Pass Parentheses level (ParenthesesLevel) Maximum Maximum SystemTargetFile
Pass Casting modes (CastingMode) Standards Standards SystemTargetFile
Pass System-generated identifiers (InternalIdentifier) Shortened Shortened SystemTargetFile
Pass Signed integer division rounds to (ProdIntDivRoundTo) Zero Zero, Floor  
Pass Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) on on, UseDivisionForReciprocalsOfIntegersOnly  
Pass Replace multiplications by powers of two with signed bitwise shifts (EnableSignedLeftShifts) off off SystemTargetFile
Pass Allow right shifts on signed integers (EnableSignedRightShifts) off off SystemTargetFile
Pass Wrap on overflow (IntegerOverflowMsg) error warning, error  
Pass Preserve static keyword in function declarations (PreserveStaticInFcnDecls) on on  
Pass Inf or NaN block output (SignalInfNanChecking) error warning, error  
Pass Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) off off  
Pass External mode (ExtMode) off off  
Pass Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) error error  
Pass Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) 0 0  
Pass Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) off off  
D - Pass Include comments (GenerateComments) on on  
Pass MATLAB user comments (MATLABFcnDesc) on on GenerateComments, SystemTargetFile
∧ Less



    6 Modeling Standards for IEC 62304  63  0  1  28


  Display configuration management data

Not Run


  Display model metrics and complexity report

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



  Check for unconnected objects

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.



        6.1 High-Integrity Systems  61  0  1  27


            6.1.1 Simulink  11  0  0  17

            6.1.2 Stateflow  9  0  0  5


  Check state machine type of Stateflow charts

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.


  Check Stateflow charts for ordering of states and transitions

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.


  Check usage of bitwise operations in Stateflow charts

Not Run


  Check for Strong Data Typing with Simulink I/O

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.


  Check Stateflow debugging options

Identify whether Stateflow debugging options are set appropriately

Passed
All Stateflow debugging options are set appropriately.


  Check Stateflow charts for transition paths that cross parallel state boundaries

Identify transition paths that cross parallel state boundaries in Stateflow charts.

Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.


  Check for inappropriate use of transition paths

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.


  Check Stateflow charts for strong data typing

Not Run


  Check naming of ports in Stateflow charts

Identify mismatches between names of Stateflow ports and associated signals

Passed
There are no name mismatches between Stateflow ports and associated signals


  Check scoping of Stateflow data objects

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.


  Check Stateflow charts for uniquely defined data objects

Identify local data identifiers that are defined in multiple scopes within a chart.

Passed
No Stateflow data identifiers found to be defined in multiple scopes.


  Check usage of shift operations for Stateflow data

Not Run


  Check assignment operations in Stateflow charts

Not Run


  Check Stateflow charts for unary operators

Not Run



            6.1.3 MATLAB  6  0  0  4


  Check usage of standardized MATLAB function headers

Identify usage of standardized function headers in MATLAB function.

Passed
No MATLAB function blocks found without standardized function headers.


  Check for MATLAB Function interfaces with inherited properties

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.


  Check MATLAB Function metrics

Identify MATLAB Functions that violate code and complexity metrics.

Passed
No MATLAB Function blocks found that violate code and complexity metrics.


  Check MATLAB Code Analyzer messages

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.


  Check if/elseif/else patterns in MATLAB Function blocks

Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code

Passed
No inappropriate if/elseif/else patterns found.


  Check switch statements in MATLAB Function blocks

Identify inappropriately used switch statements in embedded MATLAB code

Passed
No inappropriately used switch statements found.


  Check usage of relational operators in MATLAB Function blocks

Not Run


  Check usage of equality operators in MATLAB Function blocks

Not Run


  Check usage of logical operators and functions in MATLAB Function blocks

Not Run


  Check type and size of condition expressions

Not Run



            6.1.4 Configuration  32  0  0  0


  Check safety-related diagnostic settings for data store memory

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 safety-related diagnostic settings for saving

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 safety-related model referencing settings

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


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.


  Check safety-related code generation settings for comments

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 safety-related code generation interface settings

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  


  Check safety-related solver settings for simulation time

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 safety-related solver settings for solver options

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 safety-related solver settings for tasking and sample-time

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 safety-related diagnostic settings for solvers

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 safety-related diagnostic settings for sample time

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 safety-related optimization settings for logic signals

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 safety-related block reduction optimization settings

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 safety-related code generation settings for code style

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 safety-related optimization settings for application lifespan

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 safety-related code generation identifier settings

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 safety-related optimization settings for loop unrolling threshold

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 safety-related optimization settings for data initialization

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


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.


  Check safety-related optimization settings for data type conversions

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 safety-related optimization settings for division arithmetic exceptions

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 safety-related optimization settings for specified minimum and maximum values

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 safety-related diagnostic settings for compatibility

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 safety-related diagnostic settings for parameters

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 safety-related diagnostic settings for Merge blocks

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 safety-related diagnostic settings for model initialization

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 safety-related diagnostic settings for data used for debugging

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 safety-related diagnostic settings for signal connectivity

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 safety-related diagnostic settings for bus connectivity

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 safety-related diagnostic settings that apply to function-call connectivity

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 safety-related diagnostic settings for type conversions

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 safety-related diagnostic settings for model referencing

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 safety-related diagnostic settings for Stateflow


  Check safety-related diagnostic settings for signal data

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



            6.1.5 Naming  1  0  0  1


  Check model file name

Identify inappropriate characters and length issues in model file name

Passed
No issues found with model file name.


  Check model object names

Not Run



            6.1.6 Requirements  0  0  1  0


  Check for model elements that do not link to requirements

Check for model elements that do not link to a requirements document.

Warning
The following model elements do not link to a requirements document:

Recommended Action
For each block in the list, in the Model Editor, right-click the block, select Requirements, and specify a requirement.



            6.1.7 Code  2  0  0  0


  Check for blocks not recommended for MISRA C:2012

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.


  Check configuration parameters for MISRA C:2012

Identify configuration parameters that might impact MISRA C:2012 compliant code generation.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values Prerequisites
Pass Model Verification block enabling (AssertControl) DisableAll DisableAll  
D - Pass Shared code placement (UtilityFuncGeneration) Shared location Shared location  
Pass Generate shared constants (GenerateSharedConstants) off off UtilityFuncGeneration
D - Pass System target file (SystemTargetFile) ERT based target ERT based target  
Pass continuous time (SupportContinuousTime) off off SystemTargetFile
Pass non-inlined S-functions (SupportNonInlinedSFcns) off off SystemTargetFile
Pass MAT-file logging (MatFileLogging) off off  
Pass Code replacement library (CodeReplacementLibrary) None None, AUTOSAR 4.0  
Pass Parentheses level (ParenthesesLevel) Maximum Maximum SystemTargetFile
Pass Casting modes (CastingMode) Standards Standards SystemTargetFile
Pass System-generated identifiers (InternalIdentifier) Shortened Shortened SystemTargetFile
Pass Signed integer division rounds to (ProdIntDivRoundTo) Zero Zero, Floor  
Pass Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) on on, UseDivisionForReciprocalsOfIntegersOnly  
Pass Replace multiplications by powers of two with signed bitwise shifts (EnableSignedLeftShifts) off off SystemTargetFile
Pass Allow right shifts on signed integers (EnableSignedRightShifts) off off SystemTargetFile
Pass Wrap on overflow (IntegerOverflowMsg) error warning, error  
Pass Preserve static keyword in function declarations (PreserveStaticInFcnDecls) on on  
Pass Inf or NaN block output (SignalInfNanChecking) error warning, error  
Pass Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) off off  
Pass External mode (ExtMode) off off  
Pass Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) error error  
Pass Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) 0 0  
Pass Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) off off  
D - Pass Include comments (GenerateComments) on on  
Pass MATLAB user comments (MATLABFcnDesc) on on GenerateComments, SystemTargetFile
∧ Less



    7 Modeling Standards for ISO 26262  63  0  1  28


  Display configuration management data

Not Run


  Display model metrics and complexity report

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



  Check for unconnected objects

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.



        7.1 High-Integrity Systems  61  0  1  27


            7.1.1 Simulink  11  0  0  17

            7.1.2 Stateflow  9  0  0  5


  Check state machine type of Stateflow charts

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.


  Check Stateflow charts for ordering of states and transitions

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.


  Check usage of bitwise operations in Stateflow charts

Not Run


  Check for Strong Data Typing with Simulink I/O

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.


  Check Stateflow debugging options

Identify whether Stateflow debugging options are set appropriately

Passed
All Stateflow debugging options are set appropriately.


  Check Stateflow charts for transition paths that cross parallel state boundaries

Identify transition paths that cross parallel state boundaries in Stateflow charts.

Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.


  Check for inappropriate use of transition paths

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.


  Check Stateflow charts for strong data typing

Not Run


  Check naming of ports in Stateflow charts

Identify mismatches between names of Stateflow ports and associated signals

Passed
There are no name mismatches between Stateflow ports and associated signals


  Check scoping of Stateflow data objects

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.


  Check Stateflow charts for uniquely defined data objects

Identify local data identifiers that are defined in multiple scopes within a chart.

Passed
No Stateflow data identifiers found to be defined in multiple scopes.


  Check usage of shift operations for Stateflow data

Not Run


  Check assignment operations in Stateflow charts

Not Run


  Check Stateflow charts for unary operators

Not Run



            7.1.3 MATLAB  6  0  0  4


  Check usage of standardized MATLAB function headers

Identify usage of standardized function headers in MATLAB function.

Passed
No MATLAB function blocks found without standardized function headers.


  Check for MATLAB Function interfaces with inherited properties

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.


  Check MATLAB Function metrics

Identify MATLAB Functions that violate code and complexity metrics.

Passed
No MATLAB Function blocks found that violate code and complexity metrics.


  Check MATLAB Code Analyzer messages

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.


  Check if/elseif/else patterns in MATLAB Function blocks

Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code

Passed
No inappropriate if/elseif/else patterns found.


  Check switch statements in MATLAB Function blocks

Identify inappropriately used switch statements in embedded MATLAB code

Passed
No inappropriately used switch statements found.


  Check usage of relational operators in MATLAB Function blocks

Not Run


  Check usage of equality operators in MATLAB Function blocks

Not Run


  Check usage of logical operators and functions in MATLAB Function blocks

Not Run


  Check type and size of condition expressions

Not Run



            7.1.4 Configuration  32  0  0  0


  Check safety-related diagnostic settings for data store memory

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 safety-related diagnostic settings for saving

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 safety-related model referencing settings

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


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.


  Check safety-related code generation settings for comments

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 safety-related code generation interface settings

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  


  Check safety-related solver settings for simulation time

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 safety-related solver settings for solver options

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 safety-related solver settings for tasking and sample-time

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 safety-related diagnostic settings for solvers

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 safety-related diagnostic settings for sample time

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 safety-related optimization settings for logic signals

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 safety-related block reduction optimization settings

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 safety-related code generation settings for code style

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 safety-related optimization settings for application lifespan

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 safety-related code generation identifier settings

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 safety-related optimization settings for loop unrolling threshold

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 safety-related optimization settings for data initialization

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


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.


  Check safety-related optimization settings for data type conversions

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 safety-related optimization settings for division arithmetic exceptions

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 safety-related optimization settings for specified minimum and maximum values

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 safety-related diagnostic settings for compatibility

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 safety-related diagnostic settings for parameters

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 safety-related diagnostic settings for Merge blocks

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 safety-related diagnostic settings for model initialization

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 safety-related diagnostic settings for data used for debugging

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 safety-related diagnostic settings for signal connectivity

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 safety-related diagnostic settings for bus connectivity

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 safety-related diagnostic settings that apply to function-call connectivity

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 safety-related diagnostic settings for type conversions

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 safety-related diagnostic settings for model referencing

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 safety-related diagnostic settings for Stateflow


  Check safety-related diagnostic settings for signal data

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



            7.1.5 Naming  1  0  0  1


  Check model file name

Identify inappropriate characters and length issues in model file name

Passed
No issues found with model file name.


  Check model object names

Not Run



            7.1.6 Requirements  0  0  1  0


  Check for model elements that do not link to requirements

Check for model elements that do not link to a requirements document.

Warning
The following model elements do not link to a requirements document:

Recommended Action
For each block in the list, in the Model Editor, right-click the block, select Requirements, and specify a requirement.



            7.1.7 Code  2  0  0  0


  Check for blocks not recommended for MISRA C:2012

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.


  Check configuration parameters for MISRA C:2012

Identify configuration parameters that might impact MISRA C:2012 compliant code generation.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values Prerequisites
Pass Model Verification block enabling (AssertControl) DisableAll DisableAll  
D - Pass Shared code placement (UtilityFuncGeneration) Shared location Shared location  
Pass Generate shared constants (GenerateSharedConstants) off off UtilityFuncGeneration
D - Pass System target file (SystemTargetFile) ERT based target ERT based target  
Pass continuous time (SupportContinuousTime) off off SystemTargetFile
Pass non-inlined S-functions (SupportNonInlinedSFcns) off off SystemTargetFile
Pass MAT-file logging (MatFileLogging) off off  
Pass Code replacement library (CodeReplacementLibrary) None None, AUTOSAR 4.0  
Pass Parentheses level (ParenthesesLevel) Maximum Maximum SystemTargetFile
Pass Casting modes (CastingMode) Standards Standards SystemTargetFile
Pass System-generated identifiers (InternalIdentifier) Shortened Shortened SystemTargetFile
Pass Signed integer division rounds to (ProdIntDivRoundTo) Zero Zero, Floor  
Pass Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) on on, UseDivisionForReciprocalsOfIntegersOnly  
Pass Replace multiplications by powers of two with signed bitwise shifts (EnableSignedLeftShifts) off off SystemTargetFile
Pass Allow right shifts on signed integers (EnableSignedRightShifts) off off SystemTargetFile
Pass Wrap on overflow (IntegerOverflowMsg) error warning, error  
Pass Preserve static keyword in function declarations (PreserveStaticInFcnDecls) on on  
Pass Inf or NaN block output (SignalInfNanChecking) error warning, error  
Pass Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) off off  
Pass External mode (ExtMode) off off  
Pass Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) error error  
Pass Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) 0 0  
Pass Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) off off  
D - Pass Include comments (GenerateComments) on on  
Pass MATLAB user comments (MATLABFcnDesc) on on GenerateComments, SystemTargetFile
∧ Less



    8 Modeling Standards for EN 50128  63  0  1  28


  Display configuration management data

Not Run


  Display model metrics and complexity report

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



  Check for unconnected objects

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.



        8.1 High-Integrity Systems  61  0  1  27


            8.1.1 Simulink  11  0  0  17

            8.1.2 Stateflow  9  0  0  5


  Check state machine type of Stateflow charts

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.


  Check Stateflow charts for ordering of states and transitions

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.


  Check usage of bitwise operations in Stateflow charts

Not Run


  Check for Strong Data Typing with Simulink I/O

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.


  Check Stateflow debugging options

Identify whether Stateflow debugging options are set appropriately

Passed
All Stateflow debugging options are set appropriately.


  Check Stateflow charts for transition paths that cross parallel state boundaries

Identify transition paths that cross parallel state boundaries in Stateflow charts.

Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.


  Check for inappropriate use of transition paths

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.


  Check Stateflow charts for strong data typing

Not Run


  Check naming of ports in Stateflow charts

Identify mismatches between names of Stateflow ports and associated signals

Passed
There are no name mismatches between Stateflow ports and associated signals


  Check scoping of Stateflow data objects

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.


  Check Stateflow charts for uniquely defined data objects

Identify local data identifiers that are defined in multiple scopes within a chart.

Passed
No Stateflow data identifiers found to be defined in multiple scopes.


  Check usage of shift operations for Stateflow data

Not Run


  Check assignment operations in Stateflow charts

Not Run


  Check Stateflow charts for unary operators

Not Run



            8.1.3 MATLAB  6  0  0  4


  Check usage of standardized MATLAB function headers

Identify usage of standardized function headers in MATLAB function.

Passed
No MATLAB function blocks found without standardized function headers.


  Check for MATLAB Function interfaces with inherited properties

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.


  Check MATLAB Function metrics

Identify MATLAB Functions that violate code and complexity metrics.

Passed
No MATLAB Function blocks found that violate code and complexity metrics.


  Check MATLAB Code Analyzer messages

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.


  Check if/elseif/else patterns in MATLAB Function blocks

Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code

Passed
No inappropriate if/elseif/else patterns found.


  Check switch statements in MATLAB Function blocks

Identify inappropriately used switch statements in embedded MATLAB code

Passed
No inappropriately used switch statements found.


  Check usage of relational operators in MATLAB Function blocks

Not Run


  Check usage of equality operators in MATLAB Function blocks

Not Run


  Check usage of logical operators and functions in MATLAB Function blocks

Not Run


  Check type and size of condition expressions

Not Run



            8.1.4 Configuration  32  0  0  0


  Check safety-related diagnostic settings for data store memory

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 safety-related diagnostic settings for saving

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 safety-related model referencing settings

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


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.


  Check safety-related code generation settings for comments

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 safety-related code generation interface settings

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  


  Check safety-related solver settings for simulation time

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 safety-related solver settings for solver options

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 safety-related solver settings for tasking and sample-time

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 safety-related diagnostic settings for solvers

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 safety-related diagnostic settings for sample time

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 safety-related optimization settings for logic signals

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 safety-related block reduction optimization settings

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 safety-related code generation settings for code style

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 safety-related optimization settings for application lifespan

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 safety-related code generation identifier settings

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 safety-related optimization settings for loop unrolling threshold

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 safety-related optimization settings for data initialization

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


Recommended Action


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.


  Check safety-related optimization settings for data type conversions

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 safety-related optimization settings for division arithmetic exceptions

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 safety-related optimization settings for specified minimum and maximum values

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 safety-related diagnostic settings for compatibility

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 safety-related diagnostic settings for parameters

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 safety-related diagnostic settings for Merge blocks

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 safety-related diagnostic settings for model initialization

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 safety-related diagnostic settings for data used for debugging

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 safety-related diagnostic settings for signal connectivity

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 safety-related diagnostic settings for bus connectivity

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 safety-related diagnostic settings that apply to function-call connectivity

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 safety-related diagnostic settings for type conversions

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 safety-related diagnostic settings for model referencing

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 safety-related diagnostic settings for Stateflow


  Check safety-related diagnostic settings for signal data

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



            8.1.5 Naming  1  0  0  1


  Check model file name

Identify inappropriate characters and length issues in model file name

Passed
No issues found with model file name.


  Check model object names

Not Run



            8.1.6 Requirements  0  0  1  0


  Check for model elements that do not link to requirements

Check for model elements that do not link to a requirements document.

Warning
The following model elements do not link to a requirements document:

Recommended Action
For each block in the list, in the Model Editor, right-click the block, select Requirements, and specify a requirement.



            8.1.7 Code  2  0  0  0


  Check for blocks not recommended for MISRA C:2012

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.


  Check configuration parameters for MISRA C:2012

Identify configuration parameters that might impact MISRA C:2012 compliant code generation.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values Prerequisites
Pass Model Verification block enabling (AssertControl) DisableAll DisableAll  
D - Pass Shared code placement (UtilityFuncGeneration) Shared location Shared location  
Pass Generate shared constants (GenerateSharedConstants) off off UtilityFuncGeneration
D - Pass System target file (SystemTargetFile) ERT based target ERT based target  
Pass continuous time (SupportContinuousTime) off off SystemTargetFile
Pass non-inlined S-functions (SupportNonInlinedSFcns) off off SystemTargetFile
Pass MAT-file logging (MatFileLogging) off off  
Pass Code replacement library (CodeReplacementLibrary) None None, AUTOSAR 4.0  
Pass Parentheses level (ParenthesesLevel) Maximum Maximum SystemTargetFile
Pass Casting modes (CastingMode) Standards Standards SystemTargetFile
Pass System-generated identifiers (InternalIdentifier) Shortened Shortened SystemTargetFile
Pass Signed integer division rounds to (ProdIntDivRoundTo) Zero Zero, Floor  
Pass Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) on on, UseDivisionForReciprocalsOfIntegersOnly  
Pass Replace multiplications by powers of two with signed bitwise shifts (EnableSignedLeftShifts) off off SystemTargetFile
Pass Allow right shifts on signed integers (EnableSignedRightShifts) off off SystemTargetFile
Pass Wrap on overflow (IntegerOverflowMsg) error warning, error  
Pass Preserve static keyword in function declarations (PreserveStaticInFcnDecls) on on  
Pass Inf or NaN block output (SignalInfNanChecking) error warning, error  
Pass Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) off off  
Pass External mode (ExtMode) off off  
Pass Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) error error  
Pass Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) 0 0  
Pass Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) off off  
D - Pass Include comments (GenerateComments) on on  
Pass MATLAB user comments (MATLABFcnDesc) on on GenerateComments, SystemTargetFile
∧ Less



    9 Model Metrics  9  0  0  1


        9.1 Count Metrics  7  0  0  0


  Simulink block metric

Display number of blocks in the model or subsystem.



Passed

Component Blocks
FCC 23


  Subsystem metric

Display number of Subsystems in the model or subsystem.



Passed

Component Subsystems
FCC 0


  Library link metric

Display number of library links in the model or subsystem.



Passed

Component Library Links
FCC 0


  Effective lines of MATLAB code metric

Display number of effective lines of MATLAB code.
No metric data available. The component scope of the metric algorithm is not applicable.

Passed


  Stateflow chart objects metric

Display number of Stateflow objects in each chart.
No metric data available. The component scope of the metric algorithm is not applicable.

Passed


  Lines of code for Stateflow blocks metric

Display number of code lines for Stateflow blocks.
No metric data available. The component scope of the metric algorithm is not applicable.

Passed


  Subsystem depth metric

Display depth of subsystems in the model or subsystem.

Total Subsystem Depth: NaN


Passed

Component Subsystem Level Subsystem Depth
FCC 0 0



        9.2 Complexity Metrics  0  0  0  1


  Cyclomatic complexity metric

Not Run



        9.3 Readability Metrics  2  0  0  0


  Nondescriptive block name metric

Display non-descriptive names of Inport, Outport and Subsystem blocks.



Passed

Component Nondescriptive Names
FCC 0


  Data and structure layer separation metric

Display data and structure layer separation, defined by MAAB modeling guideline db_0143.



Passed

Component Non-conforming Blocks
FCC 0



    10 Modeling Signals and Parameters using Buses  1  0  0  2


  Check for optimal bus virtuality

Passed


  Check structure parameter usage with bus signals

Not Run


  Check bus signals treated as vectors

Not Run



    11 Code Generation Efficiency  6  0  2  3


  Check optimization settings

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


Recommended Action
Follow the links in the result table to modify the model configuration parameters.


* The Command-Line values provided in the table are reverse of the settings in the Configuration Parameters Dialog. Therefore, 'on' in the Command-Line corresponds to an "Off" setting in the dialog, and 'off' in the Command-Line corresponds to an "On" setting in the dialog.


  Identify blocks using one-based indexing

Check the model for blocks configured for one-based indexing

Passed
All blocks in the model use zero-based indexing.
_________________________________________________________________________________________


  Identify questionable software environment specifications

Passed


  Identify lookup table blocks that generate expensive out-of-range checking code

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 questionable code instrumentation (data I/O)

Passed


  Check output types of logic blocks

Identify logic blocks that are outputting non-Boolean data types.

Passed
There are no logic blocks in the model or subsystem.


  Check configuration parameters for generation of inefficient saturation code

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


Recommended Action
Follow the links in the result table to modify the model configuration parameters.


  Identify blocks that generate expensive rounding code

Not Run


  Identify questionable fixed-point operations

Not Run


  Identify blocks that generate expensive fixed-point and saturation code

Not Run


  Identify blocks generating inefficient algorithms

Passed
No inefficient algorithms found in the model.



    12 Modeling Single-Precision Systems  0  0  0  1


  Identify questionable operations for strict single-precision design

Not Run



    13 Migrating to Simplified Initialization mode  0  0  0  4


  Check usage of Merge blocks

Not Run


  Check usage of Outport blocks

Not Run


  Check usage of Discrete-Time Integrator blocks

Not Run


  Check model settings for migration to simplified initialization mode

Not Run



    14 Row-major code generation  1  0  0  2


  Identify blocks generating inefficient algorithms

Passed
No inefficient algorithms found in the model.


  Check for blocks not supported for row-major code generation

Not Run


  Identify TLC S-Functions with unset array layout

Not Run



    15 Model Referencing  6  0  0  2


  Check for model reference configuration mismatch

Passed


  Check diagnostic settings ignored during accelerated model reference simulation

The configuration parameter settings passed the check.


  Check code generation identifier formats used for model reference

The configuration parameter settings passed the check.


  Check for parameter tunability information ignored for referenced models

Passed


  Check for implicit signal resolution

Passed


  Check bus signals treated as vectors

Not Run


  Check root model Inport block specifications

Passed


  Check for large number of function arguments from virtual bus across model reference boundary

Not Run



    16 Managing Library Links And Variants  4  0  0  0

    17 Data Transfer Efficiency  0  0  0  1


  Check Delay, Unit Delay and Zero-Order Hold blocks for rate transition

Not Run



    18 S-function Checks  1  0  0  0


  Check S-functions in the model

There are no user-defined S-functions in the model.



    19 Simulink Design Verifier Compatibility Check  0  0  0  1


  Check compatibility with Simulink Design Verifier

Not Run



    20 Simulink Design Verifier Design Error Checks  0  0  0  9


  Detect Dead Logic

Not Run


  Detect Out Of Bound Array Access

Not Run


  Detect Division By Zero

Not Run


  Detect Integer Overflow

Not Run


  Detect Non-finite and NaN Floating-point Values

Not Run


  Detect Subnormal Floating-point Values

Not Run


  Detect Specified Minimum and Maximum Value Violations

Not Run


  Detect Data Store Access Violations

Not Run


  Detect Block Input Range Violations

Not Run



    21 Simulation Accuracy  0  0  0  1


  Check for non-continuous signals driving derivative ports

Not Run



    22 Simulation Runtime Accuracy Diagnostics  2  0  0  0


  Runtime diagnostics for S-functions

Passed


  Check if Read/Write diagnostics are enabled for Data Store blocks

Passed



    23 Managing Data Store Memory Blocks  1  0  0  2


  Check Data Store Memory blocks for multitasking, strong typing, and shadowing issues

Passed


  Check data store block sample times for modeling errors

Not Run


  Check for potential ordering issues involving data store access

Not Run



    24 Simulink Model File Integrity  2  0  0  0


  Check model for foreign characters

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 Model History properties

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.



    25 Requirements Consistency Checking  4  0  0  0


  Identify requirement links with missing documents

Passed


  Identify requirement links that specify invalid locations within documents

Passed


  Identify selection-based links having description fields that do not match their requirements document text

Passed


  Identify requirement links with path type inconsistent with preferences

Passed



    26 Modeling Standards for MAB  111  0  7  23


        26.1 Naming Conventions  17  0  0  3


            26.1.1 General  4  0  0  0


  Check file names

Check the model file name to ensure that the name complies with the recommended guidelines.

Passed
All files have correct names.


  Check folder names

Check the folder name to ensure that the name complies with the recommended guidelines.

Passed
All folders have correct names.


  Check length of model file name

Check length of model file name

Passed
Model name is valid.


  Check length of folder name at every level of model path

The model file name is: FCC



Passed
Folder names are valid.



            26.1.2 Content  13  0  0  3


  Check subsystem names

Identify subsystem names with incorrect characters.

Passed
All the subsystem names use correct characters.


  Check port block names

Identify Inport or Outport block names with incorrect characters.

Passed
All the Inport or Outport block names use correct characters.


  Check character usage in block names

Identify block names with incorrect characters.

Passed
All the block names use correct characters.


  Check length of subsystem names

Check length of subsystem names

Passed
All subsystem names are valid.


  Check length of block names

Check length of block names

Passed
All block names are valid.


  Check length of Inport and Outport names

Check length of Inport and Outport names

Passed
All Inport and Outport names are valid.


  Check usable characters for signal names and bus names

Identify invalid characters in signal and bus names

Passed
No invalid characters are used in signal and bus names.


  Check usable characters for parameter names

Not Run


  Check length of signal and bus names

Check length of signal and bus names

Passed
All signal and bus names are valid.


  Check length of parameter names

Not Run


  Check usable characters for Stateflow data names

Identify invalid characters in Stateflow data names.

Passed
No invalid characters are used in Stateflow data names.


  Check length of Stateflow data name

Check if the length of Stateflow data names are within limit.

Passed
All Stateflow data names are valid.


  Check duplication of Simulink Data names

Simulink Data names should be unique across base workspace, model workspace and data dictionary.

Passed
All Simulink Data names are unique.


  Check unused data in Simulink Model

Not Run


  Check for unused data in Stateflow Charts

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


  Check usage of restricted variable names

Checks whether variable names used in MATLAB Function blocks are reserved for C/C++/MATLAB keywords

Passed
No variable names conflict with reserved keywords



        26.2 Simulink  42  0  7  13

        26.3 Stateflow  46  0  0  5


            26.3.1 Block/Data/Events  6  0  0  1


  Check for Strong Data Typing with Simulink I/O

Check whether labeled input and output signals are strongly typed.

Passed
No Stateflow charts have Use Strong Data Typing with Simulink I/O cleared.


  Check for names of Stateflow ports and associated signals

Not Run


  Check execution timing for default transition path

'Execute (enter) Chart At Initialization' should be set to OFF.

Passed
All Stateflow Charts pass the check.


  Check definition of Stateflow data

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.


  Check usable number for first index

Identify usage of first index of Stateflow data.

Passed
All Stateflow data first index values are uniform.


  Check scope of data in parallel states

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.


  Check definition of Stateflow events

Stateflow events should be defined at the smallest possible scope of usage.

Passed
All Stateflow events are defined at their smallest scope.



            26.3.2 Diagram  14  0  0  0


  Check for unconnected objects in Stateflow Charts

Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.

Passed
No unconnected transitions, states or junctions found in Stateflow Charts.


  Check usage of exclusive and default states in state machines

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 for parallel Stateflow state used for grouping

jc_0721: Guidelines for using parallel states
Identify parallel Stateflow States used for grouping.

Passed
No Stateflow charts were found.


  Check Stateflow transition appearance

Identify Stateflow transitions visually overlapping other Stateflow objects.

Passed
No transition violates the guidelines for Stateflow transition appearance.


  Check default transition placement in Stateflow charts

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 usage of transitions to external states

Identify transitions ending on external child states.

Passed
No direct transitions found from external state to child state.


  Check for unexpected backtracking in state transitions

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


  Check starting point of internal transition in Stateflow

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.


  Check usage of internal transitions in Stateflow states

Identify Stateflow states using multiple internal transitions.

Passed
No Stateflow states found with multiple internal transitions


  Check prohibited combination of state action and flow chart

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.


  Check transition orientations in flow charts

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.


  Check usage of unconditional transitions in flow charts

Identify unconditional transitions in flow charts.

Passed
All unconditional transitions adhere to the guideline.


  Check terminal junctions in Stateflow

Identify usage of terminal junctions in flow charts.

Passed
Multiple terminal junctions were not found.


  Check usage of Stateflow comments

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.



            26.3.3 Condition Transition/Action  12  0  0  4


  Check Stateflow chart action language

Check if the action language of Stateflow charts is set to 'C'.

Passed
All Stateflow Charts have action language set to 'C'.


  Check usage of numeric literals in Stateflow

Identify use of numeric literals in Stateflow states and transitions.

Passed
No numeric literals found in Stateflow charts.


  Check for pointers 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.


  Check for usage of events and broadcasting events in Stateflow charts

Identify undirected event broadcasts in Stateflow

Passed
No instances of undirected event broadcast were found.


  Check order of state action types

Identify out of order state action types in Stateflow states.

Passed
No Stateflow states found with out of order state action types


  Check repetition of 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

Check if state action type 'exit' is used in the model.

Passed
State action type 'exit' is not used in the model.


  Check updates to variables used in state transition conditions

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.


  Check usage of transition conditions in Stateflow 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


  Check condition actions and transition actions in Stateflow

Identify usage of transition actions in Stateflow.

Passed
No Stateflow charts have transition actions.


  Check for MATLAB expressions in Stateflow blocks

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.


  Check usage of floating-point expressions in Stateflow charts

Not Run


  Check Stateflow operators

Not Run


  Check prohibited comparison operation of logical type signals

Identify boolean variables in Stateflow charts using comparison operations.

Passed
No boolean variables use comparison operations of logical type in the model.


  Check usage of unary minus operations in Stateflow charts

Not Run


  Check for implicit type casting in Stateflow

Not Run



            26.3.4 Label Description  10  0  0  0


  Check uniqueness of Stateflow State and Data names

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 uniqueness of State names

jc_0730: Independence of state name in charts
Identifies identical State names within a Stateflow Chart.

Passed
No Stateflow charts were found.


  Check usage of State names

jc_0731: Slash (/) in the state name
Identify state names with '/' at its end.

Passed
No Stateflow states were found.


  Check entry formatting in State blocks in Stateflow charts

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.


  Check indentation of code in Stateflow states

Identify non-uniform indentation in Stateflow blocks.

Passed
All Stateflow blocks have uniform indentation.


  Check for usage of text inside states

Identify Stateflow states with text exceeding the boundary of the state

Passed
No Stateflow states found with text exceeding the boundary of the state.


  Check position of label string in Stateflow transition

Identify placement of label string in Stateflow transition.

Passed
All Stateflow transitions are placed uniformly.


  Check position of comments in transition labels

Identify comments in transition labels that are not positioned uniformly.

Passed
Comments in transition labels are positioned uniformly.


  Check usage of parentheses in Stateflow transitions

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.


  Check for comments in unconditional transitions

Identify comments in unconditional transitions without action statements.

Passed
All unconditional transitions without action statements have comments.



            26.3.5 Miscellaneous  4  0  0  0


  Check return value assignments in Stateflow graphical functions

Identify graphical functions with multiple assignments of return values in Stateflow charts.

Passed
No Stateflow charts were found.


  Check uniqueness of Stateflow State and Data names

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 usage of Simulink functions in Stateflow

Usage of Simulink Functions in Stateflow.

Passed
All Simulink Functions in Stateflow are defined according to the guideline.


  Check use of Simulink in Stateflow charts

na_0039: Limitation on Simulink functions in Chart blocks

Check use of Stateflow charts nested inside Simulink functions used in Stateflow.

Passed
No Stateflow charts found nested inside Simulink functions used in Stateflow.



        26.4 MATLAB  6  0  0  2


            26.4.1 Data and Operations  2  0  0  1


  Check MATLAB code for global variables

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
_________________________________________________________________________________________


  Check usage of enumerated values

Not Run


  Check input and output settings of MATLAB Functions

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.



            26.4.2 Usage  4  0  0  1


  Check MATLAB Function metrics

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:

  • LoC : Total lines of code
  • ELoC : Effective lines of code
  • CLoC : Comment lines of code
  • DC : Density of comments
  • CYC : Cyclomatic complexity

Input Parameters Selection
Name Value
Maximum effective lines of code per function 60
Minimum density of comments 0.2
Maximum cyclomatic complexity per function 15


  Check the number of function calls in MATLAB Function blocks

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.


  Check usage of character vector inside MATLAB Function block

Checks whether character vectors are being used inside MATLAB Function blocks

Passed
No character vectors found in MATLAB Function block


  Check usage of recommended patterns for Switch/Case statements

Checks whether non-constant variables are used in Switch/Case arguments.

Passed
Non-constant variables are not used as Switch/Case arguments


  Check for use of C-style comment symbols

Not Run



    27 Modeling Standards for JMAAB  95  0  6  20


        27.1 Naming Conventions  12  0  0  2


  Check file names

Check the model file name to ensure that the name complies with the recommended guidelines.

Passed
All files have correct names.


  Check folder names

Check the folder name to ensure that the name complies with the recommended guidelines.

Passed
All folders have correct names.


  Check subsystem names

Identify subsystem names with incorrect characters.

Passed
All the subsystem names use correct characters.


  Check port block names

Identify Inport or Outport block names with incorrect characters.

Passed
All the Inport or Outport block names use correct characters.


  Check character usage in block names

Identify block names with incorrect characters.

Passed
All the block names use correct characters.


  Check usable characters for signal names and bus names

Identify invalid characters in signal and bus names

Passed
No invalid characters are used in signal and bus names.


  Check usable characters for parameter names

Not Run


  Check length of model file name

Check length of model file name

Passed
Model name is valid.


  Check length of folder name at every level of model path

The model file name is: FCC



Passed
Folder names are valid.


  Check length of subsystem names

Check length of subsystem names

Passed
All subsystem names are valid.


  Check length of Inport and Outport names

Check length of Inport and Outport names

Passed
All Inport and Outport names are valid.


  Check length of signal and bus names

Check length of signal and bus names

Passed
All signal and bus names are valid.


  Check length of parameter names

Not Run


  Check length of block names

Check length of block names

Passed
All block names are valid.



        27.2 Model Architecture  1  0  0  0


  Check for mixing basic blocks and subsystems

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.



        27.3 Model Configuration Options  2  0  0  0


  Check Implement logic signals as Boolean data (vs. double)

Identify whether Implement logic signals as Boolean data (vs. double) is selected.

Passed
Implement logic signals as Boolean data (vs. double) is selected.


  Check diagnostic settings for incorrect calculation results

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



        27.4 Simulink  33  0  6  14

        27.5 Stateflow  45  0  0  4


  Check transition orientations in flow charts

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.


  Check return value assignments in Stateflow graphical functions

Identify graphical functions with multiple assignments of return values in Stateflow charts.

Passed
No Stateflow charts were found.


  Check default transition placement in Stateflow charts

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 for Strong Data Typing with Simulink I/O

Check whether labeled input and output signals are strongly typed.

Passed
No Stateflow charts have Use Strong Data Typing with Simulink I/O cleared.


  Check definition of Stateflow data

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.


  Check for MATLAB expressions in Stateflow blocks

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.


  Check for pointers 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.


  Check Stateflow operators

Not Run


  Check usage of unary minus operations in Stateflow charts

Not Run


  Check usage of Stateflow comments

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.


  Check prohibited comparison operation of logical type signals

Identify boolean variables in Stateflow charts using comparison operations.

Passed
No boolean variables use comparison operations of logical type in the model.


  Check usage of internal transitions in Stateflow states

Identify Stateflow states using multiple internal transitions.

Passed
No Stateflow states found with multiple internal transitions


  Check usage of transition conditions in Stateflow 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


  Check uniqueness of Stateflow State and Data names

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 uniqueness of State names

jc_0730: Independence of state name in charts
Identifies identical State names within a Stateflow Chart.

Passed
No Stateflow charts were found.


  Check usage of parentheses in Stateflow transitions

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.


  Check prohibited combination of state action and flow chart

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.


  Check condition actions and transition actions in Stateflow

Identify usage of transition actions in Stateflow.

Passed
No Stateflow charts have transition actions.


  Check usable number for first index

Identify usage of first index of Stateflow data.

Passed
All Stateflow data first index values are uniform.


  Check usage of State names

jc_0731: Slash (/) in the state name
Identify state names with '/' at its end.

Passed
No Stateflow states were found.


  Check execution timing for default transition path

'Execute (enter) Chart At Initialization' should be set to OFF.

Passed
All Stateflow Charts pass the check.


  Check repetition of Action types

jc_0734: Number of state action types
Identifies repeated action types in a Stateflow State.

Passed
No Stateflow States were found.


  Check for unused data in Stateflow Charts

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


  Check updates to variables used in state transition conditions

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.


  Check starting point of internal transition in Stateflow

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.


  Check for parallel Stateflow state used for grouping

jc_0721: Guidelines for using parallel states
Identify parallel Stateflow States used for grouping.

Passed
No Stateflow charts were found.


  Check scope of data in parallel states

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.


  Check indentation of code in Stateflow states

Identify non-uniform indentation in Stateflow blocks.

Passed
All Stateflow blocks have uniform indentation.


  Check for usage of text inside states

Identify Stateflow states with text exceeding the boundary of the state

Passed
No Stateflow states found with text exceeding the boundary of the state.


  Check for unexpected backtracking in state transitions

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


  Check for unconnected objects in Stateflow Charts

Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.

Passed
No unconnected transitions, states or junctions found in Stateflow Charts.


  Check position of label string in Stateflow transition

Identify placement of label string in Stateflow transition.

Passed
All Stateflow transitions are placed uniformly.


  Check Stateflow chart action language

Check if the action language of Stateflow charts is set to 'C'.

Passed
All Stateflow Charts have action language set to 'C'.


  Check usable characters for Stateflow data names

Identify invalid characters in Stateflow data names.

Passed
No invalid characters are used in Stateflow data names.


  Check length of Stateflow data name

Check if the length of Stateflow data names are within limit.

Passed
All Stateflow data names are valid.


  Check usage of transitions to external states

Identify transitions ending on external child states.

Passed
No direct transitions found from external state to child state.


  Check order of state action types

Identify out of order state action types in Stateflow states.

Passed
No Stateflow states found with out of order state action types


  Check usage of numeric literals in Stateflow

Identify use of numeric literals in Stateflow states and transitions.

Passed
No numeric literals found in Stateflow charts.


  Check position of comments in transition labels

Identify comments in transition labels that are not positioned uniformly.

Passed
Comments in transition labels are positioned uniformly.


  Check terminal junctions in Stateflow

Identify usage of terminal junctions in flow charts.

Passed
Multiple terminal junctions were not found.


  Check for implicit type casting in Stateflow

Not Run


  Check if state action type 'exit' is used in the model

Check if state action type 'exit' is used in the model.

Passed
State action type 'exit' is not used in the model.


  Check for use of C-style comment symbols

Not Run


  Check usage of unconditional transitions in flow charts

Identify unconditional transitions in flow charts.

Passed
All unconditional transitions adhere to the guideline.


  Check for comments in unconditional transitions

Identify comments in unconditional transitions without action statements.

Passed
All unconditional transitions without action statements have comments.


  Check definition of Stateflow events

Stateflow events should be defined at the smallest possible scope of usage.

Passed
All Stateflow events are defined at their smallest scope.


  Check Stateflow transition appearance

Identify Stateflow transitions visually overlapping other Stateflow objects.

Passed
No transition violates the guidelines for Stateflow transition appearance.


  Check for usage of events and broadcasting events in Stateflow charts

Identify undirected event broadcasts in Stateflow

Passed
No instances of undirected event broadcast were found.


  Check usage of Simulink functions in Stateflow

Usage of Simulink Functions in Stateflow.

Passed
All Simulink Functions in Stateflow are defined according to the guideline.



        27.6 MATLAB Functions  2  0  0  0


  Check input and output settings of MATLAB Functions

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 MATLAB code for global variables

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
_________________________________________________________________________________________



    28 Units Inconsistencies  0  0  0  5


  Identify unit mismatches in the model

Not Run


  Identify automatic unit conversions in the model

Not Run


  Identify disallowed unit systems in the model

Not Run


  Identify undefined units in the model

Not Run


  Identify ambiguous units in the model

Not Run



    29 Upgrading to the Current Simulink Version  0  0  1  0


  Open the Upgrade Advisor

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



    30 Modeling Standards for MISRA C:2012  7  0  0  6


  Check configuration parameters for MISRA C:2012

Identify configuration parameters that might impact MISRA C:2012 compliant code generation.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values Prerequisites
Pass Model Verification block enabling (AssertControl) DisableAll DisableAll  
D - Pass Shared code placement (UtilityFuncGeneration) Shared location Shared location  
Pass Generate shared constants (GenerateSharedConstants) off off UtilityFuncGeneration
D - Pass System target file (SystemTargetFile) ERT based target ERT based target  
Pass continuous time (SupportContinuousTime) off off SystemTargetFile
Pass non-inlined S-functions (SupportNonInlinedSFcns) off off SystemTargetFile
Pass MAT-file logging (MatFileLogging) off off  
Pass Code replacement library (CodeReplacementLibrary) None None, AUTOSAR 4.0  
Pass Parentheses level (ParenthesesLevel) Maximum Maximum SystemTargetFile
Pass Casting modes (CastingMode) Standards Standards SystemTargetFile
Pass System-generated identifiers (InternalIdentifier) Shortened Shortened SystemTargetFile
Pass Signed integer division rounds to (ProdIntDivRoundTo) Zero Zero, Floor  
Pass Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) on on, UseDivisionForReciprocalsOfIntegersOnly  
Pass Replace multiplications by powers of two with signed bitwise shifts (EnableSignedLeftShifts) off off SystemTargetFile
Pass Allow right shifts on signed integers (EnableSignedRightShifts) off off SystemTargetFile
Pass Wrap on overflow (IntegerOverflowMsg) error warning, error  
Pass Preserve static keyword in function declarations (PreserveStaticInFcnDecls) on on  
Pass Inf or NaN block output (SignalInfNanChecking) error warning, error  
Pass Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) off off  
Pass External mode (ExtMode) off off  
Pass Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) error error  
Pass Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) 0 0  
Pass Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) off off  
D - Pass Include comments (GenerateComments) on on  
Pass MATLAB user comments (MATLABFcnDesc) on on GenerateComments, SystemTargetFile
∧ Less


  Check for blocks not recommended for C/C++ production code deployment

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.


  Check for blocks not recommended for MISRA C:2012

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.


  Check for unsupported block names

Identify block names containing "/".

Passed
No unsupported block names found.


  Check usage of Assignment blocks

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:

  • Warning, if Assignment block is in an iterator subsystem
  • Error, if Assignment block is not in an iterator subsystem


Passed
All Assignment blocks are configured with block parameter Action if any output element is not assigned set to Warning or Error.


  Check for switch case expressions without a default case

Identify switch case expressions that do not have a default case.

Passed
All switch case expressions have default cases.


  Check for missing error ports in AUTOSAR receiver interfaces

Identify AUTOSAR receiver interface ports that do not have a matching error port.

Passed
Model is not configured as an AUTOSAR target.


  Check for bitwise operations on signed integers

Not Run


  Check for recursive function calls

Not Run


  Check for equality and inequality operations on floating-point values

Not Run


  Check for missing const qualifiers in model functions

Not Run


  Check integer word lengths

Not Run


  Check bus object names that are used as bus element names

Not Run



    31 Modeling Standards for Secure Coding (CERT C, CWE, ISO/IEC TS 17961)  5  0  0  8


  Check configuration parameters for secure coding standards

Identify configuration parameters that might impact secure coding standards compliant code generation.

Passed
All constraints on model configuration parameters have been met.

Status Parameter Current Value Recommended Values Prerequisites
Pass Model Verification block enabling (AssertControl) DisableAll DisableAll  
D - Pass System target file (SystemTargetFile) ERT based target ERT based target  
Pass continuous time (SupportContinuousTime) off off SystemTargetFile
Pass non-inlined S-functions (SupportNonInlinedSFcns) off off SystemTargetFile
Pass MAT-file logging (MatFileLogging) off off  
Pass Code replacement library (CodeReplacementLibrary) None None, AUTOSAR 4.0  
Pass Signed integer division rounds to (ProdIntDivRoundTo) Zero Zero, Floor  
Pass Replace multiplications by powers of two with signed bitwise shifts (EnableSignedLeftShifts) off off SystemTargetFile
Pass Allow right shifts on signed integers (EnableSignedRightShifts) off off SystemTargetFile
Pass Wrap on overflow (IntegerOverflowMsg) error warning, error  
Pass Inf or NaN block output (SignalInfNanChecking) error warning, error  
Pass Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) off off  
Pass External mode (ExtMode) off off  
Pass Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) error error  
Pass Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) 0 0  
Pass Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) off off  
D - Pass Include comments (GenerateComments) on on  
Pass MATLAB user comments (MATLABFcnDesc) on on GenerateComments, SystemTargetFile
∧ Less


  Check for blocks not recommended for C/C++ production code deployment

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.


  Check for blocks not recommended for secure coding standards

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.


  Check usage of Assignment blocks

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:

  • Warning, if Assignment block is in an iterator subsystem
  • Error, if Assignment block is not in an iterator subsystem


Passed
All Assignment blocks are configured with block parameter Action if any output element is not assigned set to Warning or Error.


  Check for switch case expressions without a default case

Identify switch case expressions that do not have a default case.

Passed
All switch case expressions have default cases.


  Check for bitwise operations on signed integers

Not Run


  Check for equality and inequality operations on floating-point values

Not Run


  Check integer word lengths

Not Run


  Detect Dead Logic

Not Run


  Detect Integer Overflow

Not Run


  Detect Division By Zero

Not Run


  Detect Out Of Bound Array Access

Not Run


  Detect Specified Minimum and Maximum Value Violations

Not Run



    32 Frequency Response Estimation  0  0  0  1


  Identify time-varying source blocks interfering with frequency response estimation

Not Run