uRTEDemo_03_Nucleo-F446RE_SystemStates_10_Model

+Requirement Model
- +Blinking LED
- +UART
+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
- +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
  - +Protection-Sets
    - BaseProtection
    - UART
- +DataTypes
+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

SignalPool

Button

Global signals related to the button

Safety

Required
The maximum SIL derived from all Signals in this pool. SIL	QM

Properties

Base
The name of this object. Certain classes of objects require this field to be unique. Please consider that this field might be used in code and thus must not contain special characters. Name	Button
The type of this object within the uRTE model Type	SignalPool
A descriptive text for this object. Please consider that this field might be used in code and thus must not contain special characters. Description	Global signals related to the button
A user defined ID which can be freely chosen. Please consider that this field might be used in code and thus must not contain special characters. User-ID	SignalPool_61
Each object within the uRTE model has a unique ID, this is the ID for this object UID	_HR9VMOZpEeyZ2OzYlvU4PA
configuration
Section in which signals in this pool will be linked to. Storage	.button
Defines if signals in this pool shall be inlined. If set to USER, each signal can be individually configured if it shall be inlined. Might be overwritten by the inline attribute of the SignalLayer. Inline	USER

Software Layer

Signals (1)

Signals associated with this pool.

Signal	Type	Storage	Runnables OUT	Runnables IN	Tasks	SystemStates	Requirements	miminum Age	maximum Age	Checksum	Force Sync	Inline	ISR API	effective inline	SIL required	SIL achieved	Initial value (D)	Pointer access (D)	Datatype (D)	Alt-In (D)	Alt-Out (D)	In-Driver (D)	Out-Driver (D)	OnData (D)	OnError (D)	OnTrigger (E)
button_cnt contains the number of seconds, the button has been pressed	Data	global in Button	run_readButton	run_UART_send	Button UART	Blink UART	SafetyRequirement_111 - SignalLayer features Requirement_95 - UART SafetyRequirement_96 - Inter-task communication SafetyRequirement_97 - local and global signals Requirement_95 - UART SafetyRequirement_111 - SignalLayer features Requirement_95 - UART SafetyRequirement_97 - local and global signals Requirement_95 - UART	0	202	true	false	false	false	false	QM	QM	0	false	button_cnt_t	uRTE_uint16_t		-				-

Tasks (2)

Tasks accessing this pool.

Task	Core	SIL	Priority	Software	States	Signals	Init	Hardware	OutputSections	Own TimeBase	Stack
Button Task responsible for reading the button state	Arm® Cortex®-M4	SIL_1	6	run_readButton ButtonRead	Blink UART	HWI_Button button state button_cnt button_edge	-	Arm® Cortex®-M4 main PC13-TAMPER-RTC	.button .rtos.task.Button .uRTE	false	.rtos.task.Button
UART Task responsible for sending out UART protocolls	Arm® Cortex®-M4	SIL_1	5	run_UART_send UART out run_UART_wakeUp	Blink UART	HWO_UART button state button_cnt button_edge	-	Arm® Cortex®-M4 USART main	.button .rtos.task.UART .uRTE	false	.rtos.task.UART