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).
- +
Requirement Model
- +
Blinking LED
- +UART
Unknown features- Complexity
Potential customers don't like the tool
Show most important features in an lightweight demo
SafetyRequirement_93 - Runnable activation by signal events- SafetyRequirement_94 - Global variables
- SafetyRequirement_95 - Runnable activation by cyclic events
- SafetyRequirement_96 - Inter-task communication
- SafetyRequirement_97 - local and global signals
- SafetyRequirement_98 - Multiple System-States
Requirement_95 - UART- SafetyRequirement_110 - Hardware Interfacing
- SafetyRequirement_111 - SignalLayer features
- SafetyRequirement_115 - Protection Sets
- +
- +
Logical Function Model
- +
Software Model
- +
Hardware Model
- +
Testing Model
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_1 |
|
This attribute allows to overwrite the derived SIL level. The result is the SIL effective attribute.
|
derived |
|
The reason why the derived SIL is ignored and an explicit SIL is set.
|
|
|
The SIL required for this implementation unit is defined by the derived SIL but can be overwritten by "SIL manual".
|
SIL_1 |
| Achieved | |
|
The achieved SIL for this implementation unit. Has to be provided by the user.
|
QM |
|
A justification why a certain SIL was achieved.
|
|
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.
| LED timebase | ||||||||||||||
|
The type of this object within the uRTE model
| CyclicEvent |
||||||||||||||
|
A descriptive text for this object. Please consider that this field might be used in code and thus must not contain special characters.
| 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.
| CyclicEvent_21 | ||||||||||||||
|
Each object within the uRTE model has a unique ID, this is the ID for this object
| _i1De8OTWEeyrV5NXTwe27Q | ||||||||||||||
| configuration | |||||||||||||||
|
The interval in which this event shall be fired.
| 100 | ||||||||||||||
|
The offset, relative to the cycle time, with which this event shall be fired.
| 2 | ||||||||||||||
| |||||||||||||||
| 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_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 |