The following information was submitted:
Transactions: WSEAS TRANSACTIONS ON SYSTEMS AND CONTROL
Transactions ID Number: 31-524
Full Name: Lucien Ngalamou
Position: Lecturer
Age: ON
Sex: Male
Address: Dept. of Electrical and Computer Engineering, University of the West Indies
Country: TRINIDAD AND TOBAGO
Tel: 1 868 662 2002 xt 3140
Tel prefix:
Fax:
E-mail address: lucien,ngalamou@sta.uwi.edu
Other E-mails: lngalamou@gmail.com
Title of the Paper: An Approach for Effective Deployment of Programmable Logic Controllers (PLCs) in Process Control - Preliminary Study
Authors as they appear in the Paper: Lucien Ngalamou, Leary Myers
Email addresses of all the authors: lngalamou@eng.uwi.tt, lmyers@nepa.gov.jm
Number of paper pages: 14
Abstract: This paper presents an approach that models programmable logic controllers (PLCs) for their effective deployment in industrial control processes. A working model is developed for automatic allocation of PLCs and formal verification of Ladder Diagram representations of control processes using the SMV (Symbolic Model Verifier) tool. Automatic resource allocation is achieved through the proposition of a digraph model for any Ladder Diagram representation of a control process, which is then translated to an XML model. The required PLC resources needed to implement a control process are extracted from the XML model. These resources are then used by a selection engine to determine from a PLC database the most appropriate PLCs or Embedded Controllers (EBCs) that can satisfy the resource requirements. Additionally, information extracted from the XML model is used to generate a formally verifiable SMV code for the system. Hence the paper focuses on the practical implementat!
ion, testing, and verification of three conceptual modules applied to a control process: The XML Model of the Control Process, the PLC Database Automatic Resource Allocation and the XML-to-SMV translator. The use of PLCs in a continuously increasing number of industries for automation of industrial processes has fueled this work. This endeavor is potentially very useful to practitioners in the PLC industry and is a precursory step in the total automation and formal verification of industrial processes.
Keywords: Automatic Ressource Allocation, XML Model, Programmable Logic Controllers (PLCs), PLC Database, XML to SMV Translation, and Formal Verification
EXTENSION of the file: .pdf
Special (Invited) Session:
Organizer of the Session:
How Did you learn about congress: Prof. Margaret Rouse-Jones, Margaret.Rouse-Jones@sta.uwi.edu
IP ADDRESS: 190.58.120.42
