A novel approach for supporting the development cycle of automation systems

  • M. L. AlvarezEmail author
  • E. Estévez
  • I. Sarachaga
  • A. BurgosEmail author
  • M. Marcos


The growing complexity of current automation applications demand clear methodologies and procedures in order to assure that the system under design meets the requirements. Within the industrial automation field there are several methods, techniques, tools and standards that have captured the experience of designers through years of practice. On the other hand, the software engineering discipline offers different methodologies covering the different phases of the life cycle (analysis, design, test and maintenance). This work pretends to take advantage of both: the maturity of the software engineering discipline and the well-spread methods and standards of the industrial automation field. In particular, the proposed methodological approach uses model based engineering principles for developing automation control systems combining modeling methods of automation field. Specifically, it combines GEMMA (Guide d'Étude des Modes de Marches et d'Arrêts), UML (Unified Modeling Language) use case diagrams and GRAFCET (GRAphe Fonctionnel de Commande, Etapes, Transitions) for assisting the designer during the analysis, design and coding phases. Using GEMMA, the states of the automated process are identified. Use case diagrams allow identifying the actors that participate in the operation modes. Finally, a set of GRAFCET templates assists in the design of use cases. Thus, the user is guided through the development phases in which the concepts used are familiar to him/her. The final step includes the automatic generation of the Program Organization Units (POUs) in PLCopen XML interface. The proposed methodology is illustrated by means of a simple but illustrative mechatronic case study.


Industrial automation systems Design methodology GEMMA GRAFCET PLCopen 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    IEC International Standard IEC 61131–3 (2003) Programmable Controllers, Part 3: Programming Languages”. International Electrotechnical CommissionGoogle Scholar
  2. 2.
    John KH, Tiegelkamp M (2001) Programming industrial automation systems. Berlin:SpringerGoogle Scholar
  3. 3.
    PLCopen (1992). Available at: Accessed 25 July 2012
  4. 4.
    Kandare G, Strmcnik S, Godena G (2010) Domain specific model-based development of software for programmable logic controllers. Comput Ind 61:419–431CrossRefGoogle Scholar
  5. 5.
    Schmidt D (2006) Model driven engineering. IEEE Computer Society 39:25–31Google Scholar
  6. 6.
    Selic B (2010) The pragmatics of model-driven development. IEEE Softw 20(5):19–25CrossRefGoogle Scholar
  7. 7.
    Streitferdt D, Wendt G, Nenninger P, Nyßen A, Lichter H (2008) Model driven development challenges in the automation domain. Annual IEEE International Computer Software and Applications Conference. Turku, FinlandGoogle Scholar
  8. 8.
    OMG (2003) MDA Guide Version 1.0.1. Available at: Accessed 25 July 2012
  9. 9.
    Panjaitan S, Frey G (2007) Operation modes handling in distributed automation systems. Proc. of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), Cachan (France), June 13–15Google Scholar
  10. 10.
    Booch G, Rumbaugh J, Jacobson I (2005) The Unified Modeling Language user guide. Addison-Wesley Educational PublishersGoogle Scholar
  11. 11.
    Panjaitan S, Frey G (2007) Development process for distributed automation systems combining UML and IEC 61499. Int J Manuf Res 2(1):1–20CrossRefGoogle Scholar
  12. 12.
    AFCET (1977) Normalisation de la Représentation du Cahier des Charges d'un Automatisme Logique. Technical report, AFCET Commission Google Scholar
  13. 13.
    ADEPA (1981) GEMMA (Guide d'Étude des Modes de Marches et d'Arrêts). Agence nationale pour le DEveloppment de la Production AutomatiséeGoogle Scholar
  14. 14.
    Ponsa P, Vilanova R (2005) Automatización de procesos mediante la guía GEMMA. Edicions UPC (in Spanish)Google Scholar
  15. 15.
    Ponsa P, Vilanova R, Díaz M, Gomŕ A (2007) Application of a guideline for design improvement in supervisory control. Int J Hum Comput Interact 1:21–36Google Scholar
  16. 16.
    Ponsa P, Vilanova R, Amante B (2011) Human intervention and interface design in automation systems. Int J Comput Comm Contr 6(1):166–174Google Scholar
  17. 17.
    González VM, Mateos F, Ng A (2004) MLAV: the object-oriented methodology of the Virtual Automation Lab. Proc. of the IEEE International Conference on Robotics and Automation (ICRA 2004), New Orleans, LA, USA, pp 5153–5158Google Scholar
  18. 18.
    Machado J, Seabra E (2010) A systematized approach to obtain dependable controllers specifications. ABCM Symp Series Mechatronics 4:408–417Google Scholar
  19. 19.
    IEC 60848 (2002) GRAFCET specification language for sequential function charts. International Electrotechnical CommissionGoogle Scholar
  20. 20.
    Estévez E, Marcos M, Gangoiti U (2005) A tool integration framework for industrial distributed control systems. Proc. of the 44th IEEE Conference on Decision and Control, pp 8373–8378Google Scholar
  21. 21.
    Beremiz (2007). Available at: Accessed 25 July 2012
  22. 22.
    Hästbacka D, Vepsäläinena T, Kuikka S (2011) Model-driven development of industrial process control applications. J Syst Softw 84(7):1100–1113CrossRefGoogle Scholar
  23. 23.
    Tranoris C, Thramboulidis K (2006) A tool supported engineering process for developing control applications. Comput Ind 57(5):462–472CrossRefGoogle Scholar
  24. 24.
    Thramboulidis K, Perdikis D, Kantas S (2007) Model driven development of distributed control applications. Int J Adv Manuf Tech 33(3–4):233–242CrossRefGoogle Scholar
  25. 25.
    Vyatkin V, Hanisch HM, Pang C, Yang CH (2009) Closed-loop modeling in future automation system engineering and validation. IEEE Trans Syst Man Cybern C Appl Rev 39(1):17–28CrossRefGoogle Scholar
  26. 26.
    Chiron F, Kouiss K (2007) Design of IEC 61131–3 function blocks using SysML. Mediterranean Conference on Control & Automation, AthensGoogle Scholar
  27. 27.
    Thramboulidis K, Frey G (2011) Towards a model-driven IEC 61131-based development process in industrial automation. J Softw Eng Appl 4:217–226CrossRefGoogle Scholar
  28. 28.
    Reinhartz-Berger I, Sturm A (2009) Utilizing domain models for application design and validation. Inform Software Tech 51(8):1275–1289CrossRefGoogle Scholar
  29. 29.
    Estévez E, MarcosM (2008) Model-driven design of industrial control systems. Proc. of IEEE Multi-Conference on Systems and Control, 9th IEEE International Symposium on Computer-Aided Control System Design (CACSD), pp1253–1258Google Scholar
  30. 30.
    Estévez E, Marcos M, Orive D (2007) Automatic generation of PLC automation projects from component-based models. Int J Adv Manuf Tech 35(6):527–540CrossRefGoogle Scholar
  31. 31.
    Lüder A, Estévez E, Hundt L, Marcos M (2010) Automatic transformation of logic models within engineering of embedded mechatronical units. Int J Adv Manuf Tech 54(9–12):1077–1089Google Scholar
  32. 32.
    IEC (1988) Preparation of Function Charts for Control Systems. No 848. Technical report. International Electrotechnical CommissionGoogle Scholar
  33. 33.
    SFCEdit (2012) Available at: Accessed 25 July 2012

Copyright information

© Springer-Verlag London 2013

Authors and Affiliations

  1. 1.Departamento de Ingeniería de Sistemas y AutomáticaETSI de Bilbao, UPV/EHUBilbaoSpain
  2. 2.Departamento de Ingeniería Electrónica y AutomáticaEPS de JaénJaénSpain

Personalised recommendations