-

Sicherheitsbezogene semantische Warnung: Die globale Variable '...' kann ein speicherndes Verhalten aufweisen, da der Schreibzugriff auf sie übersprungen werden kann.

Diese Fehlermeldung kann nur ausgegeben werden, wenn Sie in einer FVL (Full Variability Language) gemäß der Norm IEC 61508 programmieren (auf System Level), welche die Verwendung von Sprüngen in sicherheitsbezogenem Code erlaubt.

Ein Sprung in einem sicherheitsbezogenen Code-Netzwerk könnte den Schreibzugriff auf die in der Fehlermeldung genannte Variable überspringen. Durch das Überspringen dieses Schreibzugriffs könnte die Applikation ein speicherndes Verhalten annehmen, weil der Variablenwert nicht bis zum nächsten Zyklus aktualisiert oder überhaupt nicht geschrieben wird.

Abhilfe:

  1. Doppelklicken Sie in der Fehlerliste auf die Fehlermeldung, um zum fehlerverdächtigen Code-Arbeitsblatt zu springen (in dem die Codeposition markiert ist).
  2. Prüfen Sie die Bedingungen und die möglichen Auswirkungen des Sprungs und korrigieren Sie bei Bedarf.

Gemäß der Norm IEC 61508, sind Sie als Anwender alleinig in der Lage, alle Anforderungen zu berücksichtigen und Sie sind dafür verantwortlich, jegliche Gefährdung zu verhindern.

WARNUNG
Unbeabsichtigter Betriebszustand des Geräts
  • Prüfen Sie, ob der Sprung und die Position des Schreibzugriffs keine Programmierfehler, sondern so beabsichtigt sind.
  • Stellen Sie sicher, dass das Überspringen des Schreibzugriffs auf die Variable zu keiner Gefährdung führen kann.
  • Prüfen Sie die Auswirkungen, die das Überspringen des Schreibzugriffs auf das Zeitverhalten und die Performance Ihrer gesamten sicherheitsbezogenen Applikation haben kann, insbesondere in Bezug auf den möglichen Einfluss eines speichernden Verhaltens.
  • Stellen Sie sicher, dass geeignete organisatorische Maßnahmen (gemäß zutreffender Sektornormen) getroffen wurden, um Gefährdungen im Falle einer unbeabsichtigten oder falschen Funktion der Sicherheitslogik zu vermeiden.