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
Activation-Engine
Runables are executed by the Activation-Engine. Runnables are executed based on the current SystemState and triggers. Besides triggers fired by signals, the activation engine also can activate runnables bases on cylcic- or system-events, which are contained in this entity.
Safety (2)
Safety Warnings for ActivationEngine.
Safety warnings are related to the Requirements Layer, especially the SIL
Memory referenced by  main for the stack of ActivationEngine is using main with a SIL achieved of QM, which does not satisfy the SIL required of SIL_1 for the central activation engine. |
 Arm® Cortex®-M4 (QM) was selected for execution for ActivationEngine which does not satisfy the SIL required of SIL_1. |
| Required | |
|---|---|
| SIL | SIL_1 |
| configuration | |||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Core for the CAE | Arm® Cortex®-M4 |
||||||||||||||||||||||||||||||||||||
| Global data of the CAE |  .uRTE |
||||||||||||||||||||||||||||||||||||
| Stack of the CAE task | .rtos.task.uRTE |
||||||||||||||||||||||||||||||||||||
| containment | |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
| 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 | ||||
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). |
CyclicEvent | 100 | 2 | - |
|
- | QM |
Runnable_run_readButton_Tick in