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 |
|
|
|