Requirement Model
Blinking LED
UART 
Unknown featuresComplexity
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-Requirement - SafetyRequirement_94
Global variables can store data for Runnables and other Software Functions.
The memory protection will automatically be generated.
The actual declaration is implemented as user-code to allow the use of non-trivial datatypes and operations.
Testing Warnings (1)
Testing Warnings for SafetyRequirement Global variables
Testing warnings are related to the tests in the testing layer and their depedencies.
| (SafetyRequirement_94) Global variables is not referencing a test but all refinements reference a test. |
Requirements Model
Logical Function Model
Software units
Signals
Global variables
Activation Events
Hardware Model
Testing Model
| Required | |
|---|---|
| SIL derived | QM |
| SIL manual | derived |
| SIL | QM |
| Base | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | Global variables | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Type | SafetyRequirement |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Description | Global variables can store data for Runnables and other Software Functions. The memory protection will automatically be generated. The actual declaration is implemented as user-code to allow the use of non-trivial datatypes and operations. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| User-ID | SafetyRequirement_94 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| UID | _8mPpQOdAEeyMHMAOoLxcsQ | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 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 |
|---|---|---|---|---|---|---|---|
If the button is pressed, UART messages indicating the press duration are sent. |
Software units (1)Software-Components this requirement is mapped to.
| Unit | Parent | Function calls | Technical Functions | Requirements | Type | Tasks | WCET | Stack | ROM | Globals | ProtectionSets | SIL req | SIL ach | sub Technical Functions (R) | sub Requirements (R) | Has a return value (R) | SystemStates (R) | Ingoing Trigger Ports (R) | Outgoing Trigger Ports (R) | Ingoing Data Ports (R) | Outgoing Data Ports (R) | Signals (D) | Runnables (D) | DataType (D) | Is Synchronous (D) | Hardware (D) | Ports (G) | Callers (F) | Return Type (F) | Parameters (F) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Acquires the button state periodically and provides button signals |
 Button |
Runnable | 0 | 0 | 0 | QM | QM | false |
|
|
|
|
- | - | - | - | - | - | - | - | - |
Global Variables (1)Global variables this requirement is mapped to
| Global Variable | Container | DataType | Requirements | public (S) | InitValue | Storage | Protection Set (S) | SIL req | SIL ach |
|---|---|---|---|---|---|---|---|---|---|
internal counter for button press duration |
 run_readButton |
 uRTE_uint16_t |
- | 0 |  .button |
- | QM | 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 | - | - | - | - |
|
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 |
|
Logical Function Blocks (3)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 | |
A PC receiving UART messages |
Monitor |
Runnable_run_readButton_Tick
Runnable_run_readButton_Edge_OUT
run_readButton_HW_IN
Runnable_run_readButton_Button_OUT