ObjectType
Document
| DocName |
Project |
Version |
FullName |
ShortDescription |
| RWCrossing |
RailwayCrossing |
V1 |
|
|
|
|
|
Components
| ModelName |
Number |
Type |
| ec |
1 |
EnvCrossing |
|
Tasks
| ModelName |
Description |
Strategy |
StrategyType |
RealizedRequirements |
| RwCrossingTask1 |
Initialzing tracks |
xxx 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 |
|
Signals
| ModelName |
FullName |
Parameters |
Tasks |
Usage |
Description |
SignalPaths |
| initTrack |
|
TrackType, CreationModeType, Duration |
RwCrossingTask2 |
p |
|
|
| newTrack |
|
TrackType, CreationModeType, Duration |
RwCrossingTask2 |
c |
|
|
|