ABB AC500-S Handbuch Seite 203

AC500-S Sicherheitshandbuch, V1.0.1
Tabelle 4.1: Programmierrichtlinien für sicherheitsgerichtetes CoDeSys, die manuell
überprüft werden müssen (sie werden von SCA in der Sicherheitsanwendung nicht
erkannt)
Regel für manuelle Überprüfung im sicherheitsge-
richteten CoDeSys
Überprüfen Sie, ob der Watchdog aktiviert wurde.
Überprüfen Sie, dass die Watchdog-Zeit deutlich kür-
zer ist als die Antwortzeit auf Prozessfehler.
Vergewissern Sie sich, dass es nur eine Task gibt.
Prüfen Sie, dass nur Bibliotheken verwendet werden,
die für Sicherheitsanwendungen zugelassen sind.
Prüfen Sie für jede POE, dass es keine unnötigen Zu-
standsvariablen gibt.
Prüfen Sie, dass das Folgende für alle Funktionsbau-
steine eingehalten wird: Wenn mehr als eine Variable
zum Speichern der Zustandsinfo verwendet wird, nut-
zen Sie für diese Variablen ihren eigenen Funktions-
baustein und rufen Sie ihn nur für Zustandsänderun-
gen auf.
Prüfen Sie, dass vom Compiler beim Kompilieren der
Anwendung keine Fehler oder Warnungen angezeigt
werden.
Prüfen Sie für jede POE, dass die Variablen nicht spä-
ter mit einer anderen Bedeutung wiederverwendet
werden.
Prüfen Sie, dass die Namen der Sicherheits-POE mit
"S_" beginnen. Prüfen Sie, dass die Namen der nicht
sicherheitsgerichteten POE nicht mit "S_" beginnen.
Prüfen Sie, dass die Namen der sicherheitsgerichteten
lokalen Variablen mit "S_" beginnen.
Prüfen Sie, dass die Namen der sicherheitsgerichteten
globalen Variablen mit "GS_" beginnen.
Prüfen Sie, dass die Namen der Sicherheitseingänge
mit "IS_" beginnen.
Prüfen Sie, dass die Namen der Sicherheitsausgänge
mit "OS_" beginnen.
Prüfen Sie, dass die Namen der nicht sicherheitsge-
richteten Variablen nicht mit "S_", "GS_", "IS_" oder
Jegliche Vervielfältigung, Verwendung oder Weitergabe an Dritte ist ohne ausdrückliche Genehmigung streng verboten.
© Copyright 2012-2013 ABB. Alle Rechte vorbehalten.
Kommentare
(relevant für AC500-S)
Verwenden Sie eine spezielle Biblio-
theken-POE SF_WDOG_TIME_SET
(siehe Abschnitt 4.6 Bibliotheken für
weitere Details)
AC500-S unterstützt nur eine Task;
deshalb muss dies nicht überprüft
werden.
Diese Regeln stehen auch in
der "Checkliste für die Erstellung
von Sicherheitsprogrammen" für
AC500-S.
Diese Regeln müssen nur überprüft
werden, wenn sie sowohl Sicher-
heits- als auch nicht sicherheitsge-
richtete Funktionen in Ihre Sicher-
heits-CPU SM560-S einbauen wol-
len. In typischen Anwendungen mit
der AC500-S ist dies nicht der Fall,
da die nicht sicherheitsgerichteten
Funktionen in der Standard-CPU
PM5xx realisiert werden.
Seite 203/406