uRTEDemo_03_Nucleo-F446RE_SystemStates_10_Model
RTE
+
Requirement Model
+
Blinking LED
(Requirement_32) LED Blink
(Requirement_93) LED Button
(Requirement_94) LED
+
UART
Unknown features
Complexity
Potential customers don't like the tool
Show most important features in an lightweight demo
(SafetyRequirement_93) Runnable activation by signal events
(SafetyRequirement_94) Global variables
(SafetyRequirement_95) Runnable activation by cyclic events
(SafetyRequirement_96) Inter-task communication
(SafetyRequirement_97) local and global signals
(SafetyRequirement_98) Multiple System-States
(Requirement_95) UART
(SafetyRequirement_110) Hardware Interfacing
(SafetyRequirement_111) SignalLayer features
(SafetyRequirement_115) Protection Sets
+
Logical Function Model
Controller
LED
PC
Button
Blinking LED
UART
+
Software Model
+
Software
+
Button
ButtonRead
+
run_readButton
press_cnt
+
LED
drv_LED
run_LED
+
UART
UART out
run_UART_send
run_UART_wakeUp
+
RTE
+
Activation Engine
Button Timebase
LED timebase
+
Signal Layer
HWI LED
HWI_Button
button state
button_edge
button_cnt
HWO_UART
+
Signal-Pools
Button
+
System States
Blink
UART
+
State-Handler
+
RTOS
Button
LED
UART
+
Linkage
+
Output-Sections
.button
.rtos.task.Button
.rtos.task.LED
.rtos.task.UART
.rtos.task.uRTE
.uRTE
+
Protection-Sets
BaseProtection
UART
+
DataTypes
button_cnt_t
uRTE_boolean_t
uRTE_uint16_t
+
Hardware Model
+
Nucelo-F446RE
+
STM32F446RE
Arm® Cortex®-M4
main
+
GPIO
PA5
PC13-TAMPER-RTC
USART
Button
LED
+
Testing Model
+
Item Tests
(Test_128) Smoke-Test
+
Functional Tests
+
Blinking LED
(Test_132) Regular blink
(Test_133) LED permanent ON
+
UART
(Test_134) UART functional/system test
RTE
This entity manages the data transfer and activation of software.
Properties
configuration
Base protectionSet
BaseProtection