English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Plus

Presents the zaia usage as premium feature

ZAIA

Presents the pdf analysis as premium feature

PDF Analysis

Insights

Presents the summarisation as premium feature

Summarisation

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the access of premium content as premium feature

Premium Content

Zendy Tools

Zendy Open

The software of Programmable Logic Controllers (PLC) for Safety Instrumented Systems in the oil and gas industry is designed based on safety specifications that must be validated prior to deployment. This paper proposes a method for the automatic test of the Cause and Effect Matrix specifications on PLC systems. For such testing, the specifications are represented as a set of Petri net models that observe the controlled system behavior. The use of a formal model allows to systematically compose and translate the Petri Nets into a program that commands the PLC inputs and observes when the PLC outputs fail the safety specifications. A prototype tool has been developed to automatically perform the test of the Cause and Effect Matrix on a given PLC. A furnace project has been used to ascertain that the proposed method is easy to use and viable.

ifac-papersonline

Automatic test of safety specifications for PLC programs in the Oil and Gas Industry∗∗We would like to thank the CAPES organization for providing financial support during this work and Petrobras engineers for providing documents and discussions about the test methodology.