Kennzeichnung von sicherer Logik im FBS-Editor
Der FBS-Editor kennzeichnet eine sichere Logik mit Gelb-Farbtönen, damit Sie die sichere Logik von nicht-sicherer Logik visuell unterscheiden können, wenn sicherheitsrelevante Anwendungen entwickelt werden.
Für das Entwickeln von sicherheitsrelevanten Anwendungen müssen Sie eine logi.CAD 3 -Version verwenden, die für diesen Zweck qualifiziert ist. Siehe die englische Dokumentation "Sicherheitshinweise zum Arbeiten mit der IDE" für die entsprechenden Informationen und gültigen Sicherheitshinweise.
logi.cals empfiehlt, dass Sie und/oder Ihr Systemintegrator keine Gelb-Farbtöne bei der Gestaltung von FBS-Elementen verwenden, da "Gelb" für die Verfolgung von sicheren Signale beim Entwickeln von sicherheitsrelevanten Anwendungen verwendet wird. logi.CAD 3 prüft nicht, ob Farben bereits anderweitig verwendet werden. Die Verwendung von Gelb-Farbtönen durch Sie und/oder Ihren Systemintegrator könnte also zur Folge haben, dass "Gelb" dann auch eine nicht-sichere Logik kennzeichnet.
Die folgenden FBS-Elemente werden mit Gelb-Farbtönen angezeigt:
- →Wertfelder, sofern das Wertfeld eine →Variable enthält, die auf Basis eines Safe-Datentyps deklariert ist, oder sofern das Wertfeld ein →Literale enthält und es mit einem anderen FBS-Element verbunden ist, das mit Gelb-Farbtönen angezeigt wird
- der →Aufruf einer →Funktion oder eines →Funktionsbausteins, sofern es sich dabei um einen Baustein für sichere Logik handelt und dieser Baustein laut den Details unter "Bausteine für sichere Logik" mit einem sicheren Wert beschaltet ist.
- Linien, die mit den solchen Wertfeldern/Aufrufen verbunden sind
- →Konnektoren und →Fortsetzungen für solche Linien
Bei dieser Logik handelt es sich um eine nicht-sichere Logik, da der Datentyp INT verwendet wird:
Hier die gleiche Logik, jedoch mit dem Safe-Datentyp SAFEINT – wodurch die Elemente mit Gelb-Farbtönen angezeigt werden, um die sichere Logik zu kennzeichnen:
Sie können sichere Logik und nicht-sichere Logik auch mischen. Dabei ist die implizite Konvertierung eines sicheren Datentyps auf einen nicht-sicheren Datentyp erlaubt.
Unerlaubte Konstrukte werden als Fehler oder Warnungen im FBS-Editor gekennzeichnet werden. Da die implizite Konvertierung eines nicht-sicheren Datentyps auf einen sicheren Datentyp ein unerlaubtes Konstrukt ist, wird im obigen Beispiel die Zuweisung des ADD-Ausgangs auf die sichere Variable resultB als fehlerhaft gekennzeichnet. Grund: Die Eingänge des ADD-Bausteins sind mit nicht-sicheren Variablen verbunden.
Abhilfe: Rufen Sie die jeweilige Safe-Convert-Funktion auf, für das obige Beispiel ist das der TO_SAFEINT-Baustein:
