uRTEDemo_03_Nucleo-F446RE_SystemStates_10_Model

CyclicEvent

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

Warnings

Safety (1)

Safety Warnings for CyclicEvent LED timebase.
Safety warnings are related to the Requirements Layer, especially the SIL

LED timebase has a SIL required of SIL_1 but a SIL achieved of QM

Safety

Required
The highest SIL derived from SafetyRequirements and activated Runnables.
SIL derived
SIL_1
This attribute allows to overwrite the derived SIL level. The result is the SIL effective attribute.
SIL manual
derived
The reason why the derived SIL is ignored and an explicit SIL is set.
reason
The SIL required for this implementation unit is defined by the derived SIL but can be overwritten by "SIL manual".
SIL required
SIL_1
Achieved
The achieved SIL for this implementation unit. Has to be provided by the user.
SIL achieved
QM
A justification why a certain SIL was achieved.
justification

Properties

Base
The name of this object. Certain classes of objects require this field to be unique. Please consider that this field might be used in code and thus must not contain special characters.
Name
LED timebase
The type of this object within the uRTE model
Type
CyclicEvent
A descriptive text for this object. Please consider that this field might be used in code and thus must not contain special characters.
Description

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

A user defined ID which can be freely chosen. Please consider that this field might be used in code and thus must not contain special characters.
User-ID
CyclicEvent_21
Each object within the uRTE model has a unique ID, this is the ID for this object
UID
_i1De8OTWEeyrV5NXTwe27Q
configuration
The interval in which this event shall be fired.
Cycle Time
100
The offset, relative to the cycle time, with which this event shall be fired.
Offset
2

Associated Ports (1)

Port Events Signal event source Container Task Guard Order
Runnable_00_blink_Tick
run_LED LED
0

Requirement Layer

(Safety)Requirements (1)

Requirements referencing to this CyclicEvent.

(Safety)Requirement Parent User-ID Author Creation Date Start Date Deadline Expense Responsibe Category Type Status Justification Function Type SIL derived SIL manual SIL required Tests Technical Functions Software Other SW Hardware Signals Global variables Activation events Use-Cases User-Stories Refining Conflicting refined by conflicted by

In order to indicate that uRTE is up and running, an LED shall blink (toggle its binary state) with an frequency of 1/100ms.

Requirement_32 Thomas Barth Tue Jun 07 13:05:57 CEST 2022 0.0 Thomas Barth product functional implemented - - - -

Software Layer

Runnables (1)

Runnables triggered by this event.

Unit Parent Function calls other Software Elements Technical Functions Requirements Type Tasks WCET Stack ROM Globals ProtectionSets SIL required SIL achieved sub Technical Functions sub Requirements) Has a return value SystemStates Ingoing Trigger Ports Outgoing Trigger Ports Ingoing Data Ports Outgoing Data Ports

Controls the LED signal and thus the LED

LED
Runnable 0 0 0
SIL_1 QM false
  • Runnable_00_blink_Tick
  • Runnable_blink_Button_IN
  • Runnable_00_blink_OUT

Tasks (1)

Tasks which can be activated with this event (depending on the system-state).

Task Core SIL Priority Software States Signals Init Hardware OutputSections Own TimeBase Stack

Task responsible to let the LED blink

Arm® Cortex®-M4 SIL_1 4 - false .rtos.task.LED

System-States (2)

States in which the event is active.

State isStart Runnables Tasks

In this state, an LED will blink.

true

A state that is entered if the user has pressed the button. Here, periodic UART messages are sent.

false

Testing Layer

Tests (1)

Tests derived from referencing requirements.

Test User-ID Group Priority Status Procedure and Input-Data Expected Results gen Name gen Props SIL Requirements Technical-Functions Software-Units Signals Global variables Activation-Events Hardware-Components

The LED has to blink with a frequency of 1/100ms.

Test_132 0 implemented Regular power-on without user-input A blinking LED