ObjectType
Document
DocName |
Project |
Version |
FullName |
ShortDescription |
SignalCtrl |
RailwayCrossing |
V2 |
|
|
|
|
Components
ModelName |
Number |
Type |
Version |
|
Tasks
ModelName |
Description |
Strategy |
StrategyType |
Usage |
RealizedRequirement |
SignalCtrlTask1 |
receiving new value for the signal |
After receiving setSignalState, set the physical device to the
given value and set curState to the value. (1 means go and 0 halt!) |
o |
|
|
SignalCtrlTask2 |
asking the current state |
After receiving getSignalState, send newSignalState with
curState. |
|
|
|
|
Attributes
ModelName |
FullName |
Type |
Value |
Tasks |
Usage |
Description |
curState |
|
SignalStateType = Enum (go, halt) |
halt |
SignalCtrlTask1 |
w |
|
|
|
|
|
SignalCtrlTask2 |
r |
|
|
Signals
ModelName |
FullName |
Parameters |
Tasks |
Usage |
Description |
SignalPaths |
setSignalState |
|
CharString, SignalStateType |
SignalCtrlTask1 |
c |
|
|
getSignalState |
|
CharString |
SignalCtrlTask2 |
c |
|
|
newSignalState |
|
CharString, SignalStateType |
SignalCtrlTask2 |
p |
|
|
|