ObjectType
Document
DocName Project Version FullName ShortDescription
EnvRoad RailwayCrossing V4
 
Description
 
Components
ModelName Number Type
 
Tasks
ModelName Description Strategy StrategyType RealizedRequirement
EnvRoadTask1 generating cars periodically If curMode is period, generate every perDur a new car. Increment noOfCars accordingly f
EnvRoadTask2 generating cars on event After receiving genCars, create the given number of cars. Increment noOfCars accordingly. Set curMode to event.  f
EnvRoadTask3 set period to create cars By receiving setPeriod, set curMode to period and set perDur to the given value.  f
EnvRoadTask4 signaling number of cars If noOfCars becomes greater than maxNoOfCars, send newCarSens to the environment. If noOfCars becomes lower than maxNoOfCars, send newCarSens (0). f
EnvRoadTask6 decrementing cars After receiving gateOpen, decrement noOfCars every decrPer seconds, until noOfCars = 0 or signal gateClosed is received. f
EnvRoadTask7 initializing After creation, wait for signal setPeriod, before starting to periodically create the cars. f
EnvRoadTask8 set period to decrement cars After receiving setDecrPer, set decrPer to the given value.  f
 
Attributes
ModelName FullName Type Value Tasks Usage Description
curMode Enum (period, event) period EnvRoadTask1 r
EnvRoadTask7, EnvRoadTask2, EnvRoadTask3 w
perDur Duration 10 EnvRoadTask1 r
EnvRoadTask3, EnvRoadTask7 w
noOfCars Integer 0 EnvRoadTask4 r
EnvRoadTask1, EnvRoadTask2, EnvRoadTask6 w
maxNoOfCars Integer 1 EnvRoadTask4 r
decrPer Duration 5 EnvRoadTask6 r
EnvRoadTask7, EnvRoadTask8 w
 
Signals
ModelName FullName Parameters Tasks Usage Description SignalPaths
genCars Integer EnvRoadTask2 c
setPeriod Duration EnvRoadTask3 c
newCarSens EnvRoadTask4 p
gateOpen EnvRoadTask6 c
gateClosed EnvRoadTask6 c
setDecrPer Duration EnvRoadTask8 c