ObjectType
Document
DocName Project Version FullName ShortDescription
EnvCrossing RailwayCrossing V1
 
Description
 
Components
ModelName Number Type
gate 1 EnvGate
tracks 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
 
Attributes
ModelName FullName Type Value Tasks Description
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 TrackType, CreationModeType, Duration p
newTrack TrackType, CreationModeType, Duration c