+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

Logical Function Block

LED

An LED to indicate a binary state

Diagrams

Requirements Model

Logical Function Model

Software Model

Hardware Model

Safety

Required
SIL	SIL_1

Properties

Base

Name

LED

Type

LogicalFunctionBlock

Description

An LED to indicate a binary state

User-ID

LogicalFunctionBlock_27

UID

_eFgSYOZREeyZ2OzYlvU4PA

Stereotype

Type

Output

References

Technical Functions (1)

System functionalities (technical functions) this logical function block is associated with.

Function	LFB	Software	Hardware	Technical Functions	sub Technical Functions	Requirements	sub Requirements
Blinking LED An LED shall blink to indicate that the system is alive and responding.	Button Controller LED	run_LED drv_LED run_readButton ButtonRead	PA5		Blinking LED UART	(Requirement_32) LED Blink (Requirement_93) LED Button (SafetyRequirement_95) Runnable activation by cyclic events (Requirement_95) UART	(Requirement_32) LED Blink (Requirement_93) LED Button (SafetyRequirement_110) Hardware Interfacing (SafetyRequirement_111) SignalLayer features (Requirement_95) UART (SafetyRequirement_94) Global variables (Requirement_95) UART

Ports

Port	Flow
LED_IN (LogicalFunctionPort_30) LED control	LED state (LogicalFunctionFlow_28)

Functional Layer

Logical Function Blocks (2)

Logical Function Blocks which which are associated with the Technical Functions.

Function	Type	Technical functions
Button An binary HMI	Input	Blinking LED UART
Controller The MCU implementing the logic	Service	Blinking LED UART

Requirement Layer

Hazard Scenarios (1)

Hazard Scenarios for associated Hazardous Events.

Hazard Scenario	Parent	Hazard Events
Potential customers don't like the tool This would be very sad.	UART	Complexity Unknown features

Hazardous Events (2)

Hazardous Events for associated Safety Goals.

Hazardous Event	Parent	Probability	Controllability	Effect	SIL	Safety-Goals
Complexity The user might think µRTE is hard to use.	UART				QM	Show most important features in an lightweight demo
Unknown features The customer might not see the full spectrum of features µRTE comes with.	UART				QM	Show most important features in an lightweight demo

Safetygoals (1)

Safety Goals linking to the Requirements.

Safety Goal	Parent	Function Type	SIL derived	SIL manual	SIL effective	Safe State	Safety Requirements
Show most important features in an lightweight demo An small demo model with the most important features shall show the most important features of µRTE.	UART	System_Function	QM	derived	QM	Show slides	(SafetyRequirement_94) Global variables (Requirement_95) UART (SafetyRequirement_110) Hardware Interfacing (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_98) Multiple System-States (Requirement_95) UART (SafetyRequirement_115) Protection Sets (Requirement_95) UART (SafetyRequirement_95) Runnable activation by cyclic events (Requirement_95) UART (SafetyRequirement_93) Runnable activation by signal events (Requirement_95) UART

(Safety)Requirements (3)

(Safety)Requirements linking to the Technical Functions.

(Safety)Requirement	Parent	User-ID	Author	Creation Date	Responsibe	Category	Type	Status	Function Type	SIL derived	SIL manual	SIL effective	Tests	Technical Functions	Software	Signals	Activation events	Refining	refined by
(Requirement_32) LED Blink In order to indicate that uRTE is up and running, an LED shall blink (toggle its binary state) with an frequency of 1/100ms.	Blinking LED	Requirement_32	Thomas Barth	Tue Jun 07 13:05:57 CEST 2022	Thomas Barth	product	functional	implemented	-	-	-	-	(Test_132) Regular blink	Blinking LED	run_LED		LED timebase		(Requirement_94) LED (Requirement_32) LED Blink (Requirement_93) LED Button
(Requirement_93) LED Button While the button is pressed, the LED shall be on permanently.	Blinking LED	Requirement_93		Wed Jun 08 17:18:27 CEST 2022		product	functional	implemented	-	-	-	-	(Test_133) LED permanent ON	Blinking LED	run_LED				(Requirement_94) LED (Requirement_32) LED Blink (Requirement_93) LED Button
(SafetyRequirement_95) Runnable activation by cyclic events Runnables can be activated by cyclic events.	UART	SafetyRequirement_95	Thomas Barth	Wed Jun 08 17:34:15 CEST 2022	Thomas Barth	product	functional	implemented	System_Function	QM	SIL_1	SIL_1		Blinking LED UART		button state	Button Timebase	(Requirement_95) UART

Software Layer

Software units (4)

Sofware units the associated technical functions are associated with. See associated tasks for more software dependencies.

Unit	Parent	Technical Functions	Requirements	Type	Tasks	Globals	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		QM	QM	-	-	-	-	-	-	-	-	HWI_Button	run_readButton	uRTE_boolean_t	true	PC13-TAMPER-RTC	-	-	-	-
drv_LED Hardware write-Interface towards the LED	LED	Blinking LED	(SafetyRequirement_110) Hardware Interfacing (SafetyRequirement_111) SignalLayer features (Requirement_95) UART	OutDriver	LED		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		-	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_readButton Acquires the button state periodically and provides button signals	Button	Blinking LED UART	(SafetyRequirement_94) Global variables (Requirement_95) UART	Runnable	Button	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	-	-	-	-	-	-	-	-	-

Hardware Layer

Hardware Components (1)

Hardware Components the associated technical functions are associated with. See associated tasks for more hardware dependencies.

Component	Type	Start	End	SIL req	SIL ach	Sub-Components	Technical Functions	sub Technical Functions	Requirements	sub Requirements
PA5 LD2 [Green Led] on the Nucelo Board	Periphery	GPIOA_BASE	GPIOB_BASE - 1	-	QM		Blinking LED