Glossary
Glossary
This glossary defines all central terms of the Selmo system. Each term is unambiguously, understandable without context and corresponds exactly to the usage in the reference chapters.
Automatic operation
Mode of operation in which the system autonomously drives the process. State changes occur automatically as soon as the modeled expectations are met. Logic, monitoring and states remain identical to manual operation.
automatic enablement
Explicit approval by the operator that is required in addition to the automatic mode. Is immediately revoked in case of interlock or CMZ deviations.
Bit-Control
Formal behavior model that describes which behavior each zone may or must have in each state of a sequence. Is represented as a matrix of states, zones and operands.
CMZ (Constantly Monitoring Zone)
Zone whose state is permanently monitored – independent of the current state of a sequence. A CMZ protects system integrity and prevents any movement in case of deviation.
Diagnosis
Model-based description of a deviation between expected and actual behavior. Arises automatically from zone, state, bit-control or CMZ – without manual fault logic.
Manual operation
Mode of operation in which the operator deliberately influences zones to fulfill modeled states. Logic, monitoring and safety remain fully active.
hardware zone
Operational and responsibility framework for one or more sequences. Provides modes of operation, automatic approval and start logic, but does not contain process logic.
HMI (Human Machine Interface)
Visualization of the Selmo model. The HMI shows states, zones, expectations and deviations, but does not make logical decisions.
Interlock (i)
i)Bit-control operand that describes a mandatory condition. In case of deviation the automatic approval is revoked and the sequence is stopped. Acts depending on the state.
Logic layer
Layer of a sequence that describes the logical process as a state model. Contains states, transitions and logical branches, but no technical signal evaluation.
MXIC (Manual Cross Interlock)
Safety logic for manual actions in manual operation. Checks whether a manual movement is allowed and prevents it if the conditions are violated.
Operand
Symbol in the bit-control matrix (0, S, i), that defines the meaning of a zone in a particular state.
Parameter layer
Layer of a sequence for defining non-bit-based values such as times, positions or repetitions. Parameters influence behavior without changing logic.
Plant
Top structural level of a machine or plant. Contains all hardware zones and plant-wide monitoring such as total CMZ.
Sequence
Deterministic state model for a clearly delimited functional task of a machine. Describes the process, but not operation, safety or implementation.
Sequence check (S)
S)Bit-control operand that describes an expected behavior. Is used to generate progress and to deterministically trigger state transitions.
Signal
Physical input or output of a system. Signals have no meaning in the Selmo system without assignment to a zone.
State
Element in the logic layer that describes a clearly defined situation. A state contains no actions, but conditions that must be fulfilled.
system layer
Layer of a sequence in which states are linked with zones via bit-control. Describes the expected behavior of the technology.
Zone
Formal representation of a technical circumstance within a sequence. A zone gives signals meaning, behavior and diagnosability.
Zone type
Classification of a zone according to its structure: input zone, output zone, in-out zone or mem zone. The zone type defines structure, not behavior.
State space
The set of all valid states of a sequence. Manual and automatic operation always work within the same state space.
Summary
This glossary is normative for the Selmo documentation. Terms must not be used differently .
A uniform language is a prerequisite for explainable machines.
Last updated
Was this helpful?