Validierung

Die Seite für den Zustand der Konfiguration: was die Station in Abläufen, in der Logik, auf Dashboards und in den Listen ihrer Server und Broker prüft, jeder Befund, den sie melden kann, und wie er formuliert ist, was eine Zeile öffnet, das Kennzeichen in der Navigationsleiste und warum hier nichts repariert wird.

Die Seite Validierung listet auf, worauf die Station nicht stehen kann: eine Kanalverknüpfung, eine Verriegelung, ein Feld der Automatik, einen Ausdruck, ein Skript oder eine Bedingung der Logik oder eine Dashboard-Komponente, die auf ein Tag, eine Variable, einen Ablauf oder eine Adresse zeigt, die die Station nicht mehr hat, einen Ausdruck, ein Skript oder eine Bedingung der Logik, die so geschrieben sind, wie ihr Editor es ablehnt, sowie eine Aktion aus Process, deren Dokumente ein Lauf nicht wie konfiguriert ausgeben könnte, und einen Ablauf, den der Start eines Laufs ablehnen würde. Sie ist der Eintrag Validierung am Fuß der Navigationsleiste, öffnet für eine Identität mit der Berechtigung Validierung anzeigen und antwortet unter /validation. Sie ist eine laufende Seite, in voller Breite gezeichnet, weil jeder Befund ein Satz ist. Sie ist das Geschwister des Runtime-Zustands in der Statusleiste: Jener sagt, ob die Station liest, diese sagt, ob die Konfiguration noch auflöst.

Sie listet außerdem eine Zeile einer Liste, über die die Station ihre Daten herausgibt (die Liste des OPC UA-Servers, die Registertabelle des Modbus-Servers oder die Veröffentlichungsliste eines MQTT-Brokers), deren Quelle gelöscht wurde: Eine solche Zeile bleibt in ihrer Liste, stellt nichts bereit und veröffentlicht nichts.

Die Seite meldet; sie repariert nie. Eine Zeile öffnet den Editor, dem der Fehler gehört, auf der Entität, die ihn hält, und die Reparatur ist Ihre Änderung dort.

Die Zustandskarte

Die Karte ganz oben ist die ganze Antwort der Seite über die Konfiguration und der einzige Ort, an dem eine saubere Station angesagt wird:

Die Karte trägt den einen Befehl der Seite, Erneut prüfen (Tooltip: "Die ganze Konfiguration jetzt noch einmal prüfen. Die Liste aktualisiert sich auch von selbst, sobald sich etwas ändert."). Er ist ausgegraut, während eine Prüfung läuft. Weil eine Prüfung, die dasselbe findet, die Liste genau so lässt, wie sie war, wird das Ergebnis im Aktionsprotokoll der Statusleiste gemeldet: "Prüfung abgeschlossen: nichts zu beheben.", "Prüfung abgeschlossen: N Punkte zu beheben." oder "Die Prüfung ist fehlgeschlagen: Grund".

Erneut prüfen brauchen Sie selten. Der Prüfer ist immer an, auf der Station, und prüft von selbst erneut, 750 Millisekunden nach jedem Schwall von Änderungen auf einer der Flächen, die er liest: Geräte, Leitungen und Tags des Connectors; Modelle aus Process; die Betriebsmittel; Variablen, Aktionen und Alarme der Logik; Dashboards; Etikettenvorlagen; Berichtslayouts. Die Seite und das Kennzeichen in der Navigationsleiste folgen dem Ergebnis. Eine Prüfung, die der Connector kreuzt, während er Geräte hinein- oder herausbewegt (eine Aktualisierung eines Treibers, ein Gerät, das hinzugefügt wird), wird wiederholt, sobald der Connector zur Ruhe kommt, ein Verweis wird also nie nur deshalb kaputt genannt, weil sein Gerät gerade unterwegs ist.

Die drei Listen, über die die Station ihre Daten herausgibt, liest er ebenfalls: Eine Zeile, die auf dem OPC UA-Server, auf dem Modbus-Server oder auf der Karte Veröffentlichen eines Brokers hinzugefügt, bearbeitet oder gelöscht wird, löst die erneute Prüfung genauso aus, und ebenso das Löschen des Tags, der Variable, des Alarms oder des Befehls, den eine Zeile nennt.

Die Gruppen

Befunde werden nach der Fläche gruppiert, der sie gehören, in fester Reihenfolge. Eine Gruppe ohne Inhalt wird nicht gezeichnet, eine Station mit einem Dashboard-Fehler zeigt also eine Gruppe.

Eine Zeile

Jede Zeile ist ein Befund, und sie sagt, worum es geht, ohne dass etwas geöffnet werden muss:

• Ein Zeichen für die Art: eine Einheit bei einer Verknüpfung aus Process, ein Druckzeichen bei den Dokumenten einer Aktion, das Zeichen der geschriebenen Zusammenstellung bei einem Ablauf, eine Fahne bei einem Ereigniseintrag, die Zeichen für Variable, Aktion und Alarm aus dem Baum der Logik, das Dashboard-Zeichen bei einer Komponente.
• Der Name der Entität, dann ihr Typ, wenn der Typ etwas sagt, was der Name nicht sagt (eine Komponente, die der Integrator nie benannt hat, fällt auf ihre Art zurück, und die Zeile liest sich nicht als "Zeigerinstrument Zeigerinstrument"), dann "in Ort", wo es einen gibt.
• Der Befund: bei einem Feld, das ein Ziel nennt, "Feld verweist auf Verweis, was es nicht mehr gibt." mit dem Verweis in dicktengleicher Schrift; bei einem Feld, das die Runtime nicht benutzen kann, "Feld: was falsch ist."
• Ein Pfeil rechts: Die Zeile öffnet etwas. Der Tooltip der Zeile und ihr Name für Hilfstechnik sind der ganze Satz plus dem Ort, an dem der Klick landet ("Die Einheit in Process öffnen.", "Die Aktion in Process öffnen.", "Den Ablauf in Process öffnen.", "Den Ereigniseintrag in Process öffnen.", "Die Komponente im Editor öffnen.", "Die Variable in Logic öffnen.", "Die Aktion in Logic öffnen.", "Den Alarm in Logic öffnen.").
• Bei einer Zeile einer Serverliste ist das Zeichen das, was der Baum des Connector für den Träger der Liste zeichnet (den OPC UA-Server, den Modbus-Server, den MQTT-Broker), und der Klick landet dort, wo der Tooltip endet ("Die Zeile im OPC UA-Server öffnen.", "Die Zeile im Modbus-Server öffnen.", "Die Zeile auf der Seite des MQTT-Brokers öffnen.").

Jeder Befund, den die Prüfung erzeugen kann

Die Formulierungen unten sind die der Seite selbst. Eine Kanalverknüpfung speichert den Schlüssel ihrer Quelle, ihre Zeile nennt also den Schlüssel, der sich nicht mehr auflöst; eine Verriegelung, eine Quelle der Automatik und eine Rückgabe speichern eine Kennung, die der Bediener nie liest, ihre Zeilen sagen also, dass das Tag oder die Variable entfernt wurde, statt die Kennung auszugeben.

Process: Kanalverknüpfungen

Typ "Kanalverknüpfung"; Name: der Name des Kanals (oder "(entfernter Kanal)"); Ort: "Modell · Einheit". Öffnet den Bildschirm Kanäle des Modells auf der Einheit.

Process: Verriegelungen

Typ "Verriegelung"; Name: der Name der Einheit; Ort: "Modell · Einheit". Eine Einheit wird danach beurteilt, was sie tatsächlich beobachtet: ihre eigene Quelle oder die Vorgabe des Modells, wenn sie dem Modell folgt. Öffnet den Bildschirm Automatik des Modells auf der Einheit.

Die ersten drei werden nur gemeldet, solange die Stopp-Verriegelung des Modells aktiviert ist.

Process: Automatik

Typ "Automatik"; Name: der Name der Einheit; Ort: "Modell · Einheit". Nur eine aktivierte Automatik wird beurteilt: eine ausgeschaltete treibt nichts an und zieht sich aus der Liste zurück. Öffnet den Bildschirm Automatik des Modells auf der Einheit.

Ein Quellenbefund ist einer von diesen: "es ist keine Quelle eingerichtet.", "es sind ein Tag und eine Variable zugleich gewählt.", "das Tag, das sie liest, wurde entfernt.", "das Tag, das sie liest, ist nicht lesbar." (das Tag ist deaktiviert oder nur beschreibbar), "ein Tag vom Typ Typ passt hier nicht.", "die Variable, die sie liest, wurde entfernt.", "eine Variable vom Typ Typ passt hier nicht.". Die Verträglichkeit folgt der Rolle des Feldes: Eine Wahrheitswertquelle braucht ein Tag oder eine Variable vom Typ Wahrheitswert; eine Ganzzahlquelle einen Ganzzahltyp; eine numerische Quelle einen Ganzzahl- oder Dezimaltyp; eine Metadatenquelle einen beliebigen Typ aus Wahrheitswert, Ganzzahl, Dezimalzahl, Text oder Datum.

Process: Abläufe

Typ "Ablauf"; Name: der Name des Ablaufs; Ort: der Name des Modells. Beurteilt wird an demselben Tor, durch das der Start eines Laufs geht, ein Ablauf, den diese Liste lauffähig nennt, ist also einer, den die Anlage annimmt. Öffnet die eigene Seite des Ablaufs.

Process: Ereigniseinträge

Typ "Ereigniseintrag"; Name: der Name des Ereigniseintrags; Ort: der Name des Modells. Gelesen wird nur ein Ereigniseintrag, den ein Ablauf scharfschaltet, und er wird einmal gelesen, wie viele Abläufe ihn auch scharfschalten, denn die Bedingung ist eine und die Reparatur auch. Öffnet die eigene Seite des Ereigniseintrags.

Eine Bedingung, die für sich steht und trotzdem nicht beurteilt werden kann, weil das Datalog des Ablaufs den beobachteten Kanal auslässt, ist stattdessen ein Befund an jenem Ablauf: das Datalog ist die Wahl des Ablaufs.

Process: Dokumente einer Aktion

Typ "Aktion"; Name: der Name der Aktion; Ort: der Name des Modells. Beurteilt wird dasselbe, woraus die eigene Seite der Aktion ihren Hinweis "Muss geprüft werden" zieht, eine Aktion, die dort bereit heißt, ist hier also bereit. Öffnet die eigene Seite der Aktion.

Die Bemerkungen, die ein Befehl tragen kann, in der Reihenfolge, in der sie repariert werden:

• Wählen Sie mindestens ein Prüfergebnis für den Abschluss. (ein Befehl bei Abschluss ohne angekreuztes Prüfergebnis)
• Wählen Sie einen Bericht. / Der gewählte Bericht existiert nicht mehr.
• Wählen Sie eine Etikettenvorlage. / Die Vorlage wurde geleert oder gelöscht; gespeicherte Zuordnungen bleiben erhalten. / Die gewählte globale Vorlage existiert nicht mehr.
• Die gewählte Vorlage hat noch keine Druckerbefehle; schreiben oder importieren Sie sie, bevor ein Lauf diesen Befehl erreicht.
• Die Platzhalter der Vorlage können nicht gelesen werden: Fehler
• {{marker}} braucht eine Quelle. / {{marker}} ist mehr als einmal zugeordnet.
• {{marker}}: eine Quelle wählen / diese Quelle ist bei Start nicht verfügbar / wählen Sie ein Feld aus dem Metadatenkatalog dieses Modells / wählen Sie ein Kriterium aus einer der Bewertungen dieses Modells / setzen Sie einen ausdrücklichen nullbasierten Zyklus von 0 bis n / entfernen Sie die Nachkommastellen aus dieser Datums- und Zeitquelle / verwenden Sie das Standardformat für diese numerische Quelle / die Nachkommastellen müssen zwischen 0 und 9 liegen / entfernen Sie die Zahlen- und Datumsformatierung aus dieser Textquelle
• {{marker}} wurde aus der aktuellen Vorlage entfernt; entfernen Sie die gespeicherte Zuordnung.

Logic

Kein Ort: Die Arten aus Logic stehen auf oberster Ebene. Eine Zeile je unterschiedlicher Adresse, die nicht auflöst, mit der Adresse so geschrieben, wie der Ausdruck sie schreibt. Geprüft werden nur Ausdrucksvariablen; eine Merkervariable hat keinen Ausdruck, der gelesen werden könnte. Wo jede Adresse eines Textes auflöst, wird der Text zusätzlich so beurteilt, wie sein Editor ihn beurteilt, und ein Text, den der Editor ablehnt, ist eine Zeile mit der Meldung des Editors selbst als Formulierung: Ein als !Variables.Start gespeicherter Alarm ergibt "'Variables.Start' ist der Datenpunkt selbst, nicht sein Wert: Als Bedingung gilt er immer als wahr. Lesen Sie seinen Wert mit Variables.Start.ValueToBool()." Die Beurteilung lässt die Probeauswertung des Editors über die aktuellen Werte weg, sodass eine Zeile nie mit einem Messwert kommt und geht, und ein leerer Text wird nicht aufgeführt: Er ist eine noch nicht geschriebene Definition.

Dashboards

Typ: die Art der Komponente, wie der Editor sie nennt (Zeigerinstrument, Liniendiagramm, Wert…); Name: der für die Komponente getippte Name, sonst ihre Beschriftung, sonst das, was der Editor ableitet; Ort: der Name des Dashboards. Eine Zeile je Adressfeld, eine Komponente, deren Wert und deren Farbe zwei entfernte Punkte lesen, sind also zwei Reparaturen.

Gelesen werden nur Adressfelder und nur ein Wert, der sich als verwurzelte Adresse mit mindestens einem Abschnitt lesen lässt: Ein Etikett, das "Process.Press 1.Temperature" hält, ist Text und kein Verweis und wird nie gemeldet. Dieselbe Adresse im selben Feld ist ein Befund. Bilder, die auf einem Modell aus Process festgelegt sind, werden übersprungen: Sie verknüpfen Kanäle über einen Platzhalter für die Einheit, und kein Punkt antwortet auf diese Adressen, bis eine Einheit das Bild öffnet.

Connector

Eine Zeile der Liste des OPC UA-Servers, der Registertabelle des Modbus-Servers oder der Veröffentlichungsliste eines MQTT-Brokers hält ihre Quelle (ein Tag, eine Variable, einen Alarm, beim OPC UA-Server auch einen Befehl eines Geräts) über deren Identität: Ein Umbenennen bricht sie nie, und ein Löschen lässt die Zeile stehen, mit dem Namen dessen, was sie verloren hat. Eine solche Zeile wird hier aufgeführt, dieselbe Zeile, die ihre eigene Tabelle als fehlend zeigt. Eine Quelle, die die Station noch hat, aber nicht anbietet (ein deaktiviertes Tag, ein Tag eines deaktivierten Geräts, eine Variable eines Typs, den kein Register trägt), wird nicht aufgeführt: Die Felder der Zeile selbst sagen, was sie draußen hält. Die Zeile speichert eine Identität, die der Bediener nie liest, also sagt sie, welche Art von Quelle verschwunden ist, statt sie auszugeben.

Die Seite löscht und ändert nichts, und jeder Server macht mit der Zeile weiter, was er tat: Der OPC UA-Server stellt für sie nichts bereit, der Modbus-Server beantwortet einen Client, der ihre Register liest, mit der Ausnahme 04, und der Broker behält die letzte Nachricht, die er auf dem Topic aufbewahrt hat. Repariert wird auf der Karte der Zeile: eine andere Quelle gewählt oder die Zeile gelöscht.

Was eine Zeile öffnet

Das Öffnen setzt Sie auf den Fehler; die Zielseite wendet dann ihre eigenen Berechtigungen auf die Änderung an (Process verwalten auf den Bildschirmen von Process, Logic konfigurieren in Logic, Connector konfigurieren im Connector). Eine Entität, die nicht mehr auflöst, wenn die Seite ankommt (inzwischen gelöscht), wird übergangen, und die Seite öffnet dort, wo sie es sonst täte.

Das Kennzeichen in der Navigationsleiste

Der Eintrag Validierung in der Navigationsleiste trägt eine warnende Pille mit der Anzahl der zu behebenden Punkte, "99+" jenseits von neunundneunzig, und keine Pille, solange die Konfiguration sauber ist. Die Zählung ist die des Prüfers selbst, im Hintergrund von derselben erneuten Prüfung aktuell gehalten, der die Seite folgt, sie bewegt sich also, während Sie auf irgendeiner Seite ändern, ohne dass diese Seite offen ist. Das Öffnen dieser Seite und eine erneute Prüfung auf ihr aktualisieren die Zählung ebenfalls, sodass die Pille nie eine andere Zahl liest als die Liste.

Was die Seite nie tut

• Sie repariert nichts: kein Neuverknüpfen, kein Löschen, kein Umbenennen. Jede Zeile ist ein "Öffnen"; es gibt keine andere Aktion auf einer Zeile und keine Sammelaktion.
• Sie beurteilt nie die Runtime: Ein Gerät, das nicht kommuniziert, ist der Zustand in der Statusleiste und kein Befund hier. Ein Verweis auf ein Tag, das es gibt und das schlechte Qualität liest, löst auf.
• Sie meldet nie eine deaktivierte Automatik, ein auf einem Modell festgelegtes Bild, freien Text, der wie eine Adresse aussieht, eine Merkervariable oder eine zweite und weitere Bemerkung desselben Aktionsbefehls (die Zählung sagt, wie viele weitere auf jener Seite warten).
• Sie liest nie einen Ereigniseintrag, den kein Ablauf scharfschaltet, und führt denselben scharfgeschalteten Eintrag nie zweimal auf, wie viele Abläufe ihn auch scharfschalten: eine Bedingung ist eine Reparatur.
• Sie prüft nie, während der Connector mitten in einem Übergang steckt; sie wartet und misst einmal.
• Sie ist auf jedem Bildschirm dieselbe Liste, im Fenster der Station wie in einem Browser, und dieselbe für jede Identität, die sie öffnen darf: Die Berechtigung gibt die Seite frei, nicht ihre Zeilen.
• Solange die Runtime gestoppt ist, weicht die Seite dem Hinweis auf die Pause wie jede Seite; das Kennzeichen behält seine letzte Zählung.
• Sie löscht nie eine Zeile einer Serverliste und ändert nie, was ein Server mit ihr tut, und führt nie eine Quelle auf, die die Station noch hat, aber nicht anbietet (ein deaktiviertes Tag, eine Variable eines Typs, den kein Register trägt): Das sagt die eigene Karte der Zeile.