By Topic

Automatic timed automata extraction from ladder programs for model-based analysis of control systems

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
$31 $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)
de Vasconcelos Oliveira, K. ; Embedded Syst. & Pervasive Comput. Lab., Fed. Univ. of Campina Grande, Campina Grande, Brazil ; da Silva, L.D. ; Perkusich, A. ; Lima, A.M.N.
more authors

Control systems are used to produce a certain result with little or no human supervision. The principal aim of such systems is to ensure that resources are used efficiently and that the desired product quality is achieved. Moreover, for critical systems such as oil and gas plants, it is important to guarantee the safety and reliability of the operation. Therefore, it is necessary to verify whether what is running in the device is in accordance with what was defined in the specification documents. The goal of this work is to present a method that automatically generates the timed automata models from the specification ISA 5.2 Binary Logic Diagrams, and the implementation Ladder programs, for model-based analysis, in order to increase the dependability in the behavior of critical control systems. This approach is based on the use of the Uppaal tool and the Uppaal-TRON testing tool.

Published in:

Industrial Electronics (ISIE), 2010 IEEE International Symposium on

Date of Conference:

4-7 July 2010