Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...

7.3. Concrete Syntax for Graph Bindings
is currently visible or not. A further Boolean output port switches to
true if the driver entered data in the previous computation cycle.
oEnteredTrigger has a true output only in the first computation cycle after
switching to a new ETCS Mode and/or an new Application Level.
Sink
oServiceBrake is an interface to a service brake hardware component. The
double input can be set from 0 to 100%, which corresponds to the
pressure level of the brake system.
oEmergencyBrake is an interface to an emergency brake hardware component.
If its Boolean input is set to true, the emergency brake system is
activated.
oCommunicationSender defines an abstract interface for certain telegrams
or messages for train-to-track communication [85, 87]. If its Boolean
input is set to true, the corresponding telegram / message structure is
sent.
oDMIOutput is a certain element on the Driver Machine Interface (DMI) [84]
for displaying data to the driver. For each possible data type, a port is
available, but only one port can be used simultaneously. Additionally, it
has an Boolean input port to set if the element is currently visible or
not.
oApplicationLevelType is used to switch between ETCS Application Levels.
If its Boolean input is set to true, it switched to the corresponding
Application Level defined by the property ApplicationLevelName in the
same ETCS Mode.
oModeGuard is, similar to oApplicationLevelType, used to switch between
different ETCS Modes. In contrast to oApplicationLevelType, the next
Mode is determined by the parent gEVCStateMachine graph. Each
ModeTransition relationship holds an oModeGuard object property that
must correspond to an instance 9 in an explosion of the related current
state oMode object. This means if the Boolean input of an oModeGuard
object is set to true the corresponding ModeTransition relation is passed
to the new state. The new mode is then executed in the same Application
Level.
oStateGuard is the same as the oModeGuard type but is used for control
flows. This means in decompositions of oEmbeddedState objects used in
gEmbeddedStateMachine graph types, which will be explained in more
detail in the section describing the binding syntax of the gEmbedded-
StateMachine graph.
Transformation In contrast to sources and sinks, most transitional object types provide basic
mathematical operations. Their functionality can be simply derived from
9 by reference
89