Safety-Requirement - SafetyRequirement_111

SignalLayer features

Demonstrate the use of scalers and validators.
Make use of age restrictions, checksums and pointer access.

Warnings

Testing Warnings (1)

Testing Warnings for SafetyRequirement SignalLayer features
Testing warnings are related to the tests in the testing layer and their depedencies.

(SafetyRequirement_111) SignalLayer features is not referencing a test but all refinements reference a test.

Requirements Warnings (1)

Requirements Warnings for SafetyRequirement SignalLayer features
Requirements warnings are related to the requirements layer.

(SafetyRequirement_111) SignalLayer features is not rejected or implemented.

Diagrams

Requirements Model

Logical Function Model

Software units

Signals

Global variables

Activation Events

Hardware Model

Testing Model

Safety

Required
SIL derived	QM
SIL manual	derived
SIL	QM

Properties

Base

Name

SignalLayer features

Type

SafetyRequirement

Description

Demonstrate the use of scalers and validators. Make use of age restrictions, checksums and pointer access.

User-ID

SafetyRequirement_111

UID

_V1R28OglEeyW7KW0StAaTw

Package

UART

Meta-Data

Author

Creation Date

Thu Jun 09 20:52:41 CEST 2022

Start Date

Deadline

Expense

0.0

Responsibe

Software units (1)

Software-Components this requirement is mapped to.

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

Signals (2)

Signals this requirement is mapped to

Signal	Type	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)	OnTrigger (E)
HWO_UART Hardware Out interface for UART. No Signal-Datatype will be defined so that a typedef will be generated into the signal configuration. Pointer access is granted so signal memory can be used directly by the application.	Data	local in .rtos.task.UART	run_UART_send		UART	UART	(SafetyRequirement_111) SignalLayer features (Requirement_95) UART	0	0	false	false	false	false	false	QM	QM		true	undefined			-	UART out			-
button_cnt contains the number of seconds, the button has been pressed	Data	global in Button	run_readButton	run_UART_send	Button UART	Blink UART	(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_97) local and global signals (Requirement_95) UART	0	202	true	false	false	false	false	QM	QM	0	false	button_cnt_t	uRTE_uint16_t		-				-

(Safety)Requirement dependencies

Refining (Safety)Requirements (1)

(Safety)Requirements this Safety Requirement is refined by.

(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
(Requirement_95) UART When the button is pressed, the system-state shall change from Blink into UART mode. The start of UART mode shall be signaled via UART. As long as the button is pressed, UART strings with the time in seconds the Button was pressed shall be send with the frequency with which the button pressed signal is updated.	UART	Requirement_95	Thomas Barth	Wed Jun 08 17:56:19 CEST 2022			0.0	Thomas Barth	product	functional	implemented	-	-	-	-	(Test_134) UART functional/system test	UART	run_UART_send run_UART_wakeUp									(SafetyRequirement_111) SignalLayer features (Requirement_95) UART (SafetyRequirement_115) Protection Sets (Requirement_95) UART (SafetyRequirement_93) Runnable activation by signal events (Requirement_95) UART (SafetyRequirement_94) Global variables (Requirement_95) UART (SafetyRequirement_95) Runnable activation by cyclic events (Requirement_95) UART (SafetyRequirement_97) local and global signals (Requirement_95) UART (SafetyRequirement_98) Multiple System-States (Requirement_95) UART

(Safety)Requirements refined by (2)

(Safety)Requirements refined by this Safety Requirement.

(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
(SafetyRequirement_96) Inter-task communication µRTE easily can transmit events and data between tasks	UART	SafetyRequirement_96	Thomas Barth	Wed Jun 08 17:46:14 CEST 2022			0.0	Thomas Barth	product	functional	implemented	System_Function	QM	derived	QM					button state button_cnt button_edge					(SafetyRequirement_111) SignalLayer features (Requirement_95) UART (SafetyRequirement_97) local and global signals (Requirement_95) UART