-

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

This warning 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 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.

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.