Kapitel 8 – Der neue Stand der Technik

Summary: Kapitel 8 schließt den theoretischen Teil ab. Es beschreibt, warum Selmo den neuen Stand der Technik darstellt: Weil es Maschinenverhalten formalisiert, Sicherheit in die Struktur integriert und Wissen dauerhaft dokumentiert. Der Leser erkennt, dass Selmo keine neue SPS ist, sondern eine neue Denkweise – eine Sprache, die Maschinen, Menschen und Normen verbindet. Selmo erfüllt die zentralen Forderungen der modernen Automatisierung: Determinismus, Nachvollziehbarkeit, Nachhaltigkeit und Transparenz.

Der Stand der Technik beschreibt, was technisch heute verantwortbar und reproduzierbar möglich ist. Selmo hebt diesen Maßstab auf die nächste Stufe:

Mit Selmo wird der Prozess zum Code – und der Code zur Gewissheit.

Damit erfüllt Selmo nicht nur die gesetzlichen Anforderungen, sondern definiert, wie Maschinenverhalten im Zeitalter der digitalen Verantwortung gestaltet werden muss: formal, prüfbar, sicher und transparent.

Warum Selmo der neue Stand der Technik ist

Selmo definiert den Stand der Technik in der Maschinenautomatisierung neu, indem es das Verhalten der Maschine formal beschreibt und automatisch in Steuerungscode übersetzt. Damit erfüllt Selmo zentrale Kriterien, die den Stand der Technik ausmachen:

Kriterium	Beschreibung	Selmo-Bezug
Nachvollziehbarkeit	Maschinenverhalten ist eindeutig dokumentiert und nachvollziehbar.	Das Selmo-Prozessmodell bildet jedes Signal und jeden Zustand formal ab.
Sicherheit	Fehlerzustände und Zustandsübergänge sind deterministisch überprüfbar.	Interlock (i), Sequence Check (S) und CMZ gewährleisten sichere Zustände.
Reproduzierbarkeit	Das Verhalten ist jederzeit identisch wiederholbar.	Modell = Code = Dokumentation – automatisch synchron.
Fehlervermeidung	Programmierfehler durch Interpretation entfallen.	Code wird aus formalen Modellen generiert, nicht manuell geschrieben.
Effizienz	Engineering-Aufwand und IBN-Zeit werden reduziert.	Standardisierte Struktur, automatische Diagnose, klar definierte Zustände.
Kompatibilität	Bestehende Standards (IEC 61131, PLCopen XML) werden integriert.	Selmo exportiert und importiert standardkonformen Code.

Selmo verschiebt damit die Grenze des Standes der Technik von der Programmierung hin zur Modellierung: Der Mensch beschreibt den Prozess, nicht mehr den Code. Die Maschine verhält sich nachweislich genau so, wie der Prozess definiert wurde.

Der Nachweis des Standes der Technik mit Selmo

Selmo ermöglicht Herstellern, den Stand der Technik nachweisbar einzuhalten, weil:

• Das formale Modell prüfbar und dokumentierbar ist.

• Jede sicherheitsrelevante Funktion automatisch überprüft und diagnostiziert wird.

• Änderungen am Modell rückverfolgbar und versionsgesichert sind.

• Die generierten PLC-Programme normkonform (IEC 61131, PLCopen) sind.

• Die Maschine in virtueller Inbetriebnahme (Digital Twin) getestet werden kann.

Damit bietet Selmo objektive Nachweise für die Anforderungen aus:

• EU-Maschinenverordnung (Sicherheit durch Stand der Technik),

• Produkthaftungsrecht (nachvollziehbares Verhalten),

• Qualitätsmanagement (ISO 9001 ff.),

• Funktionale Sicherheit (ISO 13849, IEC 62061).