Pinnen
Vorbereitende Maßnahme für die Verifikation
Für die Verifikation der Sicherheitsapplikation muss der Entwickler vorbereitende Maßnahmen treffen. Ein wesentlicher Aspekt hierbei ist es, den zur Verifikation vorgesehenen Stand der Sicherheitsapplikation festzusetzen und somit sicherzustellen, dass immer nur genau dieser Stand der Sicherheitsapplikation für die Verifikation, Validierung und anschließende Abnahme verwendet wird.
Speziell hierfür bietet CODESYS Safety Extension die Funktion Pinnen.
Wichtig
Bei der Verifikation von Sicherheitsapplikationen ist die Beschreibung des Vorgehens im Anwenderhandbuch zu beachten
Was ist Pinnen
Pinnen bedeutet, dass ein Referenzpunkt auf den aktuellen Stand einer Sicherheitsapplikation gesetzt wird, der den konkreten Stand der Sicherheitsapplikation und der dazugehörenden Objekte identifiziert. Mittels des Pins ist es möglich, einen bestimmten Stand der Applikation im Projekt, eines Objekts im Editor und einer Bootapplikaton auf der Sicherheitssteuerung zu identifizieren. Außerdem kann der Verifizierende - basierend auf dem Pin - jederzeit Änderungen in der Applikationsstruktur, im Inhalt ihrer Objekte und in den angezogenen Bibliotheksbausteinen erkennen.
Tipp
Durch das Setzen eines Pins wird ein konkreter Stand identifizierbar gemacht, es wird dabei jedoch keine Kopie des konkreten Standes erzeugt!
Die Pin-Funktionen sind im Editor des Applikationsobjekts zu finden. Dazu wird im Projektbaum das Safety Applikationsobjekt selektiert und über den Kontextmenü-Befehl Objekt bearbeiten geöffnet. Die Registerkarte Objekte zeigt die Vergleichsansicht, welche die Version und die Prüfsumme der Objekte des aktuellen Projekts und des gepinnten Projekts darstellt.
Eine genaue Beschreibung zu den Informationen und zur Applikationsliste siehe Registerkarte: Objekte (Objektliste))
Befehl zum Pinnen der Sicherheitsapplikation siehe Projekt pinnen
Befehl zum Löschen des Pins siehe Pin löschen
Der gepinnte Stand Sicherheitsapplikation umfasst:
Umfang der Sicherheitsapplikation:
welche Safety-Objekte gehören zur Applikation
welche Bibliotheksbausteine benötigt die Applikation
Ausführungsrelevanter Stand der Objekte und Bibliotheksbausteine im Applikationsumfang:
Code jedes Objekts der Applikation
Konfiguration und Geräteparameter jedes logischen E/A-Objekts der Applikation
Schnittstelle der externen Implementierung jedes verwendeten Bibliotheksbausteins
Versionsbezeichnungen der Objekte
Nicht zum ausführungsrelevanten Stand gehören die Kommentare der Objekte. Diese werden nicht mitgepinnt und können somit am Ende und während der Verifikation aktualisiert werden!
Der Verifzierende identifiziert einen gepinnten Stand durch eine Pin-Kennung, die an verschiedenen Stellen im Programmiersystem angezeigt wird. Die Pin-Kennung enthält:
Name
Revisionszähler, der beim Pinnen automatisch um 1 erhöht wird.
Prüfsumme: ein CRC32 über den gepinnten Ausführungsstand
Zusätzlich wir die Zeit des Pinnens festgehalten. Sie ist jedoch nicht Bestandteil der Pin-Kennung.
Anzeige der Pin-Informationen und deren Abweichungen
Die Pin-Informationen zur Applikation zu einer Sicherheitsapplikation werden im Editor des Safety Applikationsobjekts angezeigt.
Name
Name des Pins
Revision
Prüfsumme
die Prüfsumme wird über die gesammte gepinnte Applikation erstellt.
Letzte Änderung
Zeitpunkt der Pin-Erzeugung
Zusätzlich wird in der Vergleichsansicht des Safety Applikationsobjekts dargestellt, wie der aktuelle Projektstand vom aktuell gepinnten Stand der Applikation abweicht. Dabei werden folgende Abweichungen angezeigt:
neue Objekte
gelöschte Objekte
bezüglich Code, Konfiguration oder Parameter modifizierte Objekte
neu aus Bibliotheken angezogene Bausteine
nicht mehr angezogene Bibliotheksbausteine
bezüglich Schnittstelle oder Implementierungsversion abweichende Bibliotheksbausteine
Abweichungen sind deutlich farblich gekennzeichnet, so dass sie der Verifizierende leicht erkennnen kann:
grün: im Projekt neue Objekte oder Bibliotheksbausteine
rot: inhaltliche Änderung/Abweichung im Objekt oder Geräteparametersatz oder Bibliotheksbaustein
blau : im Projekt gelöschte oder nicht mehr verwendete Objekte oder Bibliotheksbausteine
Pinnen in der Projekt- und in der Objektansicht
Wenn die Sicherheitsapplikation gepinnt ist, so enthält die Vergleichsansicht die Pin-Informationen und im Projektbaum sind der Knotenpunkt 
und seine Kindobjekte mit dem Symbol 
gekennzeichnet. Der Knotenpunkt SafetyApp gilt als gepinnt, 
, wenn das Objekt selbst und alle seine Kindobjekte dem im Pin gemerkten Objektstand entsprechen.
Wenn die Applikation noch nicht gepinnt ist, oder der Pin gelöscht wurde, so erscheint in der obersten Zeile nur der Status In Work und im Projektbaum werden der Knotenpunkt und seine Kindobjekte nicht markiert. Wenn sich ein Kindobjekt der Sicherheitsapplikation In Work befindet, so ist auch die Sicherheitsapplikation In Work.
Die Informationen zum Pin bzw. In Work werden in der Objektansicht und im Ausdruck des Projekts angezeigt.