It holds for the section that was checked and for the moment it was checked. That can be changed — but not in an arbitrary order. The Behavior Reference (BR) is not after-the-fact documentation of the code. It exists before the code. Which is why no implementation project can come before the reference and no reference before the intent.
Nobody has to buy all seven services, and most plants do not. The order only says what builds on what — not what you should commission.
WhiteBox does not mean you can see the code. WhiteBox means conformity becomes decidable instead of a matter of judgment.The most common first step is not an order but a conversation about one specific line. After it, it is usually clear whether a workshop or an assessment is the right start.
Verification asks: was it built right? Validation asks: was the right thing built? The services differ mainly in which of the two questions they make answerable.Every service page states at the top what it presupposes and at the bottom what it explicitly does not contain. The edge is described just as carefully as the content.
Target picture, use case and roadmap.
Where conformity is decidable today and where behavior has no reference.
One released Behavior Reference (BR) for a bounded unit module.
Implementation derived from the Behavior Reference (BR) and verified against it.
Behavior-Centric Engineering (BCE) as the standard across several plants.
Behavioral integrity across the lifecycle, changes as change verification.
Enabling the team, Selmo-owned qualifications.
The services fall into four steps. The step says what is at stake right now — the service says how far you go with it.
Selmo is a method. The products are what it is applied with — they do not replace the method and therefore do not belong in the same list.
The working environment in which the Behavior Reference (BR) comes into being and from which code, HMI, documentation and data structure are derived.
The structure by which behavior is determined — states, transitions, operating modes. It makes references readable across lines.
The activation of a line for the runtime reference — with it, the Behavior Reference (BR) is present on the machine at runtime.
A method that only works with its author would not be a method. Which is why the structure is described and the reference is readable in the exchange format.
None of these services performs a conformity assessment. They provide the material for the evidence trail — the assessment remains with the machine builder.
The question before the first service
15–30 minutes. We bring the answer, not the presentation.