BlackBox → WhiteBox → Behavior Defined Machine (BDM)
How your machine becomes
a Behavior Defined
Machine (BDM).
Behavior Reference (BR) as an engineering object · One source, four results · Machinery Regulation from 2027 · References on request
Electrical engineering has the circuit diagram, process engineering the P&ID. For behavior there is no comparable reference artifact — in practice it only comes into being in the code. Selmo makes behavior a standalone engineering object: defined before the code, verifiable against a reference and transferable, owned by the operator.
03 — The path
From BlackBox through WhiteBox
to the Behavior Defined Machine (BDM).
Six levels describe how far behavior is defined today. The turning point is not visibility but decidability: from L3 the question "does the real behavior match the reference?" can be decided rather than judged. That is what WhiteBox means.
L0
BlackBox
behavior only in the code.
L1
Described
in prose, not formally verifiable.
L2
Explicit states
structured, without normative authority.
L3
Decidable
turning point WhiteBox.
L4
Lifecycle
decidability survives changes.
L5
Architecture
fully derived from the Behavior Reference (BR).
L0–L2 = BlackBox zone. L3 = turning point · L4–L5 = Behavior Defined Machine (BDM). L0–L5 refers solely to the maturity of the behavior model of one plant.
WhiteBox does not mean you can see the code. WhiteBox means conformity becomes decidable instead of a matter of judgment.
A question for you
"How many of the possible plant states were actually run through at your last acceptance test?"
04 — The system
One object.
Three preconditions.
The Behavior Reference (BR) is the result of engineering: the normative target reference for behavior. Method, tool and standard are the preconditions under which it comes into being — not its components.
01
Precondition 01 · Method
Selmo Method — PTF (Process · Technology · Function)
For each requirement it clarifies which technical reaction allows a statement: directly, indirectly, conditionally or not decidable. A requirement whose fulfilment is not decidable is not a requirement — it is an intention.
02
Precondition 02 · Tool
Selmo Studio
Model behavior, derive code, HMI, documentation and data structure from it. The defined behavior semantics are carried over without loss of interpretation.
03
Precondition 03 · Standard
Selmo Standard
The open ruleset securing structure, naming and derivability — with PLCOpen XML as the exchange format.
= Behavior Reference (BR) → Behavior Defined Machine (BDM)
the leading, technology-independent engineering object of your machine behavior
CodePLC logic via PLCOpen XML, verified against the Behavior Reference (BR).
HMIOperation and visualization: states, expectation and deviations visible.
DocumentationOperating, diagnostic and behavior docs, derived from the model.
Data structureObject-centric data model, clearly named.
Before the code, not after
The Behavior Reference (BR) is not after-the-fact documentation of the code. It exists before the code. This turns a translation into a derivation: the room for interpretation does not disappear through better checking — the interpretation step disappears. Changes are described in the Behavior Reference (BR) and derived again — never directly in the code.
Digital twin and real machine
The digital twin remains a virtual technical reaction environment; the Behavior Reference (BR) remains the behavior authority. If the software runs there in conformity with the Behavior Reference (BR), a verified virtual baseline is established. If the real machine later shows different behavior, the cause most likely lies in the difference between virtual and real technical reality: hardware, wiring, mechanics, process engineering, sensors, interfaces or a model assumption. That difference is exactly the diagnostic lever — it does not make commissioning superfluous, it makes it more focused.
Without a reference, "verified" is an opinion.