ObjectType
Document
| DocName |
Project |
Version |
FullName |
ShortDescription |
| RWCrossing |
RailwayCrossing |
V1 |
|
|
|
|
|
Components
| ModelName |
Number |
Type |
| gate |
1 |
EnvGate |
| tracks |
1..n |
EnvTrack |
| road |
1 |
EnvRoad |
|
Tasks
| ModelName |
Description |
Strategy |
StrategyType |
RealizedRequirements |
| RwCrossingTask1 |
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. |
|
|
| RwCrossingTask2 |
Initialzing tracks |
After receiving newTrack, send the go-Signal with the new trackname
to the master-track to create a new track Send initTrack with the
given parameters to the new track. |
|
|
|
Attributes
| ModelName |
FullName |
Type |
Value |
Tasks |
Description |
| curGateState |
|
GateStateType = Enum (opened, closed) |
opened |
RwCrossingTask1 |
|
| carsPerMinute |
|
Integer |
10 |
RwCrossingTask1 |
|
|
Signals
| ModelName |
FullName |
Parameters |
Tasks |
Usage |
Description |
SignalPaths |
| newGateState |
|
GateStateType |
RwCrossingTask1 |
c |
|
|
| gateOpened |
|
|
RwCrossingTask1 |
p |
|
|
| gateClosed |
|
|
RwCrossingTask1 |
p |
|
|
| initTrack |
|
TrackType, CreationModeType, Duration |
RwCrossingTask2 |
p |
|
|
| newTrack |
|
TrackType, CreationModeType, Duration |
RwCrossingTask2 |
c |
|
|
|