Alles, was auf den anderen Seiten einzeln erklärt wird, ist hier an einer Anlage durchgespielt: ein Modell einer Taktstraße, das wie jede reale Anlage bewertet werden kann — mit Stärken und Schwächen in der Konstruktion, einem digitalen Zwilling und einem vollständigen Durchlauf von der BlackBox bis zum Nachweis.
Eine bestandene Abnahme ist eine Momentaufnahme einer Stichprobe: Sie gilt für den geprüften Ausschnitt und für den Prüfzeitpunkt. Was nie beobachtet wurde, ist nicht geprüft — es ist nur nicht aufgefallen. Diese Aussage lässt sich an einer Kundenanlage behaupten. An einem Modell lässt sie sich vorführen.
Das Modell steht bei uns, es läuft, und jeder Schritt daran ist wiederholbar. Es braucht keine Freigabe, verschweigt keine Randbedingung und lässt sich im Gespräch anfassen. Auch seine Konstruktionsschwächen bleiben sichtbar — sie sind Teil des Beispiels, nicht sein Makel.
Ein Beispiel, das niemand nachvollziehen darf, ist kein Beleg.Zeiten und Aufwände am Modell sind Zeiten und Aufwände am Modell. Sie zeigen, dass der Weg vollständig durchführbar ist und woran er entscheidbar wird — sie sagen nichts darüber, was er an Ihrer Linie einspart.
Struktur lässt sich übertragen. Wirkung wird gemessen, nicht übertragen.Dieses Bild gilt für das Modell wie für eine reale Linie. Der Unterschied liegt in der Größe des Zustandsraums, nicht im Vorgehen.
Vom Intent zum Nachweis. Die gestrichelte Rückführung ist der Punkt, an dem die meisten Nachweise still verfallen: jede Änderung wird erneut gegen die geänderte Referenz geprüft.
Jeder Schritt endet mit etwas, das vorher nicht existierte — und mit einer Entscheidung, die mit Ja oder Nein beantwortet wird.
Das Modell läuft. Es gibt Code, es gibt eine Bedienung, es gibt Menschen, die wissen, wie es sich verhält. Was es nicht gibt: ein Dokument, gegen das sich prüfen ließe, ob das Verhalten richtig ist. Das ist L0 — BlackBox. Nicht wegen fehlenden Könnens, sondern wegen eines fehlenden Gegenstands.
Was soll die Taktstraße leisten, mit welcher Technologie, in welchen Funktionen. Am Modell dauert das Stunden, an einer Linie Tage — die Fragen sind dieselben. Am Ende steht Gate 0: Ist der Intent so bestimmt, dass Engineering ohne stillschweigende Annahmen beginnen kann?
Jetzt entsteht die Behavior Reference (BR): welche Zustände es gibt, welche Übergänge zulässig sind, was sie auslöst, was sie sperrt. Die Behavior Reference (BR) ist keine nachträgliche Dokumentation des Codes. Sie entsteht vor dem Code. Am Ende steht das Behavior Gate: Ist das erwartete Verhalten so vollständig definiert, dass die Implementierung kein eigenes Verhalten erfinden muss?
Aus der freigegebenen Referenz werden Code, HMI, Dokumentation und Datenstruktur abgeleitet — nach den Struktur- und Benennungsregeln des Selmo Standards, im Selmo Studio. Weicht ein Ergebnis ab, ist die Abweichung feststellbar, weil es eine Quelle gibt, gegen die sie feststellbar ist.
Am digitalen Zwilling läuft das abgeleitete Verhalten gegen die Referenz. Verifikation fragt: Wurde richtig gebaut? Validierung fragt: Wurde das Richtige gebaut? Hier wird die erste Frage beantwortet — und zwar bevor jemand vor der Anlage steht. Am Ende steht das Verifikations-Gate: Liegt ein integriertes, betriebsfähiges, prüfbares System vor?
Das Modell läuft real, dieselbe Prüflogik greift. WhiteBox heißt nicht, dass man den Code sieht. WhiteBox heißt, dass Konformität entscheidbar ist statt beurteilbar. Am Ende steht das Validierungs-Gate: Erfüllt das verifizierte System den Intent? Diese Frage beantwortet der Betreiber, nicht das Werkzeug.
Diese Werte sind am Modell erhoben und gelten für das Modell. Sie stehen hier, weil sie zeigen, dass der Weg vollständig durchgeführt wurde — nicht, um etwas über Ihre Linie zu behaupten.
Zwei Bearbeitungsstationen in zwei Sequenzen: Zuführung bis zur Fräsmaschine, danach Zuführung zur Bohrmaschine mit Abtransport.
Siebzehn — neun in der ersten Sequenz, acht in der zweiten.
Rund drei Tage mit Übung, rund fünf ohne. Davon etwa zwei Tage, um das STEP-Modell mit digifai twin zu kinematisieren. Die Steuerungsseite kam über PLCOpen XML nach TwinCAT 3 auf eine Beckhoff-Steuerung. Die globalen Variablenlisten sind aus der Behavior Reference (BR) abgeleitet — die Variablen sind deshalb über ADS oder OPC UA unmittelbar adressierbar.
Rund vier Stunden mit Übung, rund ein Tag ohne. Der Aufwand liegt dabei fast vollständig auf der Hardware: prüfen, ob Lichtschranken und Schalter tatsächlich schalten, und die Systemkomponenten einlesen — hier die I/O-Karten.
Was die reale Hardware anders macht als angenommen, wird in der Behavior Reference (BR) geändert und neu abgeleitet — nie direkt im Code. Die Änderung läuft zuerst am digitalen Zwilling und geht erst danach an die Anlage.
Erhoben am Taktstraßen-Modell mit zwei Sequenzen und siebzehn Zuständen. Die Zeitangaben trennen geübte und ungeübte Anwender, weil dieser Unterschied bei diesem Umfang größer ist als jede andere Streuung. Für Ihre Anlage gilt keine dieser Zahlen — dort wird im Assessment gemessen.
Die folgenden Bandbreiten stammen nicht aus dem Modell, sondern aus Projekten an realen Anlagen. Sie sind projektspezifisch und tragen deshalb eine Bedingung.
Bandbreiten aus umgesetzten Kundenprojekten. Der tatsächliche Wert ist projektspezifisch und wird im Assessment an Ihrer Anlage gemessen.
Beides ist am Modell im Einsatz und an einer realen Linie dasselbe: das Regelwerk gibt die Struktur vor, das Werkzeug macht die Ableitung praktikabel.
Struktur- und Benennungsregeln, Modellebenen, Bedien- und Diagnosekonzept. Offen beschrieben, PLCOpen XML als Austauschformat — die Referenz bleibt lesbar, auch ohne uns.
Selmo Standard ansehen
Die Umgebung, in der modelliert und abgeleitet wird. Selmo Studio ist eine Lizenz, kein Einstieg: Ohne Qualifikation und ohne freigegebene Behavior Reference (BR) modelliert es nur schneller ins Ungefähre.
Selmo Studio ansehen
Der definierte Verhaltensraum ist der geprüfte Raum. Was nicht modelliert ist, ist nicht abgedeckt — die Grenze verschiebt sich, sie verschwindet nicht.
Die Frage, die dieses Beispiel stellt
15–30 Minuten. Wir bringen die Antwort mit, nicht die Präsentation.