ObjectType
Document
| DocName |
Project |
Version |
FullName |
ShortDescription |
| EnvTrainSens |
RailwayCrossing |
V1 |
|
|
|
|
|
Instantiation
| ModelName |
Number |
Type |
|
|
|
|
Tasks
| ModelName |
Description |
Strategy |
StrategyType |
RealizedRequirement |
| EnvTrainSensTask1 |
receiving a new value |
After receiving newTrain, propagate newTrain to the outside. |
f |
|
|
Attributes
| ModelName |
FullName |
Type |
Value |
Tasks |
Usage |
Description |
|
Signals
| ModelName |
FullName |
Parameters |
Tasks |
Usage |
Description |
SignalPaths |
| newTrain |
|
|
EnvTrainSensTask1 |
c |
|
(EnvTrainSensTask1:*:EnvTrainSens)=$1
> $1 |
|