ObjectType
Document
| DocName |
Project |
Version |
FullName |
ShortDescription |
| EnvTrack |
RailwayCrossing |
V1 |
|
|
|
Description
| A track may still have only one type of train at one time. It consists
of two sensors, trainSens1 corresponds to the sensor that signals the approach
of a train, and trainSens2 signals the leaving of the gate. |
|
Components
| ModelName |
Number |
Type |
| trainSens |
2 |
EnvTrainSens |
| sig |
1 |
EnvSignal |
|
Tasks
| ModelName |
Description |
Strategy |
StrategyType |
RealizedRequirement |
|
|
|
|
|
|
Attributes
| ModelName |
FullName |
Type |
Value |
Tasks |
Usage |
Description |
|
|
|
|
|
|
|
|
Signals
| ModelName |
FullName |
Parameters |
Tasks |
Usage |
Description |
|
|
|
|
|
|
|
ChangeRequests
| RequestNo |
Type |
Method |
Tester |
Description |
Transferred |
Corrector |
Corrected |
|
|
|
|
|
|
|
|
|