Patent ID: 11906943
Assignee: NOZOMI NETWORKS SAGL
Field: Control (Instruments)
Classification: CPC G  H  Y | IPC G

Claim 6:
7. The method for automatic translation of ladder logic to a SMT-based model checker in a network according to claim 1,
wherein said predefined model recursive procedures comprise a first contacts translating procedure and a second contacts translating procedure which allow to translate contacts and a first coils translating procedure, a second coils translating procedure and a third coils translating procedure which allow to translate coils,
wherein said first contacts translating procedure returns said model input or the currently stored of said model output latch or model variable latch and said second contacts translating procedure returns the negate of said model input or the negate currently stored of said model output latch or model variable latch, and
wherein said first coils translating procedure assigns the value received from the left connection, said second coils translating procedure sets the latch value to true if the left connection holds true, otherwise preserves the previous value and said third coils translating procedure sets the latch value to false if the left connection holds false, otherwise preserves the previous value.