ObjectType
Document
DocName Project Version FullName ShortDescription
EnvSignal RailwayCrossing V2
 
Description
 
Instantiation
ModelName Number Type
 
Tasks
ModelName Description Strategy StrategyType RealizedRequirement
EnvSignalTask1 receiving new state After a new state for the signal was set, propagate it via newSignalState and store the new value in sigState. f
EnvSignalTask2 asking for signal state After receiving getSignalState, propagte the current value (sigState) by sending newSignalState. f
EnvSignalTask3 initializing After creation, set sigState to halt.
 
Attributes
ModelName FullName Type Value Tasks Usage Description
sigState SignalStateType := Enum (halt, go) halt EnvSignalTask2 r
EnvSignalTask1, EnvSignalTask3 w
 
Signals
ModelName FullName Parameters Tasks Usage Description SignalPaths
newSignalState CharString, SignalStateType EnvSignalTask1, EnvSignalTask2 p Parameters: InstanceName, currentState
getSignalState CharString EnvSignalTask2 c Parameters: InstanceName