μRTE Report - SWApplication

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

Software

Contains all execution units manages by the RTE and their interfaces.

Diagrams

User Diagrams

SignalFlow LED

SignalFlow UART

Properties

containment

Software Component (3)

All software components in the model

Component	Filename	Generated	Source-Folder	Sub-Folder	Units	global Variables	Ingoing Trigger Ports	Outgoing Trigger Ports	Ingoing Data Ports	Outgoing Data Ports	Hardware	SILs	Tests
Button Logic for the button	swc_button	true	-	false	run_readButton ButtonRead			SWC_Button_OUT_Edge	SWC_Button_HW_IN	SWC_Button_OUT_Count SWC_Button_OUT_State	Arm® Cortex®-M4 PC13-TAMPER-RTC	SIL_1
LED contains the logic to control the LED	swc_LED	true	-	false	run_LED drv_LED				SWC_LED_Button_IN	SWC_Blinky_OUT	Arm® Cortex®-M4 PA5	SIL_1	(Test_132) Regular blink (Test_133) LED permanent ON
UART Contains the logic for UART handling	SWC_UART	true	-	false	run_UART_send UART out run_UART_wakeUp		SWC_UART_TriggerIN		SWC_UART_DPort_IN_2 SWC_UART_DataINPort	SWC_UART_UART_OUT	Arm® Cortex®-M4 USART	SIL_1	(Test_134) UART functional/system test

Software units (7)

All software units in the model

Unit	Parent	Function calls	other Software Elements	Technical Functions	Requirements	Type	Tasks	WCET	Stack	ROM	Globals	ProtectionSets	SIL required	SIL achieved	sub Technical Functions (R)	sub Requirements (R)	Has a return value (R)	SystemStates (R)	Ingoing Trigger Ports (R)	Outgoing Trigger Ports (R)	Ingoing Data Ports (R)	Outgoing Data Ports (R)	Signals (D)	Runnables (D)	DataType (D)	Is Synchronous (D)	Hardware (D)	Ports (G)	Callers (F)	Return Type (F)	Parameters (F)
ButtonRead Reads the current button state from hardware	Button			Blinking LED UART	SafetyRequirement_110 - Hardware Interfacing SafetyRequirement_111 - SignalLayer features Requirement_95 - UART	InDriver	Button	0	0	0			SIL_1	QM	-	-	-	-	-	-	-	-	HWI_Button	run_readButton	uRTE_boolean_t	true	PC13-TAMPER-RTC	-	-	-	-
UART out writes Data to the UART module. No DataType is chosen, so that a typedef file will be generated.	UART			UART		OutDriver	UART	0	0	0			SIL_1	QM	-	-	-	-	-	-	-	-	HWO_UART	run_UART_send	None	true	USART	-	-	-	-
drv_LED Hardware write-Interface towards the LED	LED			Blinking LED	SafetyRequirement_110 - Hardware Interfacing SafetyRequirement_111 - SignalLayer features Requirement_95 - UART	OutDriver	LED	0	0	0			SIL_1	QM	-	-	-	-	-	-	-	-	HWI LED	run_LED	uRTE_boolean_t	true	PA5	-	-	-	-
run_LED Controls the LED signal and thus the LED	LED			Blinking LED	Requirement_32 - LED Blink Requirement_93 - LED Button	Runnable	LED	0	0	0			SIL_1	QM	Blinking LED	SafetyRequirement_110 - Hardware Interfacing SafetyRequirement_111 - SignalLayer features Requirement_95 - UART	false	Blink UART	Runnable_00_blink_Tick		Runnable_blink_Button_IN	Runnable_00_blink_OUT	-	-	-	-	-	-	-	-	-
run_UART_send Sends UART messages periodically via the UART signal	UART			UART	Requirement_95 - UART SafetyRequirement_111 - SignalLayer features Requirement_95 - UART SafetyRequirement_98 - Multiple System-States Requirement_95 - UART	Runnable	UART	0	0	0			SIL_1	QM	UART		true	UART	Runnable_run_UART_send_TPortIN_1		Runnable_run_UART_send_DPortIN_1 Runnable_run_UART_send_DPortIN_2	Runnable_run_UART_send_UART_OUT	-	-	-	-	-	-	-	-	-
run_UART_wakeUp Runnable to switch into the UART state if there is an event in the Blink State. This runnable does not use hardware signals but accesses hardware directly and is therefore associated with an protection set grandting access to hardware.	UART			UART	Requirement_95 - UART SafetyRequirement_115 - Protection Sets Requirement_95 - UART SafetyRequirement_98 - Multiple System-States Requirement_95 - UART	Runnable	UART	0	0	0		UART	SIL_1	QM			true	Blink	Runnable_run_UART_WakeUP				-	-	-	-	-	-	-	-	-
run_readButton Acquires the button state periodically and provides button signals	Button			Blinking LED UART	SafetyRequirement_94 - Global variables Requirement_95 - UART	Runnable	Button	0	0	0	press_cnt		SIL_1	QM	Blinking LED UART	SafetyRequirement_110 - Hardware Interfacing SafetyRequirement_111 - SignalLayer features Requirement_95 - UART	false	Blink UART	Runnable_run_readButton_Tick	Runnable_run_readButton_Edge_OUT	run_readButton_HW_IN	Runnable_run_readButton_Button_OUT Runnable_run_readButton_button_pressed_cnt	-	-	-	-	-	-	-	-	-

Global Variables (1)

All global variables in the model

Global Variable	Container	DataType	Requirements	public (S)	InitValue	Storage	Protection Set (S)	SIL required	SIL achieved
press_cnt internal counter for button press duration	run_readButton	uRTE_uint16_t	SafetyRequirement_94 - Global variables Requirement_95 - UART	-	0	.button	-	SIL_1	QM