Tasks
ModelName |
Description |
Strategy |
StrategyType |
RealizedRequirement |
EnvTrackTask1 |
Creation of Trains |
Depending on typeOfTrack, create on request (creNewTrain)
or periodically (every perToCreTrain) a new train. Increment noOfTrains.
After creating, send the current signalState via the new train via
newSignalState. |
f |
|
EnvTrackTask2 |
setting period to create new trains |
Receive the new new period (perToCreTrain) via setPerToCreTrain.
Set creationMode
to period. |
f |
|
EnvTrackTask3 |
propagation the change of newSignalState to all trains |
If newSignalState receives, propagate the new value by sending
newSignalState with the new state to all trains. |
p |
|
EnvTrackTask8 |
receiving a new signal state |
Change signalState by receiving newSignalState. |
|
|
EnvTrackTask4 |
changing type of track |
By receiving setTypeOfTrack, the type of new trains changes
from regular to fast or vice versa, depending on the given parameter. Change
the value of typeOfTrack stop creating new trains, until the track
is empty. Set the period to the smallest acceptable value and, in case
of creationMode = period, create new trains (EnvTrackTask1). |
f |
|
EnvTrackTask5 |
setting type of creation Mode |
Receive setTypeOfCreMode and set the creationMode to
the given value. |
f |
|
EnvTrackTask6 |
train receives signal |
The receiving of sigReach implies, that a train has stop at
(signalState is stop) or has passed (signalState is go)
sig1. Send newTrain to trainSens1. |
f |
|
EnvTrackTask7 |
train leaves gate |
Receiving trainPassed signals that a train has left the gate.
Decrement noOfTrains. Send newTrain to trainSens2. |
f |
|