ObjectType
Document
DocName |
Project |
Version |
FullName |
ShortDescription |
EnvGate |
RailwayCrossing |
V2 |
|
|
|
|
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 |
|
EnvGateTask3 |
initializing |
After creation, set gateState to opened. |
f |
|
|
Attributes
ModelName |
FullName |
Type |
Value |
Tasks |
Usage |
Description |
gateState |
|
GateStateType = Enum opened, closed |
opened |
EnvGateTask1, EnvGateTask3 |
w |
|
|
|
|
|
EnvGateTask2 |
r |
|
|
Signals
ModelName |
FullName |
Parameters |
Tasks |
Usage |
Description |
SignalPaths |
newGateState |
|
GateStateType |
EnvGateTask1, EnvGateTask2 |
p |
|
|
getGateState |
|
|
EnvGateTask2 |
c |
|
|
|