+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

OutDriver

drv_LED

Hardware write-Interface towards the LED

Diagrams

Requirements Model

Logical Function Model

Software Model

Hardware Model

Safety

Required
SIL derived	QM
overwrite (SIL_manual)	derived
reason (SIL_manual_reason)
SIL	QM
Achieved
SIL achieved	QM
justification

Properties

Base

Name

drv_LED

Type

OutDriver

Description

Hardware write-Interface towards the LED

User-ID

OutDriver_19

UID

_YB_lAOTWEeyrV5NXTwe27Q

software unit configuration

Parent

LED

WCET

Stack

ROM

driver configuration

DataType

uRTE_boolean_t

Is Synchronous

true

Hardware Components (1)

Hardware the driver communicates with.

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

Requirement Layer

(Safety)Requirements (1)

(Safety)Requirements referencing to OutDriver drv_LED.

(Safety)Requirement	Parent	User-ID	Author	Creation Date	Start Date	Deadline	Expense	Responsibe	Category	Type	Status	Function Type	SIL derived	SIL manual	SIL effective	Tests	Technical Functions	Software	Hardware	Signals	Global variables	Activation events	Use-Cases	User-Stories	Refining	Conflicting	refined by	conflicted by
(SafetyRequirement_110) Hardware Interfacing How to read and write data form and to hardware.	UART	SafetyRequirement_110	Thomas Barth	Thu Jun 09 20:50:22 CEST 2022			0.0	Thomas Barth	product	functional	approved	System_Function	QM	derived	QM			ButtonRead drv_LED							(SafetyRequirement_111) SignalLayer features (Requirement_95) UART

Functional Layer

Technical Functions (1)

Technical functions referencing to OutDriver drv_LED.

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

Software Layer

Data-Signals (1)

Signals using OutDriver drv_LED.

Signal	Storage	Runnables OUT	Runnables IN	Tasks	SystemStates	Requirements	miminum Age	maximum Age	Checksum	Force Sync	Inline	ISR API	effective inline	SIL req	SIL ach	Initial value (D)	Pointer access (D)	Datatype (D)	Alt-In (D)	Alt-Out (D)	In-Driver (D)	Out-Driver (D)	OnData (D)	OnError (D)
HWI LED Hardware interface for the LED	local in .rtos.task.LED	run_LED		LED	Blink UART		0	0	false	false	false	false	false	-	QM	0	false	uRTE_boolean_t			-	drv_LED

Runnables (1)

Runnables which use In- OR Out-signals with which OutDriver drv_LED is associated

Unit	Parent	Function calls	Technical Functions	Requirements	Type	Tasks	WCET	Stack	ROM	Globals	ProtectionSets	SIL req	SIL ach	sub Technical Functions	sub Requirements)	Has a return value	SystemStates	Ingoing Trigger Ports	Outgoing Trigger Ports	Ingoing Data Ports	Outgoing Data Ports
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

Hardware Layer

Hardware Components (2)

Hardware OutDriver drv_LED is associated with. Including executing CPUs, hardware referenced by its protectionSets and its direct hardware references.

Component	Type	Start	End	SIL req	SIL ach	Sub-Components	Technical Functions	sub Technical Functions	Requirements	sub Requirements
Arm® Cortex®-M4 Arm® 32-bit Cortex®-M4 CPU with FPU, Adaptive real-time accelerator (ART Accelerator) allowing 0-wait state execution from Flash memory, frequency up to 180 MHz, MPU, 225 DMIPS/1.25 DMIPS/MHz (Dhrystone 2.1), and DSP instructions	Core	-	-	-	QM
PA5 LD2 [Green Led] on the Nucelo Board	Periphery	GPIOA_BASE	GPIOB_BASE - 1	-	QM		Blinking LED