ObjectType
Document
DocName Project Version FullName ShortDescription
SignalCtrl RailwayCrossing V2
 
Description
 
Components
ModelName Number Type Version
 
Tasks
ModelName Description Strategy StrategyType Usage RealizedRequirement
SignalCtrlTask1 receiving new value for the signal After receiving setSignalState, set the physical device to the given value and set curState to the value. (1 means go and 0 halt!) o
SignalCtrlTask2 asking the current state After receiving getSignalState, send newSignalState with curState.
 
Attributes
ModelName FullName Type Value Tasks Usage Description
curState SignalStateType = Enum (go, halt) halt SignalCtrlTask1 w
SignalCtrlTask2 r
 
Signals
ModelName FullName Parameters Tasks Usage Description SignalPaths
setSignalState CharString, SignalStateType SignalCtrlTask1 c
getSignalState CharString SignalCtrlTask2 c
newSignalState CharString, SignalStateType SignalCtrlTask2 p