ObjectType
Document
DocName Project Version FullName ShortDescription
EnvCrossing RailwayCrossing V1
 
Description
 
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