+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

Requirement Package

Blinking LED

All requirements related to the blinking LED

Warnings

Testing Warnings (1)

Testing Warnings for ReqPackage Blinking LED
Testing warnings are related to the tests in the testing layer and their depedencies.

(Requirement_94) LED is not referencing a test but all refinements reference a test.

Diagrams

Requirements Model

Logical Function Model

Software units

Signals

Global variables

Activation Events

Hardware Model

Testing Model

Safety

Required
SIL	-

Properties

Base

Name

Blinking LED

Type

ReqPackage

Description

All requirements related to the blinking LED

User-ID

ReqPackage_31

UID

_wqROEOZREeyZ2OzYlvU4PA

Package

top level package

Content

(Safety)Requirements (3)

(Safety)Requirements contained in this package.

(Safety)Requirement	Parent	User-ID	Author	Creation Date	Responsibe	Category	Type	Status	Function Type	SIL derived	SIL manual	SIL effective	Tests	Technical Functions	Software	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
(Requirement_94) LED The LED on the Nucelo Board shall act as an simple demo.	Blinking LED	Requirement_94	Thomas Barth	Wed Jun 08 17:23:11 CEST 2022	Thomas Barth	product	non_functional	implemented	-	-	-	-					(Requirement_32) LED Blink (Requirement_93) LED Button

Functional Layer

Technical Functions (1)

Technical Functions associated with (Safety)Requirements of this package.

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

Logical Function Blocks (3)

Logical Function Blocks associated with (Safety)Requirements of this package.

Function	Type	Technical functions
Button An binary HMI	Input	Blinking LED UART
Controller The MCU implementing the logic	Service	Blinking LED UART
LED An LED to indicate a binary state	Output	Blinking LED

Software Layer

Software units (1)

Sofware Functions associated with (Safety)Requirements of this package.

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)
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	-	-	-	-	-	-	-	-	-

Activation-Events (1)

Activation Events associated with (Safety)Requirements of this package.

Event	Type	Cycle Time (C)	Offset (C)	Task-Init (S)	Requirements	Ports	Runnables	Tasks	SystemStates	SIL req	SIL ach
LED timebase The timebase for the LED logic. Has an bit of offset to make sure it comes after the button has been read (button value is polled).	CyclicEvent	100	2	-	(Requirement_32) LED Blink	Runnable_00_blink_Tick in run_LED	run_LED	LED	Blink UART	-	QM

Testing Layer

Tests (2)

Tests associated associated with (Safety)Requirements of this package.

Test	User-ID	Group	Priority	Status	Procedure and Input-Data	Expected Results	SIL	Requirements	Technical-Functions	Software-Units	Signals	Global variables	Activation-Events	Hardware-Components
(Test_132) Regular blink The LED has to blink with a frequency of 1/100ms.	Test_132	Functional Tests Blinking LED	0	implemented	Regular power-on without user-input	A blinking LED		(Requirement_32) LED Blink	Blinking LED	run_LED			LED timebase
(Test_133) LED permanent ON Check if the LED is permanent on if there is user-input from the button	Test_133	Functional Tests Blinking LED	0	implemented	After a regular power-on, the button is pressed	The LED shall be permanently on while the button is pressed		(Requirement_93) LED Button	Blinking LED	run_LED