ObjectType

Document DocName Project Version FullName ShortDescription EnvRoad RailwayCrossing V3

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 is greater than maxNoOfCars, send newCarSens to the environment. f EnvRoadTask5 set the maxNoOfCars By receiving setMaxNoOfCars, set maxNoOfCars to the given value.  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, set noOfCars to 0, curMode to period, maxNoOfCars to 5, perDur to 10 and decrDur to 5. 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 5 EnvRoadTask4 r EnvRoadTask5, EnvRoadTask7 w 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 setMaxNoOfCars Integer EnvRoadTask5 c gateOpen EnvRoadTask6 c gateClosed EnvRoadTask6 c setDecrPer Duration EnvRoadTask8 c