Table of Contents
Advances in Software Engineering
Volume 2014, Article ID 470201, 14 pages
http://dx.doi.org/10.1155/2014/470201
Research Article

Model-Driven Development of Automation and Control Applications: Modeling and Simulation of Control Sequences

Department of Automation Science and Engineering, Tampere University of Technology, P.O. Box 692, Korkeakoulunkatu 3, 33101 Tampere, Finland

Received 20 March 2014; Revised 24 June 2014; Accepted 8 July 2014; Published 7 August 2014

Academic Editor: Henry Muccini

Copyright © 2014 Timo Vepsäläinen and Seppo Kuikka. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. T. Vepsäläinen and S. Kuikka, “Simulation-based development of safety related interlocks,” in Simulation and Modeling Methodologies, Technologies and Applications, pp. 165–182, Springer, 2013. View at Google Scholar
  2. D. Hästbacka, T. Vepsäläinen, and S. Kuikka, “Model-driven development of industrial process control applications,” Journal of Systems and Software, vol. 84, pp. 1100–1113, 2011. View at Google Scholar
  3. T. Ritala and S. Kuikka, “UML automation profile: enhancing the efficiency of software development in the automation industry,” in Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN '07), pp. 885–890, June 2007. View at Publisher · View at Google Scholar · View at Scopus
  4. H. Shokry and M. Hinchey, “Model-based verification of embedded software,” Computer, vol. 42, no. 4, pp. 53–59, 2009. View at Publisher · View at Google Scholar · View at Scopus
  5. A. Plummer, “Model-in-the-loop testing,” Proceedings of the Institution of Mechanical Engineers I, vol. 220, pp. 183–199, 2006. View at Google Scholar
  6. H. Chae, X. Jin, S. Lee, and J. Cho, “TEST: testing environment for embedded systems based on TTCN-3 in SILS,” Communications in Computer and Information Science, vol. 59, pp. 204–212, 2009. View at Publisher · View at Google Scholar · View at Scopus
  7. M. Short and M. J. Pont, “Assessment of high-integrity embedded automotive control systems using hardware in the loop simulation,” Journal of Systems and Software, vol. 81, no. 7, pp. 1163–1183, 2008. View at Publisher · View at Google Scholar · View at Scopus
  8. M. Schlager, R. Obermaisser, and W. Elmenreich, “A framework for hardware-in-the-loop testing of an integrated architecture,” in Software Technologies for Embedded and Ubiquitous Systems, pp. 159–170, Springer, 2007. View at Google Scholar
  9. G. Stoeppler, T. Menzel, and S. Douglas, “Hardware-in-the-loop simulation of machine tools and manufacturing systems,” IEE Computing and Control Engineering, vol. 16, no. 1, pp. 10–15, 2005. View at Publisher · View at Google Scholar · View at Scopus
  10. J. A. Carrasco and S. Dormido, “Analysis of the use of industrial control systems in simulators: state of the art and basic guidelines,” ISA Transactions, vol. 45, no. 2, pp. 295–312, 2006. View at Publisher · View at Google Scholar · View at Scopus
  11. MODELISAR Consortium, “Functional Mock-up Interface for Co-simulation,” Version 1.0., 2010.
  12. G. Hemingway, H. Neema, H. Nine, J. Sztipanovits, and G. Karsai, “Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach,” Simulation, vol. 88, no. 2, pp. 217–232, 2012. View at Publisher · View at Google Scholar · View at Scopus
  13. T. Lukman, G. Godena, J. Gray, M. Heričko, and S. Strmčnik, “Model-driven engineering of process control software-beyond device-centric abstractions,” Control Engineering Practice, vol. 21, no. 8, pp. 1078–1096, 2013. View at Publisher · View at Google Scholar · View at Scopus
  14. H. Thompson, D. Ramos-Hernandez, J. Fu, L. Jiang, J. Nu, and D. Dobinson, “The FLEXICON co-simulation tools applied to a marine application,” Proceedings of the Institution of Mechanical Engineers M: Journal of Engineering for the Maritime Environment, vol. 222, pp. 81–94, 2008. View at Google Scholar
  15. V. Vyatkin, H. Hanisch, C. Pang, and C. Yang, “Closed-loop modeling in future automation system engineering and validation,” IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews, vol. 39, no. 1, pp. 17–28, 2009. View at Publisher · View at Google Scholar · View at Scopus
  16. I. Hegny, M. Wenger, and A. Zoitl, “IEC 61499 based simulation framework for model-driven production systems development,” in Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA '10), September 2010. View at Publisher · View at Google Scholar · View at Scopus
  17. International Electrotechnical Commission, IEC 61499-1: Function Blocks-Part 1: Architecture, International Standard, Geneva, Switzerland, 1st edition, 2012.
  18. International Electrotechnical Commission, IEC 61131-3: Programmable Controllers part 3, Programming Languages, IEC Publication, 2013.
  19. L. Ferrarini and A. Dedè, “A model-based approach for mixed Hardware in the Loop simulation of manufacturing systems,” in Proceedings of the 10th IFAC Workshop on Intelligent Manufacturing Systems (IMS '10), pp. 36–41, July 2010. View at Scopus
  20. C. Yang and V. Vyatkin, “Transformation of Simulink models to IEC 61499 Function Blocks for verification of distributed control systems,” Control Engineering Practice, vol. 20, no. 12, pp. 1259–1269, 2012. View at Publisher · View at Google Scholar · View at Scopus
  21. J. Provost, J. Roussel, and J. Faure, “Translating Grafcet specifications into Mealy machines for conformance test purposes,” Control Engineering Practice, vol. 19, no. 9, pp. 947–957, 2011. View at Publisher · View at Google Scholar · View at Scopus
  22. R. David, “Grafcet: a powerful tool for specification of logic controllers,” IEEE Transactions on Control Systems Technology, vol. 3, no. 3, pp. 253–268, 1995. View at Publisher · View at Google Scholar · View at Scopus
  23. A. Hellgren, M. Fabian, and B. Lennartson, “On the execution of sequential function charts,” Control Engineering Practice, vol. 13, no. 10, pp. 1283–1293, 2005. View at Publisher · View at Google Scholar · View at Scopus
  24. P. Fritzson and V. Engelson, “Modelica—a unified object-oriented language for system modeling and simulation,” in Proceedings of the Object-Oriented Programming Conference (ECOOP ’98), pp. 67–90, Springer, 1998.
  25. W. Schamai, Modelica Modeling Language (ModelicaML): A UML Profile for Modelica, Linköping University Electronic Press, 2009.
  26. OpenModelica, https://www.openmodelica.org/.
  27. Dassault Systemes, Dymola, http://www.3ds.com/products-services/catia/capabilities/systems-engineering/modelica-systems-simulation/dymola.
  28. T. Vepsäläinen, D. Hästbacka, and S. Kuikka,, “Tool support for the UML automation profile—for domain-specific software development in manufacturing,” in Proceedings of the 3rd International Conference on Software Engineering Advances (ICSEA '08), pp. 43–50, 2008.
  29. OMG, “Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification (QVT), Version 1.0,” Object Management Group, 2008.
  30. T. Vepsäläinen and S. Kuikka, “Benefit from simulating early in MDE of industrial control,” in Proceedings of the IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA '13), pp. 1–8, 2013.
  31. W. Schamai, U. Pohlmann, P. Fritzson, C. J. Paredis, P. Helle, and C. Strobel, “Execution of UML State machines using modelica,” in Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT '10), pp. 1–10, 2010.
  32. T. Vepsäläinen, D. Hästbacka, and S. Kuikka, “A model-driven tool environment for automation and control application development-transformation assisted, extendable approach,” in Proceedings of 11th Symposium on Programming Languages and Software Tools and 7th Nordic Workshop on Model Driven Software Engineering, pp. 315–329, 2009.
  33. B&R Automation Studio, http://www.br-automation.com/en/products/software/automation-studio/.
  34. Beckhoff TwinCAT 3, http://www.beckhoff.fi/english.asp?twincat/default.htm.