μ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

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	QM
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	QM	(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	QM	(Test_134) UART functional/system test

Software units (7)

All software units in the model

Unit	Parent	Function calls	Technical Functions	Requirements	Type	Tasks	WCET	Stack	ROM	Globals	ProtectionSets	SIL req	SIL ach	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			QM	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			-	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			QM	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			-	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			QM	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	QM	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		QM	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 req	SIL ach
press_cnt internal counter for button press duration	run_readButton	uRTE_uint16_t	(SafetyRequirement_94) Global variables (Requirement_95) UART	-	0	.button	-	QM	QM