ObjectType
Document
| DocName |
Project |
Version |
FullName |
ShortDescription |
| Gate |
RailwayCrossing |
V1 |
|
|
|
|
|
Components
| ModelName |
Number |
Type |
Version |
|
|
|
|
|
Tasks
| ModelName |
Description |
Strategy |
StrategyType |
RealizedRequirement |
| GateCtrlTask1 |
receiving opening or closing the gate |
After receiving setGateState, set the physical device to the
given value and set curState to the value. |
f |
|
|
Attributes
| ModelName |
FullName |
Type |
Value |
Tasks |
Usage |
Description |
| curState |
|
GateStateType = Enum (opened, closed) |
opened |
GateCtrlTask1 |
|
|
|
Signals
| ModelName |
FullName |
Parameters |
Tasks |
Usage |
Description |
SignalPaths |
| setGateState |
|
GateStateType |
GateCtrlTask1 |
c |
|
|
|