Safety-Requirement - SafetyRequirement_95
Runnable activation by cyclic events
Runnables can be activated by cyclic events.
- +
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
Testing Warnings (1)
Testing Warnings for SafetyRequirement Runnable activation by cyclic events
Testing warnings are related to the tests in the testing layer and their depedencies.
| (SafetyRequirement_95) Runnable activation by cyclic events is not referencing a test but all refinements reference a test. |
Diagrams
Requirements Model
Logical Function Model
Software units
Signals
Global variables
Activation Events
Hardware Model
Testing Model
Safety
| Required | |
|---|---|
| SIL derived | QM |
| SIL manual | SIL_1 |
| SIL | SIL_1 |
Properties
| Base | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | Runnable activation by cyclic events | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Type | SafetyRequirement |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Description | Runnables can be activated by cyclic events. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| User-ID | SafetyRequirement_95 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| UID | _zYrRAOdBEeyMHMAOoLxcsQ | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Package | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Meta-Data | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Author | Thomas Barth | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Creation Date | Wed Jun 08 17:34:15 CEST 2022 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Start Date | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Deadline | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Expense | 0.0 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Responsibe | Thomas Barth | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Category | product | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Type | functional | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Status | implemented | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Stereotype | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Function Type | System_Function | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Tests | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Associated Implementation | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Function | LFB | Software | Hardware | Technical Functions | sub Technical Functions | Requirements | sub Requirements |
|---|---|---|---|---|---|---|---|
An LED shall blink to indicate that the system is alive and responding. |
|||||||
If the button is pressed, UART messages indicating the press duration are sent. |
Signals (1)
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) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
A representation of the current button state |
Data | local in |
0 | 105 | false | false | false | false | false | SIL_1 | QM | false | false |  uRTE_boolean_t |
- |
|
- |
Runnable_run_UART_send_TPortIN_1 in Activation-Events (1)
Activation events this requirement is mapped to
| Event | Type | Cycle Time (C) | Offset (C) | Task-Init (S) | Requirements | Ports | Runnables | Tasks | SystemStates | SIL req | SIL ach |
|---|---|---|---|---|---|---|---|---|---|---|---|
Timebase for button read operations |
CyclicEvent | 200 | 0 | - |
|
SIL_1 | QM |
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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
When the button is pressed, the system-state shall change from Blink into UART mode. |
Requirement_95 | Thomas Barth | Wed Jun 08 17:56:19 CEST 2022 | 0.0 | Thomas Barth | product | functional | implemented | - | - | - | - |
|
Requirement Layer
Hazard Scenarios (1)
Hazard Scenarios for associated Hazardous Events.
| Hazard Scenario | Parent | Hazard Events |
|---|---|---|
This would be very sad. |
Hazardous Events (2)
Hazardous Events for associated Safety Goals.
| Hazardous Event | Parent | Probability | Controllability | Effect | SIL | Safety-Goals |
|---|---|---|---|---|---|---|
The user might think µRTE is hard to use. |
QM | |||||
The customer might not see the full spectrum of features µRTE comes with. |
QM |
Safetygoals (1)
Safety Goals linking to this Requirement.
| Safety Goal | Parent | Function Type | SIL derived | SIL manual | SIL effective | Safe State | Safety Requirements |
|---|---|---|---|---|---|---|---|
An small demo model with the most important features shall show the most important features of µRTE. |
System_Function | QM | derived | QM | Show slides |
|
Functional Layer
Logical Function Blocks (4)
Logical Function Blocks which map to a technical function which is directly linked by this Safety Requirement.
| Function | Type | Technical functions |
|---|---|---|
An binary HMI |
Input | |
The MCU implementing the logic |
Service | |
An LED to indicate a binary state |
Output | |
A PC receiving UART messages |
Monitor |