ObjectType
Document
DocName Project Version FullName ShortDescription
RWCrossing RailwayCrossing V1
 
Description
 
Components
ModelName Number Type
gate 1 EnvGate
tracks 1..n EnvTrack
road 1 EnvRoad
 
Tasks
ModelName Description Strategy StrategyType RealizedRequirements
RwCrossingTask1 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.
RwCrossingTask2 Initialzing tracks After receiving newTrack, send the go-Signal with the new trackname to the master-track to create a new track Send initTrack with the given parameters to the new track.
 
Attributes
ModelName FullName Type Value Tasks Description
curGateState GateStateType = Enum (opened, closed) opened RwCrossingTask1
carsPerMinute Integer 10 RwCrossingTask1
 
Signals
ModelName FullName Parameters Tasks Usage Description SignalPaths
newGateState GateStateType RwCrossingTask1 c
gateOpened RwCrossingTask1 p
gateClosed RwCrossingTask1 p
initTrack TrackType, CreationModeType, Duration RwCrossingTask2 p
newTrack TrackType, CreationModeType, Duration RwCrossingTask2 c