-

Safety Semantic Warning: The global variable '...' may have a storing behavior as its write access can be jumped over.

This error message can only be reported if you are programming in an FVL (Full Variability Language) according to the IEC 61508 standard (system level programming) which allows the use of jumps in safety-related code.

A jump programmed in a safety-related code network may jump over the write access of the variable mentioned in the error message. In case of jumping over this write access, the application may show a storing behavior because the variable value may not be updated before the next cycle or it is never written.

Remedy:

  1. Double-click the error in the Error List to jump to the suspected code worksheet (where the code position is marked).
  2. Verify the jump conditions and the possible effects of the jump and correct if necessary.

According to the IEC 61508 standard, you, the user can be aware of all requirements and you are fully responsible for preventing any hazardous situation.

WARNING
Unintended machine operation
  • Verify that the jump and the position of the write access are no programmatic errors but intended.
  • Make sure that jumping over the write access of the variable cannot result in any hazardous situation.
  • Verify the impact of jumping over the write access on the timing and the performance of your entire safety-related application particularly with respect to the possible effect of a storing behavior.
  • Make certain that suitable organizational measures (according to applicable sector standards) have been taken to avoid hazardous situations if the safety logic application operates in an unintended or incorrect way.