This section shows the structure of the guideline document with the aggregated result for each chapter level.
Failed
|
1 MXAM Starter Set - Extended Version
|
Unselected
|
|
Passed
|
|
Passed
|
mes_arch_1301 - Restricted Local Complexity
|
Passed
|
matlab_mxray_1301 - Restricted Local Complexity
|
Passed
|
mes_arch_1302 - Restricted Number of Hierarchy Levels
|
Passed
|
matlab_mxray_1302 - Restricted Number of Hierarchy Levels
|
Passed
|
mes_arch_1303 - Restricted Number of Inports
|
Passed
|
matlab_mxray_1303 - Restricted Number of Inports
|
Passed
|
mes_arch_1304 - Restricted Number of Outports
|
Passed
|
matlab_mxray_1304 - Restricted Number of Outports
|
Unselected
|
mes_arch_1306 - Effective Interfaces
|
Passed with Infos
|
|
Unselected
|
|
Passed with Infos
|
1.3.2 Modeling of Data Flow
|
Passed with Infos
|
misra_slsf_018_a - Usage of "from" and "goto" Blocks - Visibility
|
Passed with Infos
|
mcheck_misra_slsf_018_a - Usage of "from" and "goto" Blocks - Visibility
|
Passed with Infos
|
misra_slsf_018_b - Usage of "from" and "goto" Blocks - Tag
|
Passed with Infos
|
mcheck_misra_slsf_018_b_1 - Usage of "from" and "goto" Blocks - Tag (Goto)
|
Passed with Infos
|
mcheck_misra_slsf_018_b_2 - Usage of "from" and "goto" Blocks - Tag (From)
|
Passed with Infos
|
misra_slsf_005_c - Allowable Simulink Blocks - Data Store Memory
|
Passed with Infos
|
mcheck_misra_slsf_005_c - Allowable Simulink Blocks - Data Store Memory
|
Passed
|
misra_slsf_030_abc - Port Location
|
Passed
|
mcheck_misra_slsf_030_ab - Port Location - Inports and Outports
|
Passed
|
mcheck_misra_slsf_030_c - Port Location - Trigger, Enable, and Action Ports
|
Passed
|
misra_slsf_029_a - Signal and Bus Line Positioning - Orientation
|
Passed
|
mcheck_misra_slsf_029_a - Signal and Bus Line Positioning - Orientation
|
Unselected
|
misra_slsf_029_be - Signal and Bus Line Positioning - Overlaps and Branching
|
Unselected
|
misra_slsf_029_c - Signal and Bus Line Positioning - Crossings of line and block
|
Passed
|
misra_slsf_029_f - Signal and Bus Line Positioning - Branching
|
Passed
|
mcheck_misra_slsf_029_f - Signal and Bus Line Positioning - Branching
|
Passed
|
|
Passed
|
misra_slsf_009_b - Block Execution Frequency and Order - Block Priority
|
Passed
|
mcheck_misra_slsf_009_b - Block Execution Frequency and Order - Block Priority
|
Unselected
|
1.3.4 Block and Text Appearance
|
Failed
|
|
Failed
|
1.4.1 Simulink/TargetLink
|
Passed
|
|
Passed
|
misra_slsf_005_b - Allowable Simulink Blocks - Prohibited Blocks
|
Passed
|
mcheck_misra_slsf_005_b - Allowable Simulink Blocks - Prohibited Blocks
|
Passed
|
misra_slsf_005_a - Allowable Simulink Blocks - Simulink Block Library
|
Passed
|
mcheck_misra_slsf_005_a - Allowable Simulink Blocks - Simulink Block Library
|
Passed
|
jm_0001 - Prohibited Simulink Standard Blocks Inside Controllers
|
Passed
|
mcheck_jm_0001 - Prohibited Simulink Standard Blocks Inside Controllers
|
Passed with Infos
|
1.4.1.2 Defensive Implementation Techniques
|
Passed with Infos
|
sdt_ic003 - Default Paths of Switch Case Blocks
|
Passed with Infos
|
mcheck_sdt_ic003 - Default Paths of Switch Case Blocks
|
Failed
|
1.4.1.3 Established Design Principles
|
Passed
|
misra_slsf_006_e - Block Parameters - Masked Subsystems
|
Passed
|
mcheck_misra_slsf_006_e - Block Parameters - Masked Subsystems
|
Passed
|
misra_slsf_017_a - Unconnected Blocks, Signal Lines and Busses - Blocks
|
Passed
|
mcheck_misra_slsf_017_a - Unconnected Blocks, Signal Lines and Busses - Blocks
|
Passed
|
misra_slsf_017_b - Unconnected Blocks, Signal Lines and Busses - Signals and Busses
|
Passed
|
mcheck_misra_slsf_017_b - Unconnected Blocks, Signal Lines and Busses - Signals and Busses
|
Passed with Infos
|
misra_slsf_018_d - Usage of "from" and "goto" Blocks - Matching "from" Block
|
Passed with Infos
|
mcheck_misra_slsf_018_d - Usage of "from" and "goto" Blocks - Matching "from" Block
|
Passed with Infos
|
misra_slsf_018_e - Usage of "from" and "goto" Blocks - Matching "goto" Block
|
Passed with Infos
|
mcheck_misra_slsf_018_e - Usage of "from" and "goto" Blocks - Matching "goto" Block
|
Passed
|
sdt_sc005 - Propagation of Signal Names
|
Passed
|
mcheck_sdt_sc005 - Propagation of Signal Names
|
Passed
|
db_0110 - Tunable Parameters in Basic Blocks
|
Passed
|
mcheck_db_0110 - Tunable Parameters in Basic Blocks
|
Passed with Infos
|
na_0032 - Use of Merge Blocks
|
Passed with Infos
|
mcheck_na_0032_a - Use of Merge Blocks - Identical Buses
|
Passed with Infos
|
mcheck_na_0032_b - Use of Merge Blocks - Signals Entering Merge Block
|
Failed
|
|
Failed
|
|
Passed with Infos
|
misra_slsf_013_b - Multiport Switch Block - Control Input
|
Passed with Infos
|
mcheck_misra_slsf_013_b - Multiport Switch Block - Control Input
|
Passed with Infos
|
misra_slsf_013_c - Multiport Switch Block - Value Range of Control Input
|
Passed with Infos
|
mcheck_misra_slsf_013_c - Multiport Switch Block - Value Range of Control Input
|
Passed
|
mes_sltl_001 - Magic Constants in Constant Blocks
|
Passed
|
mcheck_mes_sltl_001 - Magic Constants in Constant Blocks
|
Passed with Infos
|
mes_sltl_002 - Comparison of Floating-Point Signals
|
Passed with Infos
|
mcheck_mes_sltl_002_a - Comparison of Floating-Point Signals in Simulink and TargetLink
|
Passed with Infos
|
mcheck_mes_sltl_002_b - Comparison of Floating-Point Signals in Stateflow
|
Passed with Infos
|
misra_slsf_012_a - Switch Block
|
Passed with Infos
|
mcheck_misra_slsf_012_a - Switch Block
|
Passed with Infos
|
1.4.1.4 Naming Conventions
|
Unselected
|
misra_slsf_026_c - Simulink Block, Subsystem and Library Naming - Port Names
|
Passed with Infos
|
TL_RULE_SWDESIGN_IDENTIFIER_LENGTH - Identifier Length
|
Passed with Infos
|
mcheck_misra_tl_2_3 - Restricting identifiers to 31 characters
|
Passed
|
misra_tl_1_2 - Comments in Block Properties
|
Passed
|
mcheck_misra_tl_1_2_a - Comments in block properties
|
Passed
|
mcheck_misra_tl_1_2_b - Umlaute in Block Properties
|
Unselected
|
TL_RULE_GENERAL_NAMING - General Naming Conventions
|
Unselected
|
1.4.1.5 Initialization of Variables
|
Warnings
|
|
Warnings
|
|
Warnings
|
|
Passed with Infos
|
|
Passed with Infos
|
|
Passed with Infos
|
misra_slsf_046_a - History Junction
|
Passed with Infos
|
mcheck_misra_slsf_046_a - History Junction
|
Passed with Infos
|
TL_RULE_STATEFLOW_MATLAB - MATLAB Functionality
|
Passed with Infos
|
mcheck_ds_0064 - MATLAB Functionality
|
Unselected
|
TL_RULE_STATEFLOW_EXPLICIT_INPUT_SPEC - Avoidance of TargetLink Specifications for Stateflow Input Variables
|
Passed with Infos
|
1.4.2.2 Defensive Implementation Techniques
|
Passed with Infos
|
misra_slsf_038_b - Operators in State Machines - Permitted Operations
|
Passed with Infos
|
mcheck_misra_slsf_038_b - Operators in State Machines - Permitted Operations
|
Passed with Infos
|
misra_slsf_038_c - Operators in State Machines - C Library Functions
|
Passed with Infos
|
mcheck_misra_slsf_038_c - Operators in State Machines - C Library Functions
|
Unselected
|
misra_slsf_041_a - Usage of Boxes
|
Unselected
|
mes_sf_001 - No Loops in Multi Segmented Transitions
|
Unselected
|
mes_sf_003 - Interaction between Parallel States
|
Unselected
|
1.4.2.3 Established Design Principles
|
Passed with Infos
|
1.4.2.4 Naming Conventions
|
Passed with Infos
|
misra_slsf_052_b - State Labelling - State Name and Data Items
|
Passed with Infos
|
mcheck_misra_slsf_052_b - State Labelling - State Name and Data Items
|
Passed with Infos
|
1.4.2.5 Enforcement of Strong Typing
|
Passed with Infos
|
misra_slsf_036_a - Stateflow/Simulink Interface Signals, Parameters and Naming - Bus Inputs
|
Passed with Infos
|
mcheck_misra_slsf_036_a - Stateflow/Simulink Interface Signals, Parameters and Naming - Bus Inputs
|
Passed with Infos
|
misra_slsf_037_h - Internal Data - Type
|
Passed with Infos
|
mcheck_misra_slsf_037_h - Internal Data - Type
|
Unselected
|
misra_slsf_048_e - Stateflow Coding - Custom Code Variables
|
Unselected
|
|
Passed with Infos
|
1.4.2.7 No Hidden Data Flow or Control Flow
|
Passed with Infos
|
db_0125 - Scope of Internal Signals and Local Auxiliary Variables
|
Passed with Infos
|
mcheck_db_0125 - Scope of Internal Signals and Local Auxiliary Variables
|
Passed with Infos
|
misra_slsf_037_b - Internal Data - Local Data
|
Passed with Infos
|
mcheck_misra_slsf_037_b - Internal Data - Local Data
|
Passed with Infos
|
|
Passed with Infos
|
misra_slsf_047_ab - Stateflow Events
|
Passed with Infos
|
mcheck_misra_slsf_047_ab - Stateflow Events
|
Passed with Infos
|
db_0126 - Scope of Events
|
Passed with Infos
|
mcheck_db_0126 - Scope of Events
|
Unselected
|
TL_RULE_STATEFLOW_IMPLICIT_EVENTS - No Use of Implicit Events
|
Unselected
|
TL_RULE_STATEFLOW_ORDER_PARALLEL_STATES - Order Numbers for Parallel States
|
Passed with Infos
|
|
Passed with Infos
|
mes_is_0002 - User-specified State/transition Execution Order
|
Passed with Infos
|
mcheck_mes_is_0002 - User-specified State/Transition execution order
|
Passed with Infos
|
mes_slsf_3106 - Avoid Global Stateflow Functions
|
Passed with Infos
|
mcheck_mes_slsf_3106 - Avoid Global Stateflow Functions
|
Passed with Infos
|
misra_slsf_034_a - Chart Properties - C-like Bitwise Operators
|
Passed with Infos
|
mcheck_misra_slsf_034_a - Chart Properties - C-like Bitwise Operators
|
Passed with Infos
|
misra_slsf_034_d - Chart Properties - Chart Initialization
|
Passed with Infos
|
mcheck_misra_slsf_034_d - Chart Properties - Chart Initialization
|
Passed with Infos
|
TL_RULE_STATEFLOW_MEALYMOORE_CHART - No Support for Mealy or Moore State Machine Types
|
Passed with Infos
|
mcheck_mes_cgtl_4103 - No Support for Mealy or Moore State Machine Types
|
Passed with Infos
|
TL_RULE_STATEFLOW_OUTPUT_CHART_WAKEUP - No Output initialization When Chart Wakes Up
|
Passed with Infos
|
mcheck_mes_cgtl_4104 - No Output initialization When Chart Wakes Up
|
Passed with Infos
|
TL_RULE_STATEFLOW_SUPERSTEP_CHART - No Chart Execution with Super Step Semantics
|
Passed with Infos
|
mcheck_mes_cgtl_4105 - No Chart Execution with Super Step Semantics
|
Warnings
|
|
Warnings
|
1.5.1 Simulink/TargetLink
|
Unselected
|
|
Warnings
|
1.5.1.2 Defensive Implementation Techniques
|
Passed with Infos
|
TL_RULE_LOGICBIT_LIB_RELOP_NAN - Relational Operator with IsInf, IsNaN, IsFinite Checks
|
Passed with Infos
|
mcheck_mes_slsf_4109 - Relational Operator with IsInf, IsNaN, IsFinite Checks
|
Warnings
|
|
Warnings
|
|
Passed with Infos
|
1.5.1.3 Established Design Principles
|
Passed
|
misra_slsf_008_a - Rounding and Saturation in Simulink Blocks - Saturation Property
|
Passed
|
mcheck_misra_slsf_008_a - Rounding and Saturation in Simulink Blocks - Saturation Property
|
Passed with Infos
|
mes_cgtl_4102 - Data Type Conversion Block in TargetLink Models
|
Passed with Infos
|
mcheck_mes_cgtl_4102 - Data Type Conversion Block in TargetLink Models
|
Warnings
|
1.5.1.4 Enforcement of Strong Typing
|
Unselected
|
misra_tl_5_1 - Attributes of Look-Up table outputs
|
Unselected
|
misra_tl_6_7 - Avoiding rescaling of input signals to LookupTables
|
Unselected
|
sdt_sa001 - Strong Data Typing at the Input of Logical Operator Blocks
|
Unselected
|
sdt_sa002 - Output Type of Logical and Relational Operator Blocks
|
Warnings
|
|
Warnings
|
|
Warnings
|
|
Warnings
|
|
Unselected
|
sdt_sc003 - Strong Data Typing of Merge Blocks
|
Unselected
|
sdt_sc004 - Strong Data Typing of Arithmetic Blocks
|
Unselected
|
na_0002 - Appropriate Implementation of Fundamental Logical and Numerical Operations
|
Unselected
|
TL_RULE_USERFUNC_LIB_FCN_BLOCK - Restrictions with Regard to the Fcn Block
|
Unselected
|
|
Unselected
|
|