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
Safety
| Required | |
|---|---|
| SIL derived | - |
| overwrite (SIL_manual) | derived |
| reason (SIL_manual_reason) | |
| SIL | - |
| Achieved | |
| SIL achieved | QM |
| justification | |
Properties
| Base | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | LED timebase | ||||||||||||||
| Type | CyclicEvent |
||||||||||||||
| 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). |
||||||||||||||
| User-ID | CyclicEvent_21 | ||||||||||||||
| UID | _i1De8OTWEeyrV5NXTwe27Q | ||||||||||||||
| configuration | |||||||||||||||
| Cycle Time | 100 | ||||||||||||||
| Offset | 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 | 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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
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 | Technical Functions | Requirements | Type | Tasks | WCET | Stack | ROM | Globals | ProtectionSets | SIL req | SIL ach | 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 | - | 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 | 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 |