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