By Topic

Model-Based Validation of Industrial 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
$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

2 Author(s)
E. Estevez ; Department of Electronic and Automatic Engineering, University of Jaen, Jaen, Spain ; M. Marcos

Current industrial applications demand the design of more and more complex, safe and trustworthy control systems exhibiting a high degree of flexibility and reutilization. To achieve this, the engineering process should be improved by making the engineering tools involved in the development process to collaborate during the design. This paper presents a model-based approach for designing complex automation applications. The core of the approach is constituted by a set of domain specific models that depend on the application field and whose elements, syntax and semantics are defined from the point of view of the experts that participate in the design of the system. The domain models are defined using engineering tools as the design progresses and they can be used to achieve tool integration through model collaboration. This can be achieved following the Model Driven Engineering approach by means of model transformations. This paper specifically focuses on the first step of this paradigm: the definition of domain languages, in this case for industrial control systems, as well as validation mechanisms of application designs coming from different domain tools. Three well known and widely used industrial standards have been used: Computer Aided Engineering eXchange (CAEX), PLCopen (a representation format for the IEC 61131-3 standard) and MathML (a language for defining mathematical constraints). Using model checking it is possible to assure the correctness of the control system specification and using model transformation it is possible to detect design errors in early stages of the design.

Published in:

IEEE Transactions on Industrial Informatics  (Volume:8 ,  Issue: 2 )