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