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