A New Approach to Control Systems Software Development

The chapter is devoted to the software engineering of large-scale control and automation systems for programmable logic controller platforms. The classes of these control systems typically involve hundreds or thousands of signals, dozens of control loops, and have to cope with the hybrid nature of the processes. Interestingly, the complexity of the development, operation and maintenance of the software for such kinds of systems is not so much associated with basic control (maintenance of the desired state of the process), but much more with so-called procedural control (performing a sequence of activities that ensure proper operation of the system or process). The emphasis of the chapter is on the presentation of a model-driven engineering approach to procedural control software development. The main element of the approach is ProcGraph, an original domain-specific modelling language which enables the construction of high-level specifications (software models). The other important element of the approach is an integrated development environment consisting of the model repository, the graphical model editor and the code generator. The integrated development environment enables the creation and editing of ProcGraph models and their automatic transformation into the programmable logic controller software. As an application example, the control system of a calcinate-grinding process is considered, which is one of the sub-processes in the large and complex process of producing titanium dioxide.

[1]  Giovanni Godena Conceptual model for process control software specification , 1997, Microprocess. Microsystems.

[2]  B. Vogel-Heuser,et al.  Benefit of system modeling in automation and control education , 2007, 2007 American Control Conference.

[3]  Kleanthis Thramboulidis,et al.  Model driven development of distributed control applications , 2007 .

[4]  Diomidis Spinellis,et al.  Guest Editors' Introduction: What Kinds of Nails Need a Domain-Specific Hammer? , 2009, IEEE Software.

[5]  Georg Frey,et al.  Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[6]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[7]  David Hästbacka,et al.  Model-driven development of industrial process control applications , 2011, J. Syst. Softw..

[8]  George J. Vachtsevanos,et al.  Software technology for implementing reusable, distributed control systems , 2003 .

[9]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[10]  Thomas I. Strasser,et al.  Multi-domain model-driven design of Industrial Automation and Control Systems , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

[11]  Bran Selic,et al.  Consistent modeling using multiple UML profiles , 2010, MODELS'10.

[12]  Mario Semo,et al.  Design and implementation of industrial automation control systems: A survey , 2009, 2009 7th IEEE International Conference on Industrial Informatics.

[13]  Valeriy Vyatkin,et al.  Model transformation between MATLAB simulink and Function Blocks , 2010, 2010 8th IEEE International Conference on Industrial Informatics.

[14]  R. W. Lewis,et al.  Programming Industrial Control Systems Using IEC 1131-3 , 1995 .

[15]  E. Estevez,et al.  A Methodology for Multidisciplinary Modeling of Industrial Control Systems using UML , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[16]  J.P. Peltola,et al.  Process Control with IEC 61499: Designers' Choices at Different Levels of the Application Hierarchy , 2006, 2006 4th IEEE International Conference on Industrial Informatics.

[17]  Christos Tranoris,et al.  A tool supported engineering process for developing control applications , 2006, Comput. Ind..

[18]  Giovanni Godena ProcGraph: a procedure-oriented graphical notation for process-control software specification , 2004 .

[19]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[20]  Kleanthis Thramboulidis,et al.  Developing a CASE tool for distributed control applications , 2003 .

[21]  Mathias Maurmaier Leveraging model-driven development for automation systems development , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

[22]  Marga Marcos,et al.  Automatic generation of PLC automation projects from component-based models , 2007 .

[23]  Kleanthis Thramboulidis IEC 61499 in Factory Automation , 2007 .

[24]  Francisco José García Izquierdo,et al.  Modeling issues: a survival guide for a non-expert modeler , 2010, MODELS'10.

[25]  B. Vogel-Heuser,et al.  Specification of hard real-time industrial automation systems with UML-PA , 2005, INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005..

[26]  B. Vogel-Heuser,et al.  Automatic code generation from a UML model to IEC 61131-3 and system configuration tools , 2005, 2005 International Conference on Control and Automation.

[27]  Michael Tiegelkamp,et al.  IEC 61131-3: Programming Industrial Automation Systems: Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids , 2001 .

[28]  Andy Schürr,et al.  A Comparison of Standard Compliant Ways to Define Domain Specific Languages , 2008, MoDELS.

[29]  Stephen J. Mellor,et al.  Object lifecycles: modeling the world in states , 1992 .

[30]  Horst Lichter,et al.  Model Driven Development Challenges in the Automation Domain , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

[31]  Wouter Joosen,et al.  Key Research Challenges for Successfully Applying MDD Within Real-Time Embedded Software Development , 2006, SAMOS.