ObjectType
Document
| DocName |
Project |
Version |
FullName |
ShortDescription |
| EnvGate |
RailwayCrossing |
V1 |
|
|
|
|
|
Components
| ModelName |
Number |
Type |
|
|
|
|
Tasks
| ModelName |
Description |
Strategy |
StrategyType |
RealizedRequirement |
| EnvGateTask1 |
receiving new state |
After a new state for the gate was set, propagate it via newGateState
and store the new value in gateState. |
f |
|
| EnvGateTask2 |
asking for gate state |
After receiving getGateState, propagte the current value (gateState)
by sending newGateState. |
f |
|
|
Attributes
| ModelName |
FullName |
Type |
Value |
Tasks |
Usage |
Description |
| gateState |
|
GateStateType = Enum opened, closed |
opened |
EnvGateTask1, EnvGateTask2 |
|
|
|
Signals
| ModelName |
FullName |
Parameters |
Tasks |
Usage |
Description |
SignalPaths |
| newGateState |
|
GateStateType |
EnvGateTask1, EnvGateTask2 |
p |
|
|
| getGateState |
|
|
EnvGateTask2 |
c |
|
|
|