Herunterladen Inhalt Inhalt Diese Seite drucken

ABB AC-500-S Sicherheitshandbuch Seite 234

Vorschau ausblenden Andere Handbücher für AC-500-S:
Inhaltsverzeichnis

Werbung

Konfiguration und Programmierung
SCA (Sicherheitscodeanalyse)
Eine detaillierte Beschreibung der Verwendung von SCA befindet sich im ABB-Hilfesystem. Wenden Sie sich
an den technischen Support von ABB, wenn Sie ein SCA-Tool benötigen.
Programmierrichtlinien für das sicherheitsgerichtete CoDeSys, die manuell überprüft werden
müssen (sie werden von SCA in der Sicherheitsanwendung nicht erkannt)
Regel für manuelle Überprüfung im sicherheitsgerichteten
CoDeSys
Überprüfen Sie, ob der Watchdog aktiviert wurde. Prüfen Sie, ob
die Watchdog-Zeit deutlich kürzer ist als die Antwortzeit auf Pro-
zessfehler.
Vergewissern Sie sich, dass es nur eine Task gibt.
Stellen Sie sicher, dass nur Bibliotheken verwendet werden, die
für Sicherheitsanwendungen zugelassen sind.
Prüfen Sie für jede POE, dass es keine unnötigen Zustandsvari-
ablen gibt.
Stellen Sie sicher, dass das Folgende für alle Funktionsbau-
steine eingehalten wird: Wenn mehr als eine Variable zum Spei-
chern der Zustandsinfo verwendet wird, nutzen Sie für diese
Variablen ihren eigenen Funktionsbaustein und rufen Sie ihn nur
für Zustandsänderungen auf.
Prüfen Sie, dass vom Compiler beim Kompilieren der Anwen-
dung keine Fehler oder Warnungen angezeigt werden.
Prüfen Sie für jede POE, ob die Variablen nicht später mit einer
anderen Bedeutung wiederverwendet werden.
Prüfen Sie, ob die Namen der Sicherheits-POE mit "S_"
beginnen. Stellen Sie sicher, dass die Namen der nicht sicher-
heitsgerichteten POE nicht mit "S_" beginnen.
Prüfen Sie, ob die Namen der sicherheitsgerichteten lokalen
Variablen mit "S_" beginnen.
Prüfen Sie, ob die Namen der sicherheitsgerichteten globalen
Variablen mit "GS_" beginnen.
Prüfen Sie, ob die Namen der Sicherheitseingänge mit "IS_"
beginnen.
Prüfen Sie, ob die Namen der Sicherheitsausgänge mit "OS_"
beginnen.
Prüfen Sie, ob die Namen der nicht sicherheitsgerichteten Vari-
ablen nicht mit "S_", "GS_", "IS_" oder "OS_" beginnen.
Stellen Sie sicher, dass die Namen der Listen mit globalen Vari-
ablen, die nicht sicherheitsgerichtete Variablen enthalten, nicht
mit "S_" beginnen.
234
Kommentare (relevant für AC500-S)
Verwenden Sie eine spezielle Biblio-
theken-POE SF_WDOG_TIME_SET (
Ä Kapitel 4.6.1 „Übersicht"
auf Seite 235 enthält weitere Details)
AC500-S unterstützt nur eine Task; des-
halb 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 Sicherheits-
als auch nicht sicherheitsgerichtete
Funktionen in Ihre Sicherheits-CPU
SM560-S einbauen wollen. In typischen
Anwendungen mit der AC500-S ist dies
nicht der Fall, da die nicht sicherheitsge-
richteten Funktionen in der Standard-
CPU PM5xx realisiert werden.
AC500-S
05.07.2016

Quicklinks ausblenden:

Werbung

Inhaltsverzeichnis
loading

Inhaltsverzeichnis