ObjectType
Document
DocName |
Project |
Version |
FullName |
ShortDescription |
EnvCrossing |
RailwayCrossing |
V1 |
|
|
|
|
Components
ModelName |
Number |
Type |
gate |
1 |
EnvGate |
track |
1..n |
EnvTrack |
road |
1 |
EnvRoad |
|
Tasks
ModelName |
Description |
Strategy |
StrategyType |
RealizedRequirements. |
EnvCrossingTask1 |
counting no of cars, crossing the tracks |
After receiving newGateState, switch curGateState the
given value. If the gate is opened, send gateOpened to road1, otherwise
send gateClosed. |
f |
|
EnvCrossingTask2 |
initialization and creation of tracks |
Switch curState to init. For each reception of the signal
initTracks, initialize the requested number of tracks. |
f |
|
EnvCrossingTask3 |
finalize initialization |
If curState = init and signal initTracksDone is received
send signal getGateState. |
f |
|
|
Attributes
ModelName |
FullName |
Type |
Value |
Tasks |
Description |
trackDur |
trackDuration |
TrackDurationType |
|
EnvCrossingTask2 |
r/w |
perToCreTrain |
|
Duration |
0 |
EnvCrossingTask2 |
r/w |
|
|
|
|
|
|
curGateState |
|
GateStateType = Enum (opened, closed) |
opened |
EnvCrossingTask1 |
|
carsPerMinute |
|
Integer |
10 |
EnvCrossingTask1 |
|
|
Signals
ModelName |
FullName |
Parameters |
Tasks |
Usage |
Description |
SignalPaths |
newGateState |
|
GateStateType |
EnvCrossingTask1 |
c |
|
|
gateOpened |
|
|
EnvCrossingTask1 |
p |
|
|
gateClosed |
|
|
EnvCrossingTask1 |
p |
|
|
initTrack |
|
CharString, TrackDurationType, Duration |
EnvCrossingTask3 |
p |
Parameters:
Instancename, (. ts1Dur, ts1SigDur, sigTs2Dur,
breakDur,
minDistDur .), perToCreateTrains |
|
initTracks |
|
Integer, TrackDurationType, Duration |
EnvCrossingTask2 |
c |
Parameters:
nbrOfTracks, (. ts1Dur, ts1SigDur, sigTs2Dur,
breakDur,
minDistDur .), perToCreateTrains |
|
initTracksDone |
|
|
EnvCrossingTask3 |
|
signal end of init requests |
|
|