ObjectType
Document
| DocName |
Project |
Version |
FullName |
ShortDescription |
| EnvSignal |
RailwayCrossing |
V2 |
|
|
|
|
|
Instantiation
| ModelName |
Number |
Type |
|
|
|
|
Tasks
| ModelName |
Description |
Strategy |
StrategyType |
RealizedRequirement |
| EnvSignalTask1 |
receiving new state |
After a new state for the signal was set, propagate it via newSignalState
and
store the new value in sigState. |
f |
|
| EnvSignalTask2 |
asking for signal state |
After receiving getSignalState, propagte the current value (sigState)
by sending newSignalState. |
f |
|
| EnvSignalTask3 |
initializing |
After creation, set sigState to halt. |
|
|
|
Attributes
| ModelName |
FullName |
Type |
Value |
Tasks |
Usage |
Description |
| sigState |
|
SignalStateType := Enum (halt, go) |
halt |
EnvSignalTask2 |
r |
|
|
|
|
|
EnvSignalTask1, EnvSignalTask3 |
w |
|
|
Signals
| ModelName |
FullName |
Parameters |
Tasks |
Usage |
Description |
SignalPaths |
| newSignalState |
|
CharString, SignalStateType |
EnvSignalTask1, EnvSignalTask2 |
p |
Parameters: InstanceName, currentState |
|
| getSignalState |
|
CharString |
EnvSignalTask2 |
c |
Parameters: InstanceName |
|
|