μRTE Report - SafetyRequirement_96 - Safety Requirement Inter-task communication

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

Inter-task communication

Type

SafetyRequirement

Description

µRTE easily can transmit events and data between tasks

User-ID

SafetyRequirement_96

UID

_IFv9AOdCEeyMHMAOoLxcsQ

Package

UART

Meta-Data

Author

Thomas Barth

Creation Date

Wed Jun 08 17:46:14 CEST 2022

Start Date

Deadline

Expense

0.0

Responsibe

Thomas Barth

Signals (3)

Signals this requirement is mapped to

Signal	Type	Storage	Runnables OUT	Runnables IN	Tasks	SystemStates	Requirements	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)
button state A representation of the current button state	Data	local in .rtos.task.Button .rtos.task.LED .rtos.task.UART	run_readButton	run_LED run_UART_send	Button LED UART	Blink UART	(SafetyRequirement_93) Runnable activation by signal events (Requirement_95) UART (SafetyRequirement_95) Runnable activation by cyclic events (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	105	false	false	false	false	false	SIL_1	QM	false	false	uRTE_boolean_t			-		Runnable_run_UART_send_TPortIN_1 in run_UART_send		-
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	202	true	false	false	false	false	QM	QM	0	false	button_cnt_t	uRTE_uint16_t		-				-
button_edge Fired whenever the button is pressed (but not if it is released)	Event	local in .rtos.task.Button .rtos.task.UART	run_readButton	run_UART_wakeUp	Button UART	Blink UART	(SafetyRequirement_96) Inter-task communication (SafetyRequirement_97) local and global signals (Requirement_95) UART (SafetyRequirement_111) SignalLayer features (Requirement_95) UART	0	false	false	false	false	false	QM	QM	-	-	-	-	-	-	-	-	-	Runnable_run_UART_WakeUP in run_UART_wakeUp

(Safety)Requirement dependencies

Refining (Safety)Requirements (2)

(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
(SafetyRequirement_111) SignalLayer features Demonstrate the use of scalers and validators. Make use of age restrictions, checksums and pointer access.	UART	SafetyRequirement_111		Thu Jun 09 20:52:41 CEST 2022			0.0		product	functional	approved	System_Function	QM	derived	QM			run_UART_send		HWO_UART button_cnt					(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_97) local and global signals Signals can either be global data objects of local objects on the task stack. Global signals are the same for everyone while with local signals each task has an own copy which gets synchroized if the signal changes,	UART	SafetyRequirement_97		Wed Jun 08 17:49:01 CEST 2022			0.0		product	non_functional	implemented	System_Function	QM	derived	QM					button state button_cnt					(Requirement_95) UART		(SafetyRequirement_96) Inter-task communication (SafetyRequirement_97) local and global signals (Requirement_95) UART (SafetyRequirement_111) SignalLayer features (Requirement_95) 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 this Requirement.

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