System-States
System-states define which runnable are executed for a certain state. This way, dataflow and system behaviour can be switched centrally.
- +
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
Diagrams
State diagram
Properties
| Description | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| In this system we only have tow states, blinking LED and UART transmit. | |||||||||||||
| configuration | |||||||||||||
| Start System-State |  Blink |
||||||||||||
| contained System-States | |||||||||||||
| |||||||||||||
| 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 |