uRTEDemo_03_Nucleo-F446RE_SystemStates_10_Model

Report Overview

The report follows the same structure as the editor. Select elements in ten menu on the left to navigate.

Properties

μRTE
Version 2023.02.23
Model
Model name uRTEDemo_03_Nucleo-F446RE_SystemStates_10_Model
Model description
SIL SIL_1
Generated 23.02.2023 15:29:48
Model hash Xx/9qY0yX2WJzSsqdwBXiXILEUv+u+QP5WSaL29WLmwsVIoel8M4JMCJe0zl6x7bk5mJLqM/U5MBDrDGbnaBvw==
SIL configuration
QM QM
SIL_1 SIL_1
SIL_2 SIL_2
SIL_3 SIL_3
SIL_4 SIL_4
SIL_5 SIL_5
RTE configuration
RTE base A:\GIT_FBI\uRTE\development\20_TestAndDemo\STM\Nucelo-F446RE\uRTEDemo_03_Nucleo-F446RE_SystemStates\20_Code\
Folder activation src_rte\activation\
Folder blackboard src_rte\signals\bb\
Folder config src_rte\config\
Folder driver types src_rte\driver_types\
Folder linker \
RTE base src_rte\signals\
Folder signals src_rte\signals\cfg\
Folder SWCs src_asw\swc\
Folder types src_rte\signals\types\
Code language CPP
Local signal buffer snippets
Read invalid signal behavior update_invalid
Signal validity for initialized signal false
Generate Signal ISR API none
Report configuration
Report base A:\GIT_FBI\uRTE\development\20_TestAndDemo\STM\Nucelo-F446RE\uRTEDemo_03_Nucleo-F446RE_SystemStates\30_Report\
Embed HTML resources false
Regenerate Diagrams false

All warnings

Safety Warnings (23)

All Safety Warnings of this model.
Safety warnings are related to the Requirements Layer, especially the SIL.

Button Timebase has a SIL effective of SIL_1 but a SIL achieved of QM
button state has a SIL effective of SIL_1 but a SIL achieved of QM
Multiple Technical functions for Task Button: Blinking LED, UART
Multiple Technical functions for ButtonRead: Blinking LED, UART
Multiple Technical functions for run_readButton: Blinking LED, UART
Mixed SILs in Button : QM, SIL_1.
Mixed SILs in LED : QM, SIL_1.
Mixed SILs in UART : QM, SIL_1.
Mixed SILs in .button : QM, SIL_1.
.button needs a SIL of SIL_1 but is using main for storage which has a achieved SIL of QM.
.rtos.task.Button needs a SIL of SIL_1 but is using main for storage which has a achieved SIL of QM.
.rtos.task.LED needs a SIL of SIL_1 but is using main for storage which has a achieved SIL of QM.
.rtos.task.UART needs a SIL of SIL_1 but is using main for storage which has a achieved SIL of QM.
.rtos.task.uRTE needs a SIL of SIL_1 but is using main for storage which has a achieved SIL of QM.
.uRTE needs a SIL of SIL_1 but is using main for storage which has a achieved SIL of QM.
Memory referenced by main for the stack of Button is using main with a SIL achieved of QM, which does not satisfy the SIL required of SIL_1 for this task.
Memory referenced by main for the stack of LED is using main with a SIL achieved of QM, which does not satisfy the SIL required of SIL_1 for this task.
Memory referenced by main for the stack of UART is using main with a SIL achieved of QM, which does not satisfy the SIL required of SIL_1 for this task.
Memory referenced by main for the stack of ActivationEngine is using main with a SIL achieved of QM, which does not satisfy the SIL required of SIL_1 for the central activation engine.
Button needs a SIL of SIL_1 but is executing on Arm® Cortex®-M4 which has a achieved SIL of QM.
LED needs a SIL of SIL_1 but is executing on Arm® Cortex®-M4 which has a achieved SIL of QM.
UART needs a SIL of SIL_1 but is executing on Arm® Cortex®-M4 which has a achieved SIL of QM.
Arm® Cortex®-M4 (QM) was selected for execution for ActivationEngine which does not satisfy the SIL required of SIL_1.

Design Warnings (1)

All Design Warnings of this model.
Design warnings are related the configuration of elements within the model.

BaseProtection has no content and therefore no effect on the system behaviour.

RTE Warnings (2)

All RTE Warnings of this model.
RTE warnings are related to the configured behaviour of the RTE.

HWO_UART allows pointer access to its payload.
.button is accessible from multiple tasks: Button, UART.

Testing Warnings (13)

All Testing Warnings of this model.
Testing warnings are related to the tests in the testing layer and their depedencies.

(Test_128) Smoke-Test is not referenced by an requirement.
(SafetyRequirement_110) Hardware Interfacing is not referencing a test and not all refinements reference a test.
(SafetyRequirement_96) Inter-task communication is not referencing a test and not all refinements reference a test.
(Requirement_94) LED is not referencing a test but all refinements reference a test.
(SafetyRequirement_111) SignalLayer features is not referencing a test but all refinements reference a test.
(SafetyRequirement_115) Protection Sets is not referencing a test but all refinements reference a test.
(SafetyRequirement_93) Runnable activation by signal events is not referencing a test but all refinements reference a test.
(SafetyRequirement_94) Global variables is not referencing a test but all refinements reference a test.
(SafetyRequirement_95) Runnable activation by cyclic events is not referencing a test but all refinements reference a test.
(SafetyRequirement_97) local and global signals is not referencing a test but all refinements reference a test.
(SafetyRequirement_98) Multiple System-States is not referencing a test but all refinements reference a test.
(Test_128) Smoke-Test is not rejected or implemented.
(Test_134) UART functional/system test is not rejected or implemented.

Requirements Warnings (2)

All Requirements Warnings of this model.
Requirements warnings are related to the Requirements layer.

(SafetyRequirement_110) Hardware Interfacing is not rejected or implemented.
(SafetyRequirement_111) SignalLayer features is not rejected or implemented.