By Topic

Obtaining formal models from Ladder diagrams

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Elthon Allex da Silva Oliveira ; Campus Arapiraca, Universidade Federal de Alagoas, Arapiraca - Alagoas - Brazil ; Leandro Dias da Silva ; Kyller Gorgônio ; Angelo Perkusich
more authors

Programmable Logic Controllers (PLC) have been used in industrial environment to control several different tasks. Such devices can be programmed using one of the languages specified in the IEC 61131-3 standard, such as Ladder or Functional Logic Diagrams. PLCs are widely used in a number of critical environment, such as in the extraction processes of oil and gas. For this reason, systems running on PLCs requires a high level of reliability. In general, it is necessary to perform formal verification to achieve such a level of reliability. Formal behavioral models of the system are built to simulate and verify desired properties. Among many available formalisms, Petri Nets (PN) have been used successfully although the task of modeling demands extra time in the development process. Aiming to amortize time invested in formal verification, this paper presents a method to automatically obtain formal models, described with a class of PN called Coloured Petri Nets, directly from Ladder diagrams. With these models in hand, it is not only possible to simulate the system but it is also possible to apply automatic verification techniques.

Published in:

2011 9th IEEE International Conference on Industrial Informatics

Date of Conference:

26-29 July 2011